Update

Documentation

class Monoid p => ApplyAction p s where

Minimal complete definition

applyAction

Methods

applyAction :: p -> s -> s

Instances

ApplyAction (Endo s) s

Defined in Update

Methods

applyAction :: Endo s -> s -> s

class (ApplyAction p s, Monad m) => MonadUpdate m p s | m -> s, m -> p where

Minimal complete definition

putAction, getState

Methods

putAction :: p -> m ()

getState :: m s

Instances

ApplyAction p s => MonadUpdate (Update p s) p s

Defined in Update

Methods

putAction :: p -> Update p s ()

getState :: Update p s s

data Update p s a

Constructors

Update

Fields

• runUpdate :: s -> (p, a)

Instances

ApplyAction p s => Monad (Update p s)

Defined in Update

Methods

(>>=) :: Update p s a -> (a -> Update p s b) -> Update p s b

(>>) :: Update p s a -> Update p s b -> Update p s b

return :: a -> Update p s a

fail :: String -> Update p s a

Functor (Update p s)

Defined in Update

Methods

fmap :: (a -> b) -> Update p s a -> Update p s b

(<$) :: a -> Update p s b -> Update p s a

ApplyAction p s => Applicative (Update p s)

Defined in Update

Methods

pure :: a -> Update p s a

(<*>) :: Update p s (a -> b) -> Update p s a -> Update p s b

liftA2 :: (a -> b -> c) -> Update p s a -> Update p s b -> Update p s c

(*>) :: Update p s a -> Update p s b -> Update p s b

(<*) :: Update p s a -> Update p s b -> Update p s a

ApplyAction p s => MonadUpdate (Update p s) p s

Defined in Update

Methods

putAction :: p -> Update p s ()

getState :: Update p s s

evalUpdate :: ApplyAction p s => Update p s a -> s -> a

execUpdate :: ApplyAction p s => Update p s a -> s -> s

collectUpdate :: ApplyAction p s => Update p s a -> s -> p

auditUpdate :: ApplyAction p s => Update p s a -> s -> (s, p, a)