Documentation
data Changeable m r a Source
InOL Changeable | |
InM Changeable | |
Ref m r => NewMod Changeable m r | |
Ref m r => Monad (Changeable m r) | |
Ref m r => Functor (Changeable m r) | |
Ref m r => Ref (Changeable m r) r |
data Modifiable m r a Source
EqRef r => Eq (Modifiable m r a) |
readMod :: Ref m r => Modifiable m r a -> Changeable m r aSource
inCh :: Ref m r => Changeable m r a -> Adaptive m r aSource
class (Monad (n m r), Ref m r) => NewMod n m r whereSource
newModBy :: (a -> a -> Bool) -> Changeable m r a -> n m r (Modifiable m r a)Source
newMod :: (Eq a, NewMod n m r) => Changeable m r a -> n m r (Modifiable m r a)Source