Safe Haskell | Safe-Inferred |
---|
- data Family p c = Family {}
- mapChildrenA :: Applicative m => (a -> m b) -> Family p a -> m (Family p b)
- mapChildren :: (a -> b) -> Family p a -> Family p b
- mapParentA :: Applicative m => (a -> m b) -> Family a c -> m (Family b c)
- mapParent :: (a -> b) -> Family a c -> Family b c
- find :: (p -> c -> Bool) -> Family p c -> Maybe c
- filterChildren :: (a -> Bool) -> Family p a -> Maybe (Family p a)
Documentation
A Family has one parent (ah, the anomie, sorry) and at least two children.
mapChildrenA :: Applicative m => (a -> m b) -> Family p a -> m (Family p b)Source
Maps over all children, in order starting with child 1, then child 2, then the children in the list from left to right.
mapChildren :: (a -> b) -> Family p a -> Family p bSource
Maps over all children.
mapParentA :: Applicative m => (a -> m b) -> Family a c -> m (Family b c)Source
Maps over the parent in an Applicative.