pandora-0.3.2: A box of patterns and paradigms
Safe HaskellSafe-Inferred
LanguageHaskell2010

Pandora.Paradigm.Inventory.Store

Documentation

newtype Store p a Source #

Constructors

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

Instances

Instances details
Interpreted (Store p) Source # 
Instance details

Defined in Pandora.Paradigm.Inventory.Store

Associated Types

type Primary (Store p) a Source #

Methods

run :: Store p a -> Primary (Store p) a Source #

Covariant (Store p) Source # 
Instance details

Defined in Pandora.Paradigm.Inventory.Store

Methods

(<$>) :: (a -> b) -> Store p a -> Store p b Source #

comap :: (a -> b) -> Store p a -> Store p b Source #

(<$) :: a -> Store p b -> Store p a Source #

($>) :: Store p a -> b -> Store p b Source #

void :: Store p a -> Store p () Source #

loeb :: Store p (a <-| Store p) -> Store p a Source #

(<&>) :: Store p a -> (a -> b) -> Store p b Source #

(<$$>) :: Covariant u => (a -> b) -> ((Store p :. u) := a) -> (Store p :. u) := b Source #

(<$$$>) :: (Covariant u, Covariant v) => (a -> b) -> ((Store p :. (u :. v)) := a) -> (Store p :. (u :. v)) := b Source #

(<$$$$>) :: (Covariant u, Covariant v, Covariant w) => (a -> b) -> ((Store p :. (u :. (v :. w))) := a) -> (Store p :. (u :. (v :. w))) := b Source #

(<&&>) :: Covariant u => ((Store p :. u) := a) -> (a -> b) -> (Store p :. u) := b Source #

(<&&&>) :: (Covariant u, Covariant v) => ((Store p :. (u :. v)) := a) -> (a -> b) -> (Store p :. (u :. v)) := b Source #

(<&&&&>) :: (Covariant u, Covariant v, Covariant w) => ((Store p :. (u :. (v :. w))) := a) -> (a -> b) -> (Store p :. (u :. (v :. w))) := b Source #

Extendable (Store p) Source # 
Instance details

Defined in Pandora.Paradigm.Inventory.Store

Methods

(=>>) :: Store p a -> (Store p a -> b) -> Store p b Source #

(<<=) :: (Store p a -> b) -> Store p a -> Store p b Source #

extend :: (Store p a -> b) -> Store p a -> Store p b Source #

duplicate :: Store p a -> (Store p :. Store p) := a Source #

(=<=) :: (Store p b -> c) -> (Store p a -> b) -> Store p a -> c Source #

(=>=) :: (Store p a -> b) -> (Store p b -> c) -> Store p a -> c Source #

($=>>) :: Covariant u => (Store p a -> b) -> ((u :. Store p) := a) -> (u :. Store p) := b Source #

(<<=$) :: Covariant u => ((u :. Store p) := a) -> (Store p a -> b) -> (u :. Store p) := b Source #

Extractable (Store p) Source # 
Instance details

Defined in Pandora.Paradigm.Inventory.Store

Methods

extract :: a <-| Store p Source #

Comonad (Store p) Source # 
Instance details

Defined in Pandora.Paradigm.Inventory.Store

Comonadic (Store p) Source # 
Instance details

Defined in Pandora.Paradigm.Inventory.Store

Methods

bring :: forall (u :: Type -> Type). Extractable u => (Store p :< u) ~> Store p Source #

Adjoint (Store s) (State s) Source # 
Instance details

Defined in Pandora.Paradigm.Inventory

Methods

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

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

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

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

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

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

type Schematic Comonad (Store p) Source # 
Instance details

Defined in Pandora.Paradigm.Inventory.Store

type Schematic Comonad (Store p) = (:*:) p <:<.>:> ((->) p :: Type -> Type)
type Primary (Store p) a Source # 
Instance details

Defined in Pandora.Paradigm.Inventory.Store

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

type Storable s x = Adaptable x (Store s) Source #

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

access :: Storable s t => s -> a <-| t Source #

retrofit :: (p -> p) -> Store p ~> Store p Source #

Orphan instances

Covariant u => Covariant (((:*:) p <:<.>:> ((->) p :: Type -> Type)) := u) Source # 
Instance details

Methods

(<$>) :: (a -> b) -> (((:*:) p <:<.>:> (->) p) := u) a -> (((:*:) p <:<.>:> (->) p) := u) b Source #

comap :: (a -> b) -> (((:*:) p <:<.>:> (->) p) := u) a -> (((:*:) p <:<.>:> (->) p) := u) b Source #

(<$) :: a -> (((:*:) p <:<.>:> (->) p) := u) b -> (((:*:) p <:<.>:> (->) p) := u) a Source #

