type Binding A BSource#

key {A B} : Binding A B -> ASource#

value {A B} : Binding A B -> BSource#

toPair {A B} : Binding A B -> A × BSource#

instance bindingKeyOrdering {A B} {{Ord A}} : Ord (Binding A B)Source#

type Map A BSource#

empty {A B} : Map A BSource#

insertWith {A B} {{Ord A}} (f : B -> B -> B) (k : A) (v : B) : Map A B -> Map A BSource#

insert {A B : Type} {{Ord A}} : A -> B -> Map A B -> Map A BSource#

lookup {A B} {{Ord A}} (k : A) : Map A B -> Maybe BSource#

fromListWith {A B} {{Ord A}} (f : B -> B -> B) (xs : List (A × B)) : Map A BSource#

fromList {A B} {{Ord A}} : List (A × B) -> Map A BSource#

toList {A B} : Map A B -> List (A × B)Source#

size {A B} : Map A B -> NatSource#

instance eqMapI {A B} {{Eq A}} {{Eq B}} : Eq (Map A B)Source#