FreeUpdate

Documentation

data FreeUpdateT s p m a

Constructors

FreeUpdateT

Fields

• runFreeUpdateT :: (p -> s -> s) -> s -> m ([p], a)

Instances

Monad m => Monad (FreeUpdateT s p m)

Defined in FreeUpdate

Methods

(>>=) :: FreeUpdateT s p m a -> (a -> FreeUpdateT s p m b) -> FreeUpdateT s p m b

(>>) :: FreeUpdateT s p m a -> FreeUpdateT s p m b -> FreeUpdateT s p m b

return :: a -> FreeUpdateT s p m a

fail :: String -> FreeUpdateT s p m a

Functor m => Functor (FreeUpdateT s p m)

Defined in FreeUpdate

Methods

fmap :: (a -> b) -> FreeUpdateT s p m a -> FreeUpdateT s p m b

(<$) :: a -> FreeUpdateT s p m b -> FreeUpdateT s p m a

Monad m => Applicative (FreeUpdateT s p m)

Defined in FreeUpdate

Methods

pure :: a -> FreeUpdateT s p m a

(<*>) :: FreeUpdateT s p m (a -> b) -> FreeUpdateT s p m a -> FreeUpdateT s p m b

liftA2 :: (a -> b -> c) -> FreeUpdateT s p m a -> FreeUpdateT s p m b -> FreeUpdateT s p m c

(*>) :: FreeUpdateT s p m a -> FreeUpdateT s p m b -> FreeUpdateT s p m b

(<*) :: FreeUpdateT s p m a -> FreeUpdateT s p m b -> FreeUpdateT s p m a

MonadIO m => MonadIO (FreeUpdateT s p m)

Defined in FreeUpdate

Methods

liftIO :: IO a -> FreeUpdateT s p m a

action :: Applicative m => p -> FreeUpdateT s p m ()

currentState :: Applicative m => FreeUpdateT s p m s

evalFreeUpdateT :: Functor m => FreeUpdateT s p m a -> (p -> s -> s) -> s -> m a

execFreeUpdateT :: Monad m => FreeUpdateT s p m a -> (p -> s -> s) -> s -> m s

collectUpdateT :: Functor m => FreeUpdateT s p m a -> (p -> s -> s) -> s -> m [p]

type FreeUpdate s p a = FreeUpdateT s p Identity a

evalFreeUpdate :: FreeUpdate s p a -> (p -> s -> s) -> s -> a

execFreeUpdate :: FreeUpdate s p a -> (p -> s -> s) -> s -> s

collectFreeUpdate :: FreeUpdate s p a -> (p -> s -> s) -> s -> [p]

runFreeUpdate :: FreeUpdate s p a -> (p -> s -> s) -> s -> ([p], a)