Pandora.Paradigm.Inventory.Some.State

Documentation

newtype State s a

Effectful computation with a variable

Constructors

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

Instances

Zoomable State Exactly

Defined in Pandora.Paradigm.Inventory

Methods

zoom :: forall bg ls (t :: Type -> Type). Adaptable t (->) (State bg) => Lens Exactly bg ls -> State (Simplification Exactly ls) ~> t

Zoomable State Maybe

Defined in Pandora.Paradigm.Inventory

Methods

zoom :: forall bg ls (t :: Type -> Type). Adaptable t (->) (State bg) => Lens Maybe bg ls -> State (Simplification Maybe ls) ~> t

Monoidal (-->) (-->) (:*:) (:*:) (State s)

Defined in Pandora.Paradigm.Inventory.Some.State

Methods

unit :: Proxy (:*:) -> (Unit (:*:) --> a) --> State s a

Semimonoidal (-->) (:*:) (:*:) (State s :: Type -> Type)

Defined in Pandora.Paradigm.Inventory.Some.State

Methods

mult :: forall (a :: k) (b :: k). (State s a :*: State s b) --> State s (a :*: b)

Invariant (Flip State r)

Defined in Pandora.Paradigm.Inventory.Some.State

Methods

(<!<) :: (a -> b) -> (b -> a) -> Flip State r a -> Flip State r b

invmap :: (a -> b) -> (b -> a) -> Flip State r a -> Flip State r b

Gettable State

Defined in Pandora.Paradigm.Inventory.Some.State

Associated Types

type Getting State e r

Methods

get :: Getting State e r

Settable State

Defined in Pandora.Paradigm.Inventory.Some.State

Associated Types

type Setting State e r

Methods

set :: Setting State e r

Modifiable State

Defined in Pandora.Paradigm.Inventory.Some.State

Associated Types

type Modification State e r

Methods

modify :: Modification State e r

Bindable ((->) :: Type -> Type -> Type) (State s)

Defined in Pandora.Paradigm.Inventory.Some.State

Methods

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

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

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

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

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

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

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

Interpreted ((->) :: Type -> Type -> Type) (State s)

Defined in Pandora.Paradigm.Inventory.Some.State

Associated Types

type Primary (State s) a

Methods

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

unite :: ((->) < Primary (State s) a) < State s a

(<~~~~~~~~) :: ((->) < State s a) < Primary (State s) a

(<~~~~~~~) :: ((->) < State s a) < Primary (State s) a

(<~~~~~~) :: ((->) < State s a) < Primary (State s) a

(<~~~~~) :: ((->) < State s a) < Primary (State s) a

(<~~~~) :: ((->) < State s a) < Primary (State s) a

(<~~~) :: ((->) < State s a) < Primary (State s) a

(<~~) :: ((->) < State s a) < Primary (State s) a

(<~) :: ((->) < State s a) < Primary (State s) a

(=#-) :: (Semigroupoid (->), Interpreted (->) u) => (((->) < Primary (State s) a) < Primary u b) -> ((->) < State s a) < u b

(-#=) :: (Semigroupoid (->), Interpreted (->) u) => (((->) < State s a) < u b) -> ((->) < Primary (State s) a) < Primary u b

(<$=#-) :: (Semigroupoid (->), Covariant (->) (->) j, Interpreted (->) u) => (((->) < Primary (State s) a) < Primary u b) -> (j > State s a) -> (j > u b)

(-#=$>) :: (Covariant (->) (->) j, Interpreted (->) u) => (((->) < State s a) < u b) -> (j > Primary (State s) a) -> (j > Primary u b)

Monad ((->) :: Type -> Type -> Type) (State s)

Defined in Pandora.Paradigm.Inventory.Some.State

Monadic ((->) :: Type -> Type -> Type) (State s)

Defined in Pandora.Paradigm.Inventory.Some.State

Methods

wrap :: forall (u :: Type -> Type) a. Pointable u => ((->) < State s a) < (State s :> u) a

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (State s)

Defined in Pandora.Paradigm.Inventory.Some.State

Methods

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

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

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

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

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

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

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

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

(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (State s)) => (a -> b) -> State s (u a) -> State s (u b)

(<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (State s)) => (a -> b) -> State s (u a) -> State s (u b)

(<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (State s)) => (a -> b) -> State s (u a) -> State s (u b)

(<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (State s)) => (a -> b) -> State s (u a) -> State s (u b)

(<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (State s)) => (a -> b) -> State s (u a) -> State s (u b)

(<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (State s)) => (a -> b) -> State s (u a) -> State s (u b)

(<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (State s)) => (a -> b) -> State s (u a) -> State s (u b)

(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) (State s)) => (a -> b) -> State s (u (v a)) -> State s (u (v b))

Adjoint ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Store s) (State s)

Defined in Pandora.Paradigm.Inventory

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

type Schematic Monad (State s)

Defined in Pandora.Paradigm.Inventory.Some.State

type Schematic Monad (State s) = ((->) s :: Type -> Type) <:<.>:> (:*:) s

type Primary (State s) a

Defined in Pandora.Paradigm.Inventory.Some.State

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

type Getting State state ouput

Defined in Pandora.Paradigm.Inventory.Some.State

type Getting State state ouput = State state state

type Setting State state output

Defined in Pandora.Paradigm.Inventory.Some.State

type Setting State state output = state -> State state state

type Modification State state output

Defined in Pandora.Paradigm.Inventory.Some.State

type Modification State state output = (state -> state) -> State state state

type Stateful s t = Adaptable t (->) (State s)

reconcile :: (Bindable (->) t, Stateful s t, Adaptable t (->) u) => (s -> u s) -> t s

type Memorable s t = (Covariant (->) (->) t, Pointable t, Stateful s t)

fold :: (Traversable (->) (->) t, Memorable s u) => (a -> s -> s) -> t a -> u s