Pandora.Paradigm.Inventory.State

Documentation

newtype State s a

Constructors

State (((->) s :. (:*:) s) := a)

Instances

Interpreted (State s)

Defined in Pandora.Paradigm.Inventory.State

Associated Types

type Primary (State s) a :: Type

Methods

run :: State s a -> Primary (State s) a

Covariant (State s)

Defined in Pandora.Paradigm.Inventory.State

Methods

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

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

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

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

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

loeb :: State s (a <-| State s) -> State s a

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

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

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

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

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

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

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

Bindable (State s)

Defined in Pandora.Paradigm.Inventory.State

Methods

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

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

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

join :: ((State s :. State s) := a) -> State s a

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

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

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

(>>=$) :: (State s b -> c) -> (a -> State s b) -> State s a -> c

Applicative (State s)

Defined in Pandora.Paradigm.Inventory.State

Methods

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

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

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

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

forever :: State s a -> State s b

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

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

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

Pointable (State s)

Defined in Pandora.Paradigm.Inventory.State

Methods

point :: a |-> State s

Monad (State s)

Defined in Pandora.Paradigm.Inventory.State

Monadic (State s)

Defined in Pandora.Paradigm.Inventory.State

Methods

lay :: Covariant u => u ~> (State s :> u)

wrap :: Pointable u => State s ~> (State s :> u)

Adjoint (Store s) (State s)

Defined in Pandora.Paradigm.Inventory

Methods

(-|) :: a -> (Store s a -> b) -> State s b

(|-) :: Store s a -> (a -> State s b) -> b

phi :: (Store s a -> b) -> a -> State s b

psi :: (a -> State s b) -> Store s a -> b

eta :: a -> (State s :. Store s) := a

epsilon :: ((Store s :. State s) := a) -> a

type Schematic Monad (State s) u

Defined in Pandora.Paradigm.Inventory.State

type Schematic Monad (State s) u = TUT Covariant Covariant Covariant ((->) s :: Type -> Type) ((:*:) s) u

type Primary (State s) a

Defined in Pandora.Paradigm.Inventory.State

type Primary (State s) a = (((->) s :: Type -> Type) :. (:*:) s) := a

type Stateful s = Adaptable (State s)

current :: Stateful s t => t s

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

replace :: Stateful s t => s -> t ()

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

Orphan instances

Covariant u => Covariant (TUT Covariant Covariant Covariant ((->) s :: Type -> Type) ((:*:) s) u)

Methods

(<$>) :: (a -> b) -> TUT Covariant Covariant Covariant ((->) s) ((:*:) s) u a -> TUT Covariant Covariant Covariant ((->) s) ((:*:) s) u b

comap :: (a -> b) -> TUT Covariant Covariant Covariant ((->) s) ((:*:) s) u a -> TUT Covariant Covariant Covariant ((->) s) ((:*:) s) u b

(<$) :: a -> TUT Covariant Covariant Covariant ((->) s) ((:*:) s) u b -> TUT Covariant Covariant Covariant ((->) s) ((:*:) s) u a

($>) :: TUT Covariant Covariant Covariant ((->) s) ((:*:) s) u a -> b -> TUT Covariant Covariant Covariant ((->) s) ((:*:) s) u b

void :: TUT Covariant Covariant Covariant ((->) s) ((:*:) s) u a -> TUT Covariant Covariant Covariant ((->) s) ((:*:) s) u ()

loeb :: TUT Covariant Covariant Covariant ((->) s) ((:*:) s) u (a <-| TUT Covariant Covariant Covariant ((->) s) ((:*:) s) u) -> TUT Covariant Covariant Covariant ((->) s) ((:*:) s) u a

(<&>) :: TUT Covariant Covariant Covariant ((->) s) ((:*:) s) u a -> (a -> b) -> TUT Covariant Covariant Covariant ((->) s) ((:*:) s) u b

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

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

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

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

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

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

Bindable u => Bindable (TUT Covariant Covariant Covariant ((->) s :: Type -> Type) ((:*:) s) u)

Methods

(>>=) :: TUT Covariant Covariant Covariant ((->) s) ((:*:) s) u a -> (a -> TUT Covariant Covariant Covariant ((->) s) ((:*:) s) u b) -> TUT Covariant Covariant Covariant ((->) s) ((:*:) s) u b

