Pandora.Paradigm.Inventory.Stateful

Documentation

newtype Stateful s a

Constructors

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

Instances

Composition (Stateful s)

Defined in Pandora.Paradigm.Inventory.Stateful

Associated Types

type Outline (Stateful s) a :: Type

Methods

composition :: Stateful s a -> Outline (Stateful s) a

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

Transformer (Stateful s)

Defined in Pandora.Paradigm.Inventory.Stateful

Associated Types

type Layout (Stateful s) u a = (r :: Type)

Methods

lay :: Covariant u => u a -> Layout (Stateful s) u a

equip :: Pointable u => Stateful s a -> Layout (Stateful s) u a

Covariant u => Covariant (TUV Stateful () Stateful ((->) s :: Type -> Type) u ((:*:) s))

Defined in Pandora.Paradigm.Inventory.Stateful

Methods

(<$>) :: (a -> b) -> TUV Stateful () Stateful ((->) s) u ((:*:) s) a -> TUV Stateful () Stateful ((->) s) u ((:*:) s) b

comap :: (a -> b) -> TUV Stateful () Stateful ((->) s) u ((:*:) s) a -> TUV Stateful () Stateful ((->) s) u ((:*:) s) b

(<$) :: a -> TUV Stateful () Stateful ((->) s) u ((:*:) s) b -> TUV Stateful () Stateful ((->) s) u ((:*:) s) a

($>) :: TUV Stateful () Stateful ((->) s) u ((:*:) s) a -> b -> TUV Stateful () Stateful ((->) s) u ((:*:) s) b

void :: TUV Stateful () Stateful ((->) s) u ((:*:) s) a -> TUV Stateful () Stateful ((->) s) u ((:*:) s) ()

loeb :: TUV Stateful () Stateful ((->) s) u ((:*:) s) (TUV Stateful () Stateful ((->) s) u ((:*:) s) a -> a) -> TUV Stateful () Stateful ((->) s) u ((:*:) s) a

(<&>) :: TUV Stateful () Stateful ((->) s) u ((:*:) s) a -> (a -> b) -> TUV Stateful () Stateful ((->) s) u ((:*:) s) b

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

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

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

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

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

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

Bindable u => Bindable (TUV Stateful () Stateful ((->) s :: Type -> Type) u ((:*:) s))

Defined in Pandora.Paradigm.Inventory.Stateful

Methods

(>>=) :: TUV Stateful () Stateful ((->) s) u ((:*:) s) a -> (a -> TUV Stateful () Stateful ((->) s) u ((:*:) s) b) -> TUV Stateful () Stateful ((->) s) u ((:*:) s) b

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

bind :: (a -> TUV Stateful () Stateful ((->) s) u ((:*:) s) b) -> TUV Stateful () Stateful ((->) s) u ((:*:) s) a -> TUV Stateful () Stateful ((->) s) u ((:*:) s) b

join :: (TUV Stateful () Stateful ((->) s) u ((:*:) s) :.: TUV Stateful () Stateful ((->) s) u ((:*:) s)) a -> TUV Stateful () Stateful ((->) s) u ((:*:) s) a

(>=>) :: (a -> TUV Stateful () Stateful ((->) s) u ((:*:) s) b) -> (b -> TUV Stateful () Stateful ((->) s) u ((:*:) s) c) -> a -> TUV Stateful () Stateful ((->) s) u ((:*:) s) c

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

Bindable u => Applicative (TUV Stateful () Stateful ((->) s :: Type -> Type) u ((:*:) s))

Defined in Pandora.Paradigm.Inventory.Stateful

Methods

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

apply :: TUV Stateful () Stateful ((->) s) u ((:*:) s) (a -> b) -> TUV Stateful () Stateful ((->) s) u ((:*:) s) a -> TUV Stateful () Stateful ((->) s) u ((:*:) s) b

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

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

forever :: TUV Stateful () Stateful ((->) s) u ((:*:) s) a -> TUV Stateful () Stateful ((->) s) u ((:*:) s) b

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

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

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

Pointable u => Pointable (TUV Stateful () Stateful ((->) s :: Type -> Type) u ((:*:) s))

Defined in Pandora.Paradigm.Inventory.Stateful

Methods

point :: a -> TUV Stateful () Stateful ((->) s) u ((:*:) s) a

Monad u => Monad (TUV Stateful () Stateful ((->) s :: Type -> Type) u ((:*:) s))

Defined in Pandora.Paradigm.Inventory.Stateful

type Outline (Stateful s) a

Defined in Pandora.Paradigm.Inventory.Stateful

type Outline (Stateful s) a = (((->) s :: Type -> Type) :.: (:*:) s) >< a

type Layout (Stateful s) u a

Defined in Pandora.Paradigm.Inventory.Stateful

type Layout (Stateful s) u a = TUV Stateful () Stateful ((->) s :: Type -> Type) u ((:*:) s) a

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