Language.Fixpoint.Utils.Trie

Datatype

data Trie a

Constructors

Node ![Branch a]

Instances

Eq a => Eq (Trie a)

Defined in Language.Fixpoint.Utils.Trie

Methods

(==) :: Trie a -> Trie a -> Bool

(/=) :: Trie a -> Trie a -> Bool

Show a => Show (Trie a)

Defined in Language.Fixpoint.Utils.Trie

Methods

showsPrec :: Int -> Trie a -> ShowS

show :: Trie a -> String

showList :: [Trie a] -> ShowS

Show a => PPrint (Trie a)

Defined in Language.Fixpoint.Utils.Trie

Methods

pprintTidy :: Tidy -> Trie a -> Doc

pprintPrec :: Int -> Tidy -> Trie a -> Doc

data Branch a

Constructors

Bind !Key !(Trie a)

Val a

Instances

Eq a => Eq (Branch a)

Defined in Language.Fixpoint.Utils.Trie

Methods

(==) :: Branch a -> Branch a -> Bool

(/=) :: Branch a -> Branch a -> Bool

Show a => Show (Branch a)

Defined in Language.Fixpoint.Utils.Trie

Methods

showsPrec :: Int -> Branch a -> ShowS

show :: Branch a -> String

showList :: [Branch a] -> ShowS

Constructors

empty :: Trie a

insert :: Path -> a -> Trie a -> Trie a

fromList :: [(Path, a)] -> Trie a

Visitors

fold :: (acc -> Path -> a -> acc) -> acc -> Trie a -> acc

foldM :: Monad m => (acc -> Path -> a -> m acc) -> acc -> Trie a -> m acc