($>) :: (((:*:) p <:<.>:> (->) p) := u) a -> b -> (((:*:) p <:<.>:> (->) p) := u) b Source #

void :: (((:*:) p <:<.>:> (->) p) := u) a -> (((:*:) p <:<.>:> (->) p) := u) () Source #

loeb :: (((:*:) p <:<.>:> (->) p) := u) (a <-| (((:*:) p <:<.>:> (->) p) := u)) -> (((:*:) p <:<.>:> (->) p) := u) a Source #

(<&>) :: (((:*:) p <:<.>:> (->) p) := u) a -> (a -> b) -> (((:*:) p <:<.>:> (->) p) := u) b Source #

(<$$>) :: Covariant u0 => (a -> b) -> (((((:*:) p <:<.>:> (->) p) := u) :. u0) := a) -> ((((:*:) p <:<.>:> (->) p) := u) :. u0) := b Source #

(<$$$>) :: (Covariant u0, Covariant v) => (a -> b) -> (((((:*:) p <:<.>:> (->) p) := u) :. (u0 :. v)) := a) -> ((((:*:) p <:<.>:> (->) p) := u) :. (u0 :. v)) := b Source #

(<$$$$>) :: (Covariant u0, Covariant v, Covariant w) => (a -> b) -> (((((:*:) p <:<.>:> (->) p) := u) :. (u0 :. (v :. w))) := a) -> ((((:*:) p <:<.>:> (->) p) := u) :. (u0 :. (v :. w))) := b Source #

(<&&>) :: Covariant u0 => (((((:*:) p <:<.>:> (->) p) := u) :. u0) := a) -> (a -> b) -> ((((:*:) p <:<.>:> (->) p) := u) :. u0) := b Source #

(<&&&>) :: (Covariant u0, Covariant v) => (((((:*:) p <:<.>:> (->) p) := u) :. (u0 :. v)) := a) -> (a -> b) -> ((((:*:) p <:<.>:> (->) p) := u) :. (u0 :. v)) := b Source #

(<&&&&>) :: (Covariant u0, Covariant v, Covariant w) => (((((:*:) p <:<.>:> (->) p) := u) :. (u0 :. (v :. w))) := a) -> (a -> b) -> ((((:*:) p <:<.>:> (->) p) := u) :. (u0 :. (v :. w))) := b Source #

Extendable u => Extendable (((:*:) p <:<.>:> ((->) p :: Type -> Type)) := u) Source # 
Instance details

Methods

(=>>) :: (((:*:) p <:<.>:> (->) p) := u) a -> ((((:*:) p <:<.>:> (->) p) := u) a -> b) -> (((:*:) p <:<.>:> (->) p) := u) b Source #

(<<=) :: ((((:*:) p <:<.>:> (->) p) := u) a -> b) -> (((:*:) p <:<.>:> (->) p) := u) a -> (((:*:) p <:<.>:> (->) p) := u) b Source #

extend :: ((((:*:) p <:<.>:> (->) p) := u) a -> b) -> (((:*:) p <:<.>:> (->) p) := u) a -> (((:*:) p <:<.>:> (->) p) := u) b Source #

duplicate :: (((:*:) p <:<.>:> (->) p) := u) a -> ((((:*:) p <:<.>:> (->) p) := u) :. (((:*:) p <:<.>:> (->) p) := u)) := a Source #

(=<=) :: ((((:*:) p <:<.>:> (->) p) := u) b -> c) -> ((((:*:) p <:<.>:> (->) p) := u) a -> b) -> (((:*:) p <:<.>:> (->) p) := u) a -> c Source #

(=>=) :: ((((:*:) p <:<.>:> (->) p) := u) a -> b) -> ((((:*:) p <:<.>:> (->) p) := u) b -> c) -> (((:*:) p <:<.>:> (->) p) := u) a -> c Source #

($=>>) :: Covariant u0 => ((((:*:) p <:<.>:> (->) p) := u) a -> b) -> ((u0 :. (((:*:) p <:<.>:> (->) p) := u)) := a) -> (u0 :. (((:*:) p <:<.>:> (->) p) := u)) := b Source #

(<<=$) :: Covariant u0 => ((u0 :. (((:*:) p <:<.>:> (->) p) := u)) := a) -> ((((:*:) p <:<.>:> (->) p) := u) a -> b) -> (u0 :. (((:*:) p <:<.>:> (->) p) := u)) := b Source #

Extractable u => Extractable (((:*:) p <:<.>:> ((->) p :: Type -> Type)) := u) Source # 
Instance details

Methods

extract :: a <-| (((:*:) p <:<.>:> (->) p) := u) Source #