| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Data.Apart.Structures.Dictionary
Documentation
type Dictionary value = Cofree (Association value :.: Maybe) Source #
data Association value key Source #
Constructors
| Association value key |
Instances
| Functor (Association value) Source # | |
Defined in Data.Apart.Structures.Dictionary Methods fmap :: (a -> b) -> Association value a -> Association value b # (<$) :: a -> Association value b -> Association value a # | |
| Foldable (Association value) Source # | |
Defined in Data.Apart.Structures.Dictionary Methods fold :: Monoid m => Association value m -> m # foldMap :: Monoid m => (a -> m) -> Association value a -> m # foldr :: (a -> b -> b) -> b -> Association value a -> b # foldr' :: (a -> b -> b) -> b -> Association value a -> b # foldl :: (b -> a -> b) -> b -> Association value a -> b # foldl' :: (b -> a -> b) -> b -> Association value a -> b # foldr1 :: (a -> a -> a) -> Association value a -> a # foldl1 :: (a -> a -> a) -> Association value a -> a # toList :: Association value a -> [a] # null :: Association value a -> Bool # length :: Association value a -> Int # elem :: Eq a => a -> Association value a -> Bool # maximum :: Ord a => Association value a -> a # minimum :: Ord a => Association value a -> a # sum :: Num a => Association value a -> a # product :: Num a => Association value a -> a # | |
| Traversable (Association value) Source # | |
Defined in Data.Apart.Structures.Dictionary Methods traverse :: Applicative f => (a -> f b) -> Association value a -> f (Association value b) # sequenceA :: Applicative f => Association value (f a) -> f (Association value a) # mapM :: Monad m => (a -> m b) -> Association value a -> m (Association value b) # sequence :: Monad m => Association value (m a) -> m (Association value a) # | |