Pandora.Paradigm.Inventory.Some.Store
newtype Store s a Source #
Context based computation on value
Constructors
Defined in Pandora.Paradigm.Inventory.Some.Store
Methods
unit :: Proxy (:*:) -> (Unit (:*:) --> a) <-- Store s a Source #
Defined in Pandora.Paradigm.Inventory.Some.Optics
(.) :: Lens Exactly b c -> Lens Exactly a b -> Lens Exactly a c Source #
(.) :: Lens Maybe b c -> Lens Maybe a b -> Lens Maybe a c Source #
identity :: Lens Exactly a a Source #
(<---------) :: Lens Exactly (Lens Exactly a b) (Lens Exactly a b) Source #
(<--------) :: Lens Exactly (Lens Exactly a b) (Lens Exactly a b) Source #
(<-------) :: Lens Exactly (Lens Exactly a b) (Lens Exactly a b) Source #
(<------) :: Lens Exactly (Lens Exactly a b) (Lens Exactly a b) Source #
(<-----) :: Lens Exactly (Lens Exactly a b) (Lens Exactly a b) Source #
(<----) :: Lens Exactly (Lens Exactly a b) (Lens Exactly a b) Source #
(<---) :: Lens Exactly (Lens Exactly a b) (Lens Exactly a b) Source #
(<--) :: Lens Exactly (Lens Exactly a b) (Lens Exactly a b) Source #
(--------->) :: Lens Exactly (Lens Exactly a b) (Lens Exactly a b) Source #
(-------->) :: Lens Exactly (Lens Exactly a b) (Lens Exactly a b) Source #
(------->) :: Lens Exactly (Lens Exactly a b) (Lens Exactly a b) Source #
(------>) :: Lens Exactly (Lens Exactly a b) (Lens Exactly a b) Source #
(----->) :: Lens Exactly (Lens Exactly a b) (Lens Exactly a b) Source #
(---->) :: Lens Exactly (Lens Exactly a b) (Lens Exactly a b) Source #
(--->) :: Lens Exactly (Lens Exactly a b) (Lens Exactly a b) Source #
(-->) :: Lens Exactly (Lens Exactly a b) (Lens Exactly a b) Source #
identity :: Lens Maybe a a Source #
(<---------) :: Lens Maybe (Lens Maybe a b) (Lens Maybe a b) Source #
(<--------) :: Lens Maybe (Lens Maybe a b) (Lens Maybe a b) Source #
(<-------) :: Lens Maybe (Lens Maybe a b) (Lens Maybe a b) Source #
(<------) :: Lens Maybe (Lens Maybe a b) (Lens Maybe a b) Source #
(<-----) :: Lens Maybe (Lens Maybe a b) (Lens Maybe a b) Source #
(<----) :: Lens Maybe (Lens Maybe a b) (Lens Maybe a b) Source #
(<---) :: Lens Maybe (Lens Maybe a b) (Lens Maybe a b) Source #
(<--) :: Lens Maybe (Lens Maybe a b) (Lens Maybe a b) Source #
(--------->) :: Lens Maybe (Lens Maybe a b) (Lens Maybe a b) Source #
(-------->) :: Lens Maybe (Lens Maybe a b) (Lens Maybe a b) Source #
(------->) :: Lens Maybe (Lens Maybe a b) (Lens Maybe a b) Source #
(------>) :: Lens Maybe (Lens Maybe a b) (Lens Maybe a b) Source #
(----->) :: Lens Maybe (Lens Maybe a b) (Lens Maybe a b) Source #
(---->) :: Lens Maybe (Lens Maybe a b) (Lens Maybe a b) Source #
(--->) :: Lens Maybe (Lens Maybe a b) (Lens Maybe a b) Source #
(-->) :: Lens Maybe (Lens Maybe a b) (Lens Maybe a b) Source #
mult :: forall (a :: k) (b :: k). (Store s a :*: Store s b) <-- Store s (a :*: b) Source #
mult :: forall (a :: k) (b :: k). (Lens Exactly source a :*: Lens Exactly source b) --> Lens Exactly source (a :*: b) Source #
Associated Types
type Arguments (P_Q_T (->) Store Exactly source target) = (args :: Type) Source #
imply :: Arguments (P_Q_T (->) Store Exactly source target) Source #
type Arguments (P_Q_T (->) Store Maybe source target) = (args :: Type) Source #
imply :: Arguments (P_Q_T (->) Store Maybe source target) Source #
(<!<) :: (a -> b) -> (b -> a) -> Flip Store r a -> Flip Store r b Source #
invmap :: (a -> b) -> (b -> a) -> Flip Store r a -> Flip Store r b Source #
(<!<) :: (a -> b) -> (b -> a) -> Flip (Lens available) tgt a -> Flip (Lens available) tgt b Source #
invmap :: (a -> b) -> (b -> a) -> Flip (Lens available) tgt a -> Flip (Lens available) tgt b Source #
type Getting (Lens Exactly) e r Source #
get :: Getting (Lens Exactly) e r Source #
type Getting (Lens Maybe) e r Source #
get :: Getting (Lens Maybe) e r Source #
type Setting (Lens t) e r Source #
set :: Setting (Lens t) e r Source #
type Modification (Lens t) e r Source #
modify :: Modification (Lens t) e r Source #
(<<=) :: (Store s a -> b) -> Store s a -> Store s b Source #
(<<==) :: (Store s a -> b) -> Store s a -> Store s b Source #
(<<===) :: (Store s a -> b) -> Store s a -> Store s b Source #
(<<====) :: (Store s a -> b) -> Store s a -> Store s b Source #
(<<=====) :: (Store s a -> b) -> Store s a -> Store s b Source #
(<<======) :: (Store s a -> b) -> Store s a -> Store s b Source #
(<<=======) :: (Store s a -> b) -> Store s a -> Store s b Source #
(<<========) :: (Store s a -> b) -> Store s a -> Store s b Source #
(<<=========) :: (Store s a -> b) -> Store s a -> Store s b Source #
type Primary (Store s) a Source #
run :: ((->) < Store s a) < Primary (Store s) a Source #
unite :: ((->) < Primary (Store s) a) < Store s a Source #
(<~~~~~~~~~) :: ((->) < Store s a) < Primary (Store s) a Source #
(<~~~~~~~~) :: ((->) < Store s a) < Primary (Store s) a Source #
(<~~~~~~~) :: ((->) < Store s a) < Primary (Store s) a Source #
(<~~~~~~) :: ((->) < Store s a) < Primary (Store s) a Source #
(<~~~~~) :: ((->) < Store s a) < Primary (Store s) a Source #
(<~~~~) :: ((->) < Store s a) < Primary (Store s) a Source #
(<~~~) :: ((->) < Store s a) < Primary (Store s) a Source #
(<~~) :: ((->) < Store s a) < Primary (Store s) a Source #
(<~) :: ((->) < Store s a) < Primary (Store s) a Source #
(=#-) :: (Semigroupoid (->), Interpreted (->) u) => (((->) < Primary (Store s) a) < Primary u b) -> ((->) < Store s a) < u b Source #
(-#=) :: (Semigroupoid (->), Interpreted (->) u) => (((->) < Store s a) < u b) -> ((->) < Primary (Store s) a) < Primary u b Source #
(<$=#-) :: (Semigroupoid (->), Covariant (->) (->) j, Interpreted (->) u) => (((->) < Primary (Store s) a) < Primary u b) -> (j > Store s a) -> (j > u b) Source #
(-#=$>) :: (Covariant (->) (->) j, Interpreted (->) u) => (((->) < Store s a) < u b) -> (j > Primary (Store s) a) -> (j > Primary u b) Source #
bring :: forall (u :: Type -> Type) a. Extractable u => ((->) < (Store s :< u) a) < Store s a Source #
(<-|-) :: (a -> b) -> Store s a -> Store s b Source #
(<-|--) :: (a -> b) -> Store s a -> Store s b Source #
(<-|---) :: (a -> b) -> Store s a -> Store s b Source #
(<-|----) :: (a -> b) -> Store s a -> Store s b Source #
(<-|-----) :: (a -> b) -> Store s a -> Store s b Source #
(<-|------) :: (a -> b) -> Store s a -> Store s b Source #
(<-|-------) :: (a -> b) -> Store s a -> Store s b Source #
(<-|--------) :: (a -> b) -> Store s a -> Store s b Source #
(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Store s)) => (a -> b) -> Store s (u a) -> Store s (u b) Source #
(<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Store s)) => (a -> b) -> Store s (u a) -> Store s (u b) Source #
(<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Store s)) => (a -> b) -> Store s (u a) -> Store s (u b) Source #
(<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Store s)) => (a -> b) -> Store s (u a) -> Store s (u b) Source #
(<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Store s)) => (a -> b) -> Store s (u a) -> Store s (u b) Source #
(<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Store s)) => (a -> b) -> Store s (u a) -> Store s (u b) Source #
(<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Store s)) => (a -> b) -> Store s (u a) -> Store s (u b) Source #
(<-|-|-|-) :: (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)) Source #
Defined in Pandora.Paradigm.Inventory
(-|) :: (Store s a -> b) -> a -> State s b Source #
(|-) :: (a -> State s b) -> Store s a -> b Source #
(|--) :: (a -> State s b) -> Store s a -> b Source #
(|---) :: (a -> State s b) -> Store s a -> b Source #
(|----) :: (a -> State s b) -> Store s a -> b Source #
(|-----) :: (a -> State s b) -> Store s a -> b Source #
(|------) :: (a -> State s b) -> Store s a -> b Source #
(|-------) :: (a -> State s b) -> Store s a -> b Source #
(|--------) :: (a -> State s b) -> Store s a -> b Source #
(|---------) :: (a -> State s b) -> Store s a -> b Source #
(--|) :: (Store s a -> b) -> a -> State s b Source #
(---|) :: (Store s a -> b) -> a -> State s b Source #
(----|) :: (Store s a -> b) -> a -> State s b Source #
(-----|) :: (Store s a -> b) -> a -> State s b Source #
(------|) :: (Store s a -> b) -> a -> State s b Source #
(-------|) :: (Store s a -> b) -> a -> State s b Source #
(--------|) :: (Store s a -> b) -> a -> State s b Source #
(---------|) :: (Store s a -> b) -> a -> State s b Source #
type Storable s t = Adaptable (Store s) (->) t Source #
position :: Storable s t => t a -> s Source #
Get current index
look :: Storable s t => s -> a <:= t Source #
Given an index return value
retrofit :: (s -> s) -> Store s ~> Store s Source #
Change index with function