Control.Monad.State.Profunctor.Class

Documentation

class IxFunctor f where

Methods

($.$) :: (a -> b) -> f j k a -> f j k b infixl 4

Instances

Functor f => IxFunctor (IxStateT f)

Defined in Control.Monad.State.Profunctor.IxState

Methods

($.$) :: (a -> b) -> IxStateT f j k a -> IxStateT f j k b

class IxFunctor f => IxApply f where

Methods

(<*.*>) :: f j k (a -> b) -> f i j a -> f i k b infixl 4

Instances

Monad f => IxApply (IxStateT f)

Defined in Control.Monad.State.Profunctor.IxState

Methods

(<*.*>) :: IxStateT f j k (a -> b) -> IxStateT f i j a -> IxStateT f i k b

class IxApply f => IxApplicative f where

Methods

ipure :: a -> f i i a

Instances

Monad f => IxApplicative (IxStateT f)

Defined in Control.Monad.State.Profunctor.IxState

Methods

ipure :: a -> IxStateT f i i a

class IxApply f => IxBind f where

Minimal complete definition

(-<<<) | (>>>-)

Methods

(-<<<) :: (a -> f i j b) -> f j k a -> f i k b infixr 1

(>>>-) :: f j k a -> (a -> f i j b) -> f i k b infixr 1

Instances

Monad f => IxBind (IxStateT f)

Defined in Control.Monad.State.Profunctor.IxState

Methods

(-<<<) :: (a -> IxStateT f i j b) -> IxStateT f j k a -> IxStateT f i k b

(>>>-) :: IxStateT f j k a -> (a -> IxStateT f i j b) -> IxStateT f i k b

class (IxApplicative f, IxBind f) => IxMonad f

Instances

Monad f => IxMonad (IxStateT f)

Defined in Control.Monad.State.Profunctor.IxState

class IxFunctor f => IxAlt f where

Methods

(<|.|>) :: f i j a -> f i j a -> f i j a infixl 3

Instances

Alt f => IxAlt (IxStateT f)

Defined in Control.Monad.State.Profunctor.IxState

Methods

(<|.|>) :: IxStateT f i j a -> IxStateT f i j a -> IxStateT f i j a

class IxAlt f => IxAlternative f where

Methods

iempty :: f i j a

Instances

(Alt f, Alternative f) => IxAlternative (IxStateT f)

Defined in Control.Monad.State.Profunctor.IxState

Methods

iempty :: IxStateT f i j a

class IxMonad f => IxMonadState f where

Minimal complete definition

istate | iget, iput

Methods

iget :: f t t t

iput :: t -> f t s ()

istate :: (s -> (a, t)) -> f t s a

imodify :: (s -> t) -> f t s ()

igets :: (s -> t) -> f s s t

Instances

Monad f => IxMonadState (IxStateT f)

Defined in Control.Monad.State.Profunctor.IxState

Methods

iget :: IxStateT f t t t

iput :: t -> IxStateT f t s ()

istate :: (s -> (a, t)) -> IxStateT f t s a

imodify :: (s -> t) -> IxStateT f t s ()

igets :: (s -> t) -> IxStateT f s s t

class IxMonadFix f where

Methods

imfix :: (a -> f t s a) -> f t s a

Instances

MonadFix f => IxMonadFix (IxStateT f)

Defined in Control.Monad.State.Profunctor.IxState

Methods

imfix :: (a -> IxStateT f t s a) -> IxStateT f t s a

class IxMonadCont f where

Methods

icallCC :: ((a -> f t r b) -> f r s a) -> f r s a

Instances

MonadCont f => IxMonadCont (IxStateT f)

Defined in Control.Monad.State.Profunctor.IxState

Methods

icallCC :: ((a -> IxStateT f t r b) -> IxStateT f r s a) -> IxStateT f r s a

class IxBindTrans g where

Methods

iliftB :: Bind f => f a -> g f s s a

Instances

IxBindTrans IxStateT

Defined in Control.Monad.State.Profunctor.IxState

Methods

iliftB :: Bind f => f a -> IxStateT f s s a

class IxMonadTrans g where

Methods

ilift :: Monad f => f a -> g f s s a

Instances

IxMonadTrans IxStateT

Defined in Control.Monad.State.Profunctor.IxState

Methods

ilift :: Monad f => f a -> IxStateT f s s a