/Prelude-v16.0.0/Map

Exported files:

• Entry:

  Type → Type → Type
  

• Type:

  Type → Type → Type
  

• empty:

  ∀(k : Type) → ∀(v : Type) → Map k v
  

• keyText
• keyValue
• keys:

  ∀(k : Type) → ∀(v : Type) → Map k v → List k
  

• map:

  ∀(k : Type) → ∀(a : Type) → ∀(b : Type) → (a → b) → Map k a → Map k b
  

• package.dhall
• values:

  ∀(k : Type) → ∀(v : Type) → Map k v → List v