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

Orphan instances

Adjoint (Accumulator e) (Imprint e)

Methods

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

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

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

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

eta :: a -> (Imprint e :. Accumulator e) := a

epsilon :: ((Accumulator e :. Imprint e) := a) -> a

Adjoint (Store s) (State s)

Methods

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

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

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

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

eta :: a -> (State s :. Store s) := a

epsilon :: ((Store s :. State s) := a) -> a

Adjoint (Equipment e) (Environment e)

Methods

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

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

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

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

eta :: a -> (Environment e :. Equipment e) := a

epsilon :: ((Equipment e :. Environment e) := a) -> a