/Prelude-v16.0.0/Map/Entry

Copy path to clipboard

Source

{- The type of each key-value pair in a `Map`
-}
let Entry
: Type → Type → Type
= λ(k : Type) → λ(v : Type) → { mapKey : k, mapValue : v }

in Entry