Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Documentation
data Shape t raw value Source #
Type that can tell you about aggregate state of your structure.
Instances
Traversable t => Bitraversable (Shape t) Source # | |
Defined in Data.Apart.Shape bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> Shape t a b -> f (Shape t c d) # | |
Foldable t => Bifoldable (Shape t) Source # | |
Functor t => Bifunctor (Shape t) Source # | |
Functor t => Functor (Shape t raw) Source # | |
Foldable t => Foldable (Shape t raw) Source # | |
Defined in Data.Apart.Shape fold :: Monoid m => Shape t raw m -> m # foldMap :: Monoid m => (a -> m) -> Shape t raw a -> m # foldr :: (a -> b -> b) -> b -> Shape t raw a -> b # foldr' :: (a -> b -> b) -> b -> Shape t raw a -> b # foldl :: (b -> a -> b) -> b -> Shape t raw a -> b # foldl' :: (b -> a -> b) -> b -> Shape t raw a -> b # foldr1 :: (a -> a -> a) -> Shape t raw a -> a # foldl1 :: (a -> a -> a) -> Shape t raw a -> a # toList :: Shape t raw a -> [a] # null :: Shape t raw a -> Bool # length :: Shape t raw a -> Int # elem :: Eq a => a -> Shape t raw a -> Bool # maximum :: Ord a => Shape t raw a -> a # minimum :: Ord a => Shape t raw a -> a # | |
Traversable t => Traversable (Shape t raw) Source # | |
Defined in Data.Apart.Shape | |
Apply t => Apply (Shape t raw) Source # | |
Alt t => Alt (Shape t raw) Source # | |
Defined in Data.Apart.Shape | |
(Show (t value), Show value, Show raw) => Show (Shape t raw value) Source # | |