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

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

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

(<$$$>) :: (Covariant u, Covariant v) => (a -> b) -> Stateful s t (u (v a)) -> Stateful s t (u (v b))

(<$$$$>) :: (Covariant u, Covariant v, Covariant w) => (a -> b) -> Stateful s t (u (v (w a))) -> Stateful s t (u (v (w b)))

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

fold :: Traversable t => s -> (a -> s -> s) -> t a -> s

find :: (Pointable u, Exclusive u, Alternative u, Traversable t) => Predicate a -> t a -> u a