Control.Monad.Adaptive

Documentation

data Adaptive m r a

Instances

InOL Adaptive

InM Adaptive

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

Ref m r => Monad (Adaptive m r)

Ref m r => Functor (Adaptive m r)

(EqRef r, Functor (Adaptive m r), Monad (Adaptive m r), Ref m r) => Ref (Adaptive m r) r

data Changeable m r a

Instances

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

Instances

EqRef r => Eq (Modifiable m r a)

readMod :: Ref m r => Modifiable m r a -> Changeable m r a

class InM m' where

Methods

inM :: Ref m r => m a -> m' m r a

Instances

InM Changeable

InM Adaptive

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

propagate :: Ref m r => Adaptive m r ()

run :: Ref m r => Adaptive m r a -> m a

inCh :: Ref m r => Changeable m r a -> Adaptive m r a

class (Monad (n m r), Ref m r) => NewMod n m r where

Methods

newModBy :: (a -> a -> Bool) -> Changeable m r a -> n m r (Modifiable m r a)

Instances

(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)