Pandora.Paradigm.Inventory.Stateful

Documentation

newtype Stateful s a

Constructors

Stateful (((->) s :.: (:*:) s) >< a)

Instances

Covariant (Stateful s)

Defined in Pandora.Paradigm.Inventory.Stateful

Methods

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

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

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

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

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

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

(<&>) :: Stateful s a -> (a -> b) -> Stateful s b

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

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

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

(<&&>) :: Covariant u => ((Stateful s :.: u) >< a) -> (a -> b) -> (Stateful s :.: u) >< b

(<&&&>) :: (Covariant u, Covariant v) => ((Stateful s :.: (u :.: v)) >< a) -> (a -> b) -> (Stateful s :.: (u :.: v)) >< b

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

Bindable (Stateful s)

Defined in Pandora.Paradigm.Inventory.Stateful

Methods

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

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

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

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

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

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

Applicative (Stateful s)

Defined in Pandora.Paradigm.Inventory.Stateful

Methods

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

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

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

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

forever :: Stateful s a -> Stateful s b

(<**>) :: Applicative u => (Stateful s :.: u) (a -> b) -> (Stateful s :.: u) a -> (Stateful s :.: u) b

(<***>) :: (Applicative u, Applicative v) => (Stateful s :.: (u :.: v)) (a -> b) -> (Stateful s :.: (u :.: v)) a -> (Stateful s :.: (u :.: v)) b

(<****>) :: (Applicative u, Applicative v, Applicative w) => (Stateful s :.: (u :.: (v :.: w))) (a -> b) -> (Stateful s :.: (u :.: (v :.: w))) a -> (Stateful s :.: (u :.: (v :.: w))) b

Pointable (Stateful s)

Defined in Pandora.Paradigm.Inventory.Stateful

Methods

point :: a -> Stateful s a

Monad (Stateful s)

Defined in Pandora.Paradigm.Inventory.Stateful

get :: Stateful s s

modify :: (s -> s) -> Stateful s ()

put :: s -> Stateful s ()

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

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