Pandora.Paradigm.Inventory

Documentation

module Pandora.Paradigm.Inventory.Some

module Pandora.Paradigm.Inventory.Ability

zoom :: forall bg ls u result. Lens u bg ls -> State (u ls) result -> State bg result

overlook :: (Covariant (->) (->) t, Semimonoidal (<--) (:*:) (:*:) t) => State s result -> State (t s) (t result)

(=<>) :: (Pointable available, Stateful src t) => Lens available src tgt -> tgt -> t src

(~<>) :: (Pointable available, Covariant (->) (->) available, Gettable (Lens available), Stateful src t) => Lens available src tgt -> (tgt -> tgt) -> t src

Orphan instances

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

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

Adjoint ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Equipment e) (Provision e)

Methods

(-|) :: (Equipment e a -> b) -> a -> Provision e b

(|-) :: (a -> Provision e b) -> Equipment e a -> b

(|--------) :: (a -> Provision e b) -> Equipment e a -> b

(|-------) :: (a -> Provision e b) -> Equipment e a -> b

(|------) :: (a -> Provision e b) -> Equipment e a -> b

(|-----) :: (a -> Provision e b) -> Equipment e a -> b

(|----) :: (a -> Provision e b) -> Equipment e a -> b

(|---) :: (a -> Provision e b) -> Equipment e a -> b

(|--) :: (a -> Provision e b) -> Equipment e a -> b

(--------|) :: (Equipment e a -> b) -> a -> Provision e b

(-------|) :: (Equipment e a -> b) -> a -> Provision e b

(------|) :: (Equipment e a -> b) -> a -> Provision e b

(-----|) :: (Equipment e a -> b) -> a -> Provision e b

(----|) :: (Equipment e a -> b) -> a -> Provision e b

(---|) :: (Equipment e a -> b) -> a -> Provision e b

(--|) :: (Equipment e a -> b) -> a -> Provision e b

Adjoint ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Accumulator e) (Imprint e)

Methods

(-|) :: (Accumulator e a -> b) -> a -> Imprint e b

(|-) :: (a -> Imprint e b) -> Accumulator e a -> b

(|--------) :: (a -> Imprint e b) -> Accumulator e a -> b

(|-------) :: (a -> Imprint e b) -> Accumulator e a -> b

(|------) :: (a -> Imprint e b) -> Accumulator e a -> b

(|-----) :: (a -> Imprint e b) -> Accumulator e a -> b

(|----) :: (a -> Imprint e b) -> Accumulator e a -> b

(|---) :: (a -> Imprint e b) -> Accumulator e a -> b

(|--) :: (a -> Imprint e b) -> Accumulator e a -> b

(--------|) :: (Accumulator e a -> b) -> a -> Imprint e b

(-------|) :: (Accumulator e a -> b) -> a -> Imprint e b

(------|) :: (Accumulator e a -> b) -> a -> Imprint e b

(-----|) :: (Accumulator e a -> b) -> a -> Imprint e b

(----|) :: (Accumulator e a -> b) -> a -> Imprint e b

(---|) :: (Accumulator e a -> b) -> a -> Imprint e b

(--|) :: (Accumulator e a -> b) -> a -> Imprint e b