Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
newtype KnuthTrie s x Source #
KnuthTrie | |
|
Instances
Eq s => Trie NonEmpty s KnuthTrie Source # | |
Functor (KnuthTrie s) Source # | |
Foldable (KnuthTrie s) Source # | |
Defined in Data.Trie.Knuth fold :: Monoid m => KnuthTrie s m -> m # foldMap :: Monoid m => (a -> m) -> KnuthTrie s a -> m # foldr :: (a -> b -> b) -> b -> KnuthTrie s a -> b # foldr' :: (a -> b -> b) -> b -> KnuthTrie s a -> b # foldl :: (b -> a -> b) -> b -> KnuthTrie s a -> b # foldl' :: (b -> a -> b) -> b -> KnuthTrie s a -> b # foldr1 :: (a -> a -> a) -> KnuthTrie s a -> a # foldl1 :: (a -> a -> a) -> KnuthTrie s a -> a # toList :: KnuthTrie s a -> [a] # null :: KnuthTrie s a -> Bool # length :: KnuthTrie s a -> Int # elem :: Eq a => a -> KnuthTrie s a -> Bool # maximum :: Ord a => KnuthTrie s a -> a # minimum :: Ord a => KnuthTrie s a -> a # | |
Traversable (KnuthTrie s) Source # | |
Defined in Data.Trie.Knuth | |
(Eq s, Eq x) => Eq (KnuthTrie s x) Source # | |
(Data s, Data x) => Data (KnuthTrie s x) Source # | |
Defined in Data.Trie.Knuth gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> KnuthTrie s x -> c (KnuthTrie s x) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (KnuthTrie s x) # toConstr :: KnuthTrie s x -> Constr # dataTypeOf :: KnuthTrie s x -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (KnuthTrie s x)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (KnuthTrie s x)) # gmapT :: (forall b. Data b => b -> b) -> KnuthTrie s x -> KnuthTrie s x # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> KnuthTrie s x -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> KnuthTrie s x -> r # gmapQ :: (forall d. Data d => d -> u) -> KnuthTrie s x -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> KnuthTrie s x -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> KnuthTrie s x -> m (KnuthTrie s x) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> KnuthTrie s x -> m (KnuthTrie s x) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> KnuthTrie s x -> m (KnuthTrie s x) # | |
(Show s, Show x) => Show (KnuthTrie s x) Source # | |
Generic (KnuthTrie s x) Source # | |
(Arbitrary s, Arbitrary x) => Arbitrary (KnuthTrie s x) Source # | |
(NFData s, NFData x) => NFData (KnuthTrie s x) Source # | |
Defined in Data.Trie.Knuth | |
type Rep (KnuthTrie s x) Source # | |
Defined in Data.Trie.Knuth type Rep (KnuthTrie s x) = D1 (MetaData "KnuthTrie" "Data.Trie.Knuth" "tries-0.0.6.1-Bv92dt7msP1Givg7qeJP0r" True) (C1 (MetaCons "KnuthTrie" PrefixI True) (S1 (MetaSel (Just "unKnuthTrie") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (KnuthForest (s, Maybe x))))) |