Pandora.Paradigm.Inventory

Documentation

module Pandora.Paradigm.Inventory.Accumulator

module Pandora.Paradigm.Inventory.Environment

module Pandora.Paradigm.Inventory.Equipment

module Pandora.Paradigm.Inventory.Imprint

module Pandora.Paradigm.Inventory.State

module Pandora.Paradigm.Inventory.Store

module Pandora.Paradigm.Inventory.Optics

zoom :: Stateful bg t => Lens Identity bg ls -> State ls ~> t

magnify :: forall bg ls t. (Accessible ls bg, Stateful bg t) => t ls

(=<>) :: Stateful src t => Lens mode src tgt -> mode tgt -> t src

(~<>) :: Stateful src t => Lens mode src tgt -> (mode tgt -> mode tgt) -> t src

adjust :: forall bg ls t. (Accessible ls bg, Stateful bg t) => (ls -> ls) -> t ls

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

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

Methods

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

(|-) :: (a -> Environment e b) -> Equipment e a -> 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