FiniteMap

Definitions

interface FiniteMap : (Type -> Type -> Type) -> Type -> Type

Parameters: m, k
Methods:

empty : m k a

bind : k -> a -> m k a -> m k a

lookup : k -> m k a -> Maybe a

empty : FiniteMap m k => m k a

Totality: total
Visibility: public export

bind : FiniteMap m k => k -> a -> m k a -> m k a

Totality: total
Visibility: public export

lookup : FiniteMap m k => k -> m k a -> Maybe a

Totality: total
Visibility: public export