Pandora.Paradigm.Inventory.Imprint

Documentation

newtype Imprint e a

Constructors

Imprint (e -> a)

Instances

Covariant (Imprint e)

Defined in Pandora.Paradigm.Inventory.Imprint

Methods

(<$>) :: (a -> b) -> Imprint e a -> Imprint e b

comap :: (a -> b) -> Imprint e a -> Imprint e b

(<$) :: a -> Imprint e b -> Imprint e a

($>) :: Imprint e a -> b -> Imprint e b

void :: Imprint e a -> Imprint e ()

loeb :: Imprint e (a <:= Imprint e) -> Imprint e a

(<&>) :: Imprint e a -> (a -> b) -> Imprint e b

(<$$>) :: Covariant u => (a -> b) -> ((Imprint e :. u) := a) -> (Imprint e :. u) := b

(<$$$>) :: (Covariant u, Covariant v) => (a -> b) -> ((Imprint e :. (u :. v)) := a) -> (Imprint e :. (u :. v)) := b

(<$$$$>) :: (Covariant u, Covariant v, Covariant w) => (a -> b) -> ((Imprint e :. (u :. (v :. w))) := a) -> (Imprint e :. (u :. (v :. w))) := b

(<&&>) :: Covariant u => ((Imprint e :. u) := a) -> (a -> b) -> (Imprint e :. u) := b

(<&&&>) :: (Covariant u, Covariant v) => ((Imprint e :. (u :. v)) := a) -> (a -> b) -> (Imprint e :. (u :. v)) := b

(<&&&&>) :: (Covariant u, Covariant v, Covariant w) => ((Imprint e :. (u :. (v :. w))) := a) -> (a -> b) -> (Imprint e :. (u :. (v :. w))) := b

Distributive (Imprint e)

Defined in Pandora.Paradigm.Inventory.Imprint

Methods

(>>-) :: Covariant u => u a -> (a -> Imprint e b) -> (Imprint e :. u) := b

collect :: Covariant u => (a -> Imprint e b) -> u a -> (Imprint e :. u) := b

distribute :: Covariant u => ((u :. Imprint e) := a) -> (Imprint e :. u) := a

(>>>-) :: (Covariant u, Covariant v) => ((u :. v) := a) -> (a -> Imprint e b) -> (Imprint e :. (u :. v)) := b

(>>>>-) :: (Covariant u, Covariant v, Covariant w) => ((u :. (v :. w)) := a) -> (a -> Imprint e b) -> (Imprint e :. (u :. (v :. w))) := b

(>>>>>-) :: (Covariant u, Covariant v, Covariant w, Covariant j) => ((u :. (v :. (w :. j))) := a) -> (a -> Imprint e b) -> (Imprint e :. (u :. (v :. (w :. j)))) := b

Semigroup e => Extendable (Imprint e)

Defined in Pandora.Paradigm.Inventory.Imprint

Methods

(=>>) :: Imprint e a -> (Imprint e a -> b) -> Imprint e b

(<<=) :: (Imprint e a -> b) -> Imprint e a -> Imprint e b

extend :: (Imprint e a -> b) -> Imprint e a -> Imprint e b

duplicate :: Imprint e a -> (Imprint e :. Imprint e) := a

(=<=) :: (Imprint e b -> c) -> (Imprint e a -> b) -> Imprint e a -> c

(=>=) :: (Imprint e a -> b) -> (Imprint e b -> c) -> Imprint e a -> c

($=>>) :: Covariant u => ((u :. Imprint e) := a) -> (Imprint e a -> b) -> (u :. Imprint e) := b

(<<=$) :: Covariant u => ((u :. Imprint e) := a) -> (Imprint e a -> b) -> (u :. Imprint e) := b

Monoid e => Extractable (Imprint e)

Defined in Pandora.Paradigm.Inventory.Imprint

Methods

extract :: a <:= Imprint e

Interpreted (Imprint e)

Defined in Pandora.Paradigm.Inventory.Imprint

Associated Types

type Primary (Imprint e) a

Methods

run :: Imprint e a -> Primary (Imprint e) a

unite :: Primary (Imprint e) a -> Imprint e a

(||=) :: (Primary (Imprint e) a -> Primary (Imprint e) b) -> Imprint e a -> Imprint e b

(=||) :: (Imprint e a -> Imprint e b) -> Primary (Imprint e) a -> Primary (Imprint e) b

Monoid e => Comonadic (Imprint e)

Defined in Pandora.Paradigm.Inventory.Imprint

Methods

bring :: forall (u :: Type -> Type). Extractable u => (Imprint e :< u) ~> Imprint e

Adjoint (Accumulator e) (Imprint e)

Defined in Pandora.Paradigm.Inventory

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

(-|$) :: Covariant v => v a -> (Accumulator e a -> b) -> v (Imprint e b)

($|-) :: Covariant v => v (Accumulator e a) -> (a -> Imprint e b) -> v b

($$|-) :: (Covariant v, Covariant w) => ((v :. (w :. Accumulator e)) := a) -> (a -> Imprint e b) -> (v :. w) := b

($$$|-) :: (Covariant v, Covariant w, Covariant x) => ((v :. (w :. (x :. Accumulator e))) := a) -> (a -> Imprint e b) -> (v :. (w :. x)) := b

($$$$|-) :: (Covariant v, Covariant w, Covariant x, Covariant y) => ((v :. (w :. (x :. (y :. Accumulator e)))) := a) -> (a -> Imprint e b) -> (v :. (w :. (x :. y))) := b

type Schematic Comonad (Imprint e)

Defined in Pandora.Paradigm.Inventory.Imprint

type Schematic Comonad (Imprint e) = (<.:>) ((->) e :: Type -> Type)

type Primary (Imprint e) a

Defined in Pandora.Paradigm.Inventory.Imprint

type Primary (Imprint e) a = e -> a

type Traceable e t = Adaptable t (Imprint e)

Orphan instances

(Semigroup e, Extendable u) => Extendable (((->) e :: Type -> Type) <.:> u)

Methods

(=>>) :: ((->) e <.:> u) a -> (((->) e <.:> u) a -> b) -> ((->) e <.:> u) b

(<<=) :: (((->) e <.:> u) a -> b) -> ((->) e <.:> u) a -> ((->) e <.:> u) b

extend :: (((->) e <.:> u) a -> b) -> ((->) e <.:> u) a -> ((->) e <.:> u) b

duplicate :: ((->) e <.:> u) a -> (((->) e <.:> u) :. ((->) e <.:> u)) := a

(=<=) :: (((->) e <.:> u) b -> c) -> (((->) e <.:> u) a -> b) -> ((->) e <.:> u) a -> c

(=>=) :: (((->) e <.:> u) a -> b) -> (((->) e <.:> u) b -> c) -> ((->) e <.:> u) a -> c

($=>>) :: Covariant u0 => ((u0 :. ((->) e <.:> u)) := a) -> (((->) e <.:> u) a -> b) -> (u0 :. ((->) e <.:> u)) := b

(<<=$) :: Covariant u0 => ((u0 :. ((->) e <.:> u)) := a) -> (((->) e <.:> u) a -> b) -> (u0 :. ((->) e <.:> u)) := b