Pandora.Paradigm.Inventory.Some.Store

Documentation

newtype Store s a

Context based computation on value

Constructors

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

Instances

Monoidal (<--) (-->) (:*:) (:*:) (Store s)

Defined in Pandora.Paradigm.Inventory.Some.Store

Methods

unit :: Proxy (:*:) -> (Unit (:*:) --> a) <-- Store s a

Semigroupoid (Lens Exactly)

Defined in Pandora.Paradigm.Inventory.Some.Optics

Methods

(.) :: Lens Exactly b c -> Lens Exactly a b -> Lens Exactly a c

Semigroupoid (Lens Maybe)

Defined in Pandora.Paradigm.Inventory.Some.Optics

Methods

(.) :: Lens Maybe b c -> Lens Maybe a b -> Lens Maybe a c

Category (Lens Exactly)

Defined in Pandora.Paradigm.Inventory.Some.Optics

Methods

identity :: Lens Exactly a a

(#) :: Lens Exactly (Lens Exactly a b) (Lens Exactly a b)

(<---------) :: Lens Exactly (Lens Exactly a b) (Lens Exactly a b)

(<--------) :: Lens Exactly (Lens Exactly a b) (Lens Exactly a b)

(<-------) :: Lens Exactly (Lens Exactly a b) (Lens Exactly a b)

(<------) :: Lens Exactly (Lens Exactly a b) (Lens Exactly a b)

(<-----) :: Lens Exactly (Lens Exactly a b) (Lens Exactly a b)

(<----) :: Lens Exactly (Lens Exactly a b) (Lens Exactly a b)

(<---) :: Lens Exactly (Lens Exactly a b) (Lens Exactly a b)

(<--) :: Lens Exactly (Lens Exactly a b) (Lens Exactly a b)

(--------->) :: Lens Exactly (Lens Exactly a b) (Lens Exactly a b)

(-------->) :: Lens Exactly (Lens Exactly a b) (Lens Exactly a b)

(------->) :: Lens Exactly (Lens Exactly a b) (Lens Exactly a b)

(------>) :: Lens Exactly (Lens Exactly a b) (Lens Exactly a b)

(----->) :: Lens Exactly (Lens Exactly a b) (Lens Exactly a b)

(---->) :: Lens Exactly (Lens Exactly a b) (Lens Exactly a b)

(--->) :: Lens Exactly (Lens Exactly a b) (Lens Exactly a b)

(-->) :: Lens Exactly (Lens Exactly a b) (Lens Exactly a b)

Category (Lens Maybe)

Defined in Pandora.Paradigm.Inventory.Some.Optics

Methods

identity :: Lens Maybe a a

(#) :: Lens Maybe (Lens Maybe a b) (Lens Maybe a b)

(<---------) :: Lens Maybe (Lens Maybe a b) (Lens Maybe a b)

(<--------) :: Lens Maybe (Lens Maybe a b) (Lens Maybe a b)

(<-------) :: Lens Maybe (Lens Maybe a b) (Lens Maybe a b)

(<------) :: Lens Maybe (Lens Maybe a b) (Lens Maybe a b)

(<-----) :: Lens Maybe (Lens Maybe a b) (Lens Maybe a b)

(<----) :: Lens Maybe (Lens Maybe a b) (Lens Maybe a b)

(<---) :: Lens Maybe (Lens Maybe a b) (Lens Maybe a b)

(<--) :: Lens Maybe (Lens Maybe a b) (Lens Maybe a b)

(--------->) :: Lens Maybe (Lens Maybe a b) (Lens Maybe a b)

(-------->) :: Lens Maybe (Lens Maybe a b) (Lens Maybe a b)

(------->) :: Lens Maybe (Lens Maybe a b) (Lens Maybe a b)

(------>) :: Lens Maybe (Lens Maybe a b) (Lens Maybe a b)

(----->) :: Lens Maybe (Lens Maybe a b) (Lens Maybe a b)

(---->) :: Lens Maybe (Lens Maybe a b) (Lens Maybe a b)

(--->) :: Lens Maybe (Lens Maybe a b) (Lens Maybe a b)

(-->) :: Lens Maybe (Lens Maybe a b) (Lens Maybe a b)

Semimonoidal (<--) (:*:) (:*:) (Store s :: Type -> Type)

Defined in Pandora.Paradigm.Inventory.Some.Store

Methods

mult :: forall (a :: k) (b :: k). (Store s a :*: Store s b) <-- Store s (a :*: b)

Semimonoidal (-->) (:*:) (:*:) (Lens Exactly source :: Type -> Type)

Defined in Pandora.Paradigm.Inventory.Some.Optics

Methods

mult :: forall (a :: k) (b :: k). (Lens Exactly source a :*: Lens Exactly source b) --> Lens Exactly source (a :*: b)

Impliable (P_Q_T ((->) :: Type -> Type -> Type) Store Exactly source target :: Type)

Defined in Pandora.Paradigm.Inventory.Some.Optics

Associated Types

type Arguments (P_Q_T (->) Store Exactly source target) = (args :: Type)

Methods

imply :: Arguments (P_Q_T (->) Store Exactly source target)

Impliable (P_Q_T ((->) :: Type -> Type -> Type) Store Maybe source target :: Type)

Defined in Pandora.Paradigm.Inventory.Some.Optics

Associated Types

type Arguments (P_Q_T (->) Store Maybe source target) = (args :: Type)

Methods

imply :: Arguments (P_Q_T (->) Store Maybe source target)

Invariant (Flip Store r)

Defined in Pandora.Paradigm.Inventory.Some.Store

Methods

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

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

Invariant (Flip (Lens available) tgt)

Defined in Pandora.Paradigm.Inventory.Some.Optics

Methods

(<!<) :: (a -> b) -> (b -> a) -> Flip (Lens available) tgt a -> Flip (Lens available) tgt b

invmap :: (a -> b) -> (b -> a) -> Flip (Lens available) tgt a -> Flip (Lens available) tgt b

Gettable (Lens Exactly)

Defined in Pandora.Paradigm.Inventory.Some.Optics

Associated Types

type Getting (Lens Exactly) e r

Methods

get :: Getting (Lens Exactly) e r

Gettable (Lens Maybe)

Defined in Pandora.Paradigm.Inventory.Some.Optics

Associated Types

type Getting (Lens Maybe) e r

Methods

get :: Getting (Lens Maybe) e r

Pointable t => Settable (Lens t :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Inventory.Some.Optics

Associated Types

type Setting (Lens t) e r

Methods

set :: Setting (Lens t) e r

(Gettable (Lens t), Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Pointable t) => Modifiable (Lens t :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Inventory.Some.Optics

Associated Types

type Modification (Lens t) e r

Methods

modify :: Modification (Lens t) e r

Extendable ((->) :: Type -> Type -> Type) (Store s)

Defined in Pandora.Paradigm.Inventory.Some.Store

Methods

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

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

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

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

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

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

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

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

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

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

Defined in Pandora.Paradigm.Inventory.Some.Store

Associated Types

type Primary (Store s) a

Methods

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

unite :: Primary (Store s) a -> Store s a

(!) :: Store s a -> Primary (Store s) a

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

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

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

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

Comonad ((->) :: Type -> Type -> Type) (Store s)

Defined in Pandora.Paradigm.Inventory.Some.Store

Comonadic ((->) :: Type -> Type -> Type) (Store s)

Defined in Pandora.Paradigm.Inventory.Some.Store

Methods

bring :: forall (u :: Type -> Type) a. Extractable u => (Store s :< u) a -> Store s a

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

Defined in Pandora.Paradigm.Inventory.Some.Store

Methods

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

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

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

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

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

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

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

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

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

(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) (Store s)) => (a -> b) -> Store s (u (v a)) -> Store 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

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

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

type Schematic Comonad (Store s)

Defined in Pandora.Paradigm.Inventory.Some.Store

type Schematic Comonad (Store s) = (:*:) s <:<.>:> ((->) s :: Type -> Type)

type Primary (Store s) a

Defined in Pandora.Paradigm.Inventory.Some.Store

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

type Arguments (P_Q_T ((->) :: Type -> Type -> Type) Store Exactly source target :: Type)

Defined in Pandora.Paradigm.Inventory.Some.Optics

type Arguments (P_Q_T ((->) :: Type -> Type -> Type) Store Exactly source target :: Type) = (source -> target) -> (source -> target -> source) -> Lens Exactly source target

type Arguments (P_Q_T ((->) :: Type -> Type -> Type) Store Maybe source target :: Type)

Defined in Pandora.Paradigm.Inventory.Some.Optics

type Arguments (P_Q_T ((->) :: Type -> Type -> Type) Store Maybe source target :: Type) = (source -> Maybe target) -> (source -> Maybe target -> source) -> Lens Maybe source target

type Getting (Lens Exactly) source target

Defined in Pandora.Paradigm.Inventory.Some.Optics

type Getting (Lens Exactly) source target = Lens Exactly source target -> source -> target

type Getting (Lens Maybe) source target

Defined in Pandora.Paradigm.Inventory.Some.Optics

type Getting (Lens Maybe) source target = Lens Maybe source target -> source -> Maybe target

type Setting (Lens t :: Type -> Type -> Type) source target

Defined in Pandora.Paradigm.Inventory.Some.Optics

type Setting (Lens t :: Type -> Type -> Type) source target = target -> Lens t source target -> source -> source

type Modification (Lens t :: Type -> Type -> Type) source target

Defined in Pandora.Paradigm.Inventory.Some.Optics

type Modification (Lens t :: Type -> Type -> Type) source target = (target -> target) -> Lens t source target -> source -> source

type Storable s t = Adaptable (Store s) (->) t

position :: Storable s t => t a -> s

Get current index

look :: Storable s t => s -> a <:= t

Given an index return value

retrofit :: (s -> s) -> Store s ~> Store s

Change index with function