Data.HashMap.Dependant

Definitions

data HashDMap : (key : Type) -> (key -> Type) -> Type

Totality: total
Visibility: export
Constructors:

Empty : HashDMap key val

Trie : HAMT key val -> HashDMap key val