Let’s say that I’d like to declare a function that takes a Pair as its argument, and that I’d like to restrict the kind of Pair that will be matched. For example: function foo(p::Pair{String,Any}) do some stuff end If I then create a Pair object: p = “firstkey”=>true And then call foo(p), I…

Pair{String} or Pair{String, <:Any} or Pair{String, T} where T. Maybe Pair{<:AbstractString, <:Any} is more appropriate, as some string manipulation functions return SubString and you may occasionally use it as the first element of a pair. Also, read on type parameter invariance and tuple paramete…

Declaring Pair with one fixed type

General Usage

Josiah_Slack August 29, 2020, 6:50pm 3

Thanks, that’s very helpful, and the suggestion about AbstractString is a good one.

Topic		Replies	Views
Method error with Pair including abstract type New to Julia	5	455	June 2, 2021
Incorrect concrete type for Vector{Pair{Any, Any}}? General Usage type , potential-bug	7	695	December 10, 2021
Union all Types General Usage type , functions , type-hierarchy	2	325	November 11, 2022
A question about co/countervariance: `f((x, y)::Tuple{Int, Any}) = 1` General Usage	1	245	March 2, 2021
`Pair{A,B}` vs. `Tuple{A,B}` General Usage	4	6196	May 20, 2021

Declaring Pair with one fixed type

Related topics