/Prelude-v23.0.0/Map/values.dhall

Copy path to clipboard

Get all of the values of a Map as a List

Examples

  values
Text
Natural
[ { mapKey = "A", mapValue = 2 }
, { mapKey = "B", mapValue = 3 }
, { mapKey = "C", mapValue = 5 }
]
≡ [ 2, 3, 5 ]
  values Text Natural ([] : List { mapKey : Text, mapValue : Natural })
≡ ([] : List Natural)

Source

--| Get all of the values of a `Map` as a `List`
let Map =
missing sha256:210c7a9eba71efbb0f7a66b3dcf8b9d3976ffc2bc0e907aadfb6aa29c333e8ed
? ./Type.dhall

let Entry =
missing sha256:f334283bdd9cd88e6ea510ca914bc221fc2dab5fb424d24514b2e0df600d5346
? ./Entry.dhall

let List/map =
missing sha256:dd845ffb4568d40327f2a817eb42d1c6138b929ca758d50bc33112ef3c885680
? ../List/map.dhall

let values
: ∀(k : Type) → ∀(v : Type) → Map k v → List v
= λ(k : Type) →
λ(v : Type) →
List/map (Entry k v) v (λ(x : Entry k v) → x.mapValue)

let example0 =
assert
: values
Text
Natural
[ { mapKey = "A", mapValue = 2 }
, { mapKey = "B", mapValue = 3 }
, { mapKey = "C", mapValue = 5 }
]
≡ [ 2, 3, 5 ]

let example1 =
assert
: values Text Natural ([] : List { mapKey : Text, mapValue : Natural })
≡ ([] : List Natural)

in values