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

removeExact : Show a => Name -> ANameMap a -> ANameMap a

  Remove a fully qualified name

Totality: total
Visibility: export

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

Totality: total
Visibility: export

toAmbiguousList : ANameMap a -> List (UserName, List a)

  Export the list of name which are ambiguous without their namespace

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