Pandora.Paradigm.Inventory.Imprint

Documentation

newtype Imprint e a

Constructors

Imprint (e -> a)

Instances

Interpreted (Imprint e)

Defined in Pandora.Paradigm.Inventory.Imprint

Associated Types

type Primary (Imprint e) a :: Type

Methods

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

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 => (Imprint e a -> b) -> ((u :. Imprint e) := a) -> (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

Monoid e => Comonadic (Imprint e)

Defined in Pandora.Paradigm.Inventory.Imprint

Methods

flick :: Covariant u => (Imprint e :< u) ~> u

bring :: 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

type Schematic Comonad (Imprint e) u

Defined in Pandora.Paradigm.Inventory.Imprint

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

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

Covariant u => Covariant (((->) e :: Type -> Type) <.:> u)

Methods

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

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

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

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

void :: ((->) e <.:> u) a -> ((->) e <.:> u) ()

loeb :: ((->) e <.:> u) (a <-| ((->) e <.:> u)) -> ((->) e <.:> u) a

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

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

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

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

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

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

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

Applicative u => Applicative (((->) e :: Type -> Type) <.:> u)

Methods

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

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

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

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

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

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

(<***>) :: (Applicative u0, Applicative v) => ((((->) e <.:> u) :. (u0 :. v)) := (a -> b)) -> ((((->) e <.:> u) :. (u0 :. v)) := a) -> (((->) e <.:> u) :. (u0 :. v)) := b

(<****>) :: (Applicative u0, Applicative v, Applicative w) => ((((->) e <.:> u) :. (u0 :. (v :. w))) := (a -> b)) -> ((((->) e <.:> u) :. (u0 :. (v :. w))) := a) -> (((->) e <.:> u) :. (u0 :. (v :. w))) := b

(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 => (((->) e <.:> u) a -> b) -> ((u0 :. ((->) e <.:> u)) := a) -> (u0 :. ((->) e <.:> u)) := b

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

(Monoid e, Extractable u) => Extractable (((->) e :: Type -> Type) <.:> u)

Methods

extract :: a <-| ((->) e <.:> u)