/Prelude-v16.0.0/Map/empty

Copy path to clipboard

Examples

empty Text Bool ≡ ([] : List { mapKey : Text, mapValue : Bool })

Source

{-
An empty `Map` of the given key and value types
-}
let Map =
./Type sha256:210c7a9eba71efbb0f7a66b3dcf8b9d3976ffc2bc0e907aadfb6aa29c333e8ed
? ./Type

let empty
: ∀(k : Type) → ∀(v : Type) → Map k v
= λ(k : Type) → λ(v : Type) → [] : Map k v

let example0 =
assert : empty Text Bool ≡ ([] : List { mapKey : Text, mapValue : Bool })

in empty