(=<<) :: (a -> TUT Covariant Covariant Covariant ((->) s) ((:*:) s) u b) -> TUT Covariant Covariant Covariant ((->) s) ((:*:) s) u a -> TUT Covariant Covariant Covariant ((->) s) ((:*:) s) u b

bind :: (a -> TUT Covariant Covariant Covariant ((->) s) ((:*:) s) u b) -> TUT Covariant Covariant Covariant ((->) s) ((:*:) s) u a -> TUT Covariant Covariant Covariant ((->) s) ((:*:) s) u b

join :: ((TUT Covariant Covariant Covariant ((->) s) ((:*:) s) u :. TUT Covariant Covariant Covariant ((->) s) ((:*:) s) u) := a) -> TUT Covariant Covariant Covariant ((->) s) ((:*:) s) u a

(>=>) :: (a -> TUT Covariant Covariant Covariant ((->) s) ((:*:) s) u b) -> (b -> TUT Covariant Covariant Covariant ((->) s) ((:*:) s) u c) -> a -> TUT Covariant Covariant Covariant ((->) s) ((:*:) s) u c

(<=<) :: (b -> TUT Covariant Covariant Covariant ((->) s) ((:*:) s) u c) -> (a -> TUT Covariant Covariant Covariant ((->) s) ((:*:) s) u b) -> a -> TUT Covariant Covariant Covariant ((->) s) ((:*:) s) u c

($>>=) :: Covariant u0 => (a -> TUT Covariant Covariant Covariant ((->) s) ((:*:) s) u b) -> ((u0 :. TUT Covariant Covariant Covariant ((->) s) ((:*:) s) u) := a) -> (u0 :. TUT Covariant Covariant Covariant ((->) s) ((:*:) s) u) := b

(>>=$) :: (TUT Covariant Covariant Covariant ((->) s) ((:*:) s) u b -> c) -> (a -> TUT Covariant Covariant Covariant ((->) s) ((:*:) s) u b) -> TUT Covariant Covariant Covariant ((->) s) ((:*:) s) u a -> c

Bindable u => Applicative (TUT Covariant Covariant Covariant ((->) s :: Type -> Type) ((:*:) s) u)

Methods

(<*>) :: TUT Covariant Covariant Covariant ((->) s) ((:*:) s) u (a -> b) -> TUT Covariant Covariant Covariant ((->) s) ((:*:) s) u a -> TUT Covariant Covariant Covariant ((->) s) ((:*:) s) u b

apply :: TUT Covariant Covariant Covariant ((->) s) ((:*:) s) u (a -> b) -> TUT Covariant Covariant Covariant ((->) s) ((:*:) s) u a -> TUT Covariant Covariant Covariant ((->) s) ((:*:) s) u b

(*>) :: TUT Covariant Covariant Covariant ((->) s) ((:*:) s) u a -> TUT Covariant Covariant Covariant ((->) s) ((:*:) s) u b -> TUT Covariant Covariant Covariant ((->) s) ((:*:) s) u b

(<*) :: TUT Covariant Covariant Covariant ((->) s) ((:*:) s) u a -> TUT Covariant Covariant Covariant ((->) s) ((:*:) s) u b -> TUT Covariant Covariant Covariant ((->) s) ((:*:) s) u a

forever :: TUT Covariant Covariant Covariant ((->) s) ((:*:) s) u a -> TUT Covariant Covariant Covariant ((->) s) ((:*:) s) u b

(<**>) :: Applicative u0 => ((TUT Covariant Covariant Covariant ((->) s) ((:*:) s) u :. u0) := (a -> b)) -> ((TUT Covariant Covariant Covariant ((->) s) ((:*:) s) u :. u0) := a) -> (TUT Covariant Covariant Covariant ((->) s) ((:*:) s) u :. u0) := b

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

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

Pointable u => Pointable (TUT Covariant Covariant Covariant ((->) s :: Type -> Type) ((:*:) s) u)

Methods

point :: a |-> TUT Covariant Covariant Covariant ((->) s) ((:*:) s) u

Monad u => Monad (TUT Covariant Covariant Covariant ((->) s :: Type -> Type) ((:*:) s) u)