Pandora.Paradigm.Inventory.Stateful

Documentation

newtype Stateful s t a

Constructors

Stateful

Fields

• statefully :: ((->) s :.: (t :.: (:*) s)) a

Instances

Liftable (Stateful s)

Defined in Pandora.Paradigm.Inventory.Stateful

Methods

lift :: Covariant u => u ~> Stateful s u

Covariant t => Covariant (Stateful s t)

Defined in Pandora.Paradigm.Inventory.Stateful

Methods

(<$>) :: (a -> b) -> Stateful s t a -> Stateful s t b

comap :: (a -> b) -> Stateful s t a -> Stateful s t b

(<$) :: a -> Stateful s t b -> Stateful s t a

($>) :: Stateful s t a -> b -> Stateful s t b

void :: Stateful s t a -> Stateful s t ()

Bindable t => Applicative (Stateful s t)

Defined in Pandora.Paradigm.Inventory.Stateful

Methods

(<*>) :: Stateful s t (a -> b) -> Stateful s t a -> Stateful s t b

apply :: Stateful s t (a -> b) -> Stateful s t a -> Stateful s t b

(*>) :: Stateful s t a -> Stateful s t b -> Stateful s t b

(<*) :: Stateful s t a -> Stateful s t b -> Stateful s t a

forever :: Stateful s t a -> Stateful s t b

Bindable t => Bindable (Stateful s t)

Defined in Pandora.Paradigm.Inventory.Stateful

Methods

(>>=) :: Stateful s t a -> (a -> Stateful s t b) -> Stateful s t b

(=<<) :: (a -> Stateful s t b) -> Stateful s t a -> Stateful s t b

bind :: (a -> Stateful s t b) -> Stateful s t a -> Stateful s t b

join :: (Stateful s t :.: Stateful s t) a -> Stateful s t a

(>=>) :: (a -> Stateful s t b) -> (b -> Stateful s t c) -> a -> Stateful s t c

(<=<) :: (b -> Stateful s t c) -> (a -> Stateful s t b) -> a -> Stateful s t c

Pointable t => Pointable (Stateful s t)

Defined in Pandora.Paradigm.Inventory.Stateful

Methods

point :: a -> Stateful s t a

Monad t => Monad (Stateful s t)

Defined in Pandora.Paradigm.Inventory.Stateful

type State s = Stateful s Identity

get :: Pointable t => Stateful s t s

modify :: Pointable t => (s -> s) -> Stateful s t ()

put :: Pointable t => s -> Stateful s t ()