Safe Haskell | None |
---|

# Documentation

data Changeable m r a Source

InOL Changeable | |

InM Changeable | |

(Monad (Changeable m r), Ref m r) => NewMod Changeable m r | |

Ref m r => Monad (Changeable m r) | |

Ref m r => Functor (Changeable m r) | |

(EqRef r, Functor (Changeable m r), Monad (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

change :: Ref m r => Modifiable m r a -> a -> Adaptive m r ()Source

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

(Monad (Changeable m r), Ref m r) => NewMod Changeable m r | |

(Monad (Adaptive m r), Ref m r) => NewMod Adaptive m r |

newMod :: (Eq a, NewMod n m r) => Changeable m r a -> n m r (Modifiable m r a)Source