Libraries.Data.StringTrie

Definitions

record StringTrie : Type -> Type

Totality: total
Visibility: public export
Constructor: 

MkStringTrie : These a (StringMap (StringTrie a)) -> StringTrie a

Projection: 

.node : StringTrie a -> These a (StringMap (StringTrie a))

Hints:

Functor StringTrie

Show a => Show (StringTrie a)

.node : StringTrie a -> These a (StringMap (StringTrie a))

Totality: total
Visibility: public export

node : StringTrie a -> These a (StringMap (StringTrie a))

Totality: total
Visibility: public export

empty : StringTrie a

Totality: total
Visibility: public export

singleton : List String -> a -> StringTrie a

Totality: total
Visibility: public export

insertWith : List String -> (Maybe a -> a) -> StringTrie a -> StringTrie a

Totality: total
Visibility: public export

insert : List String -> a -> StringTrie a -> StringTrie a

Totality: total
Visibility: public export

foldWithKeysM : (Monad m, Monoid b) => (List String -> m b) -> (List String -> a -> m b) -> StringTrie a -> m b

Totality: total
Visibility: public export