
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 