/Prelude-v20.0.0/Map

Exported files:

• Entry
• Entry.dhall:

  Type → Type → Type
  

• Type
• Type.dhall:

  Type → Type → Type
  

• empty
• empty.dhall:

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

• keyText
• keyText.dhall
• keyValue
• keyValue.dhall
• keys
• keys.dhall:

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

• map
• map.dhall:

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

• package.dhall
• unpackOptionals.dhall:

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

• values
• values.dhall:

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