|
| Org.Org.Semantic.HBase.Category.Part |
|
|
|
|
|
| Synopsis |
|
|
|
| Documentation |
|
| data Part m outside inside |
| part of some type as some other type | | Constructors | | MkPart | | | getPart :: (outside -> m inside) | | | setPart :: (outside -> inside -> m outside) | |
|
| | Instances | |
|
|
| modifyPart :: Monad m => Part m outside inside -> outside -> (inside -> m inside) -> m outside |
|
| whole :: Monad m => Part m a a |
|
| remonadPart :: (forall a . m1 a -> m2 a) -> Part m1 outside inside -> Part m2 outside inside |
|
| liftPart :: LiftedMonad m1 m2 => Part m1 outside inside -> Part m2 outside inside |
|
| partRef :: Monad m => Part m o i -> Ref m o -> Ref m i |
|
| maybePart :: Monad m => m a -> Part m a b -> Part m (Maybe a) (Maybe b) |
|
| fstPart :: Monad m => Part m (a, b) a |
|
| sndPart :: Monad m => Part m (a, b) b |
|
| Produced by Haddock version 0.6 |
