Libraries.Data.ANameMap

Definitions

record ANameMap : Type -> Type

Totality: total
Visibility: export
Constructor: 

MkANameMap : NameMap a -> UserNameMap (List (Name, a)) -> ANameMap a

Projections:

.exactNames : ANameMap a -> NameMap a

.hierarchy : ANameMap a -> UserNameMap (List (Name, a))

Hint: 

HasNames a => HasNames (ANameMap a)

empty : ANameMap a

Totality: total
Visibility: export

lookupExact : Name -> ANameMap a -> Maybe a

  Given a Name, and an ANameMap, look up that name exactly

Totality: total
Visibility: export

lookupName : Name -> ANameMap a -> List (Name, a)

Totality: total
Visibility: export

addName : Name -> a -> ANameMap a -> ANameMap a

Totality: total
Visibility: export

toList : ANameMap a -> List (Name, a)

Totality: total
Visibility: export

fromList : List (Name, a) -> ANameMap a

Totality: total
Visibility: export

merge : ANameMap a -> ANameMap a -> ANameMap a

Totality: total
Visibility: export