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

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 = UT Covariant Covariant ((->) 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 (UT Covariant Covariant ((->) e :: Type -> Type) u)

Methods

(<$>) :: (a -> b) -> UT Covariant Covariant ((->) e) u a -> UT Covariant Covariant ((->) e) u b

comap :: (a -> b) -> UT Covariant Covariant ((->) e) u a -> UT Covariant Covariant ((->) e) u b

(<$) :: a -> UT Covariant Covariant ((->) e) u b -> UT Covariant Covariant ((->) e) u a

($>) :: UT Covariant Covariant ((->) e) u a -> b -> UT Covariant Covariant ((->) e) u b

void :: UT Covariant Covariant ((->) e) u a -> UT Covariant Covariant ((->) e) u ()

loeb :: UT Covariant Covariant ((->) e) u (a <-| UT Covariant Covariant ((->) e) u) -> UT Covariant Covariant ((->) e) u a

(<&>) :: UT Covariant Covariant ((->) e) u a -> (a -> b) -> UT Covariant Covariant ((->) e) u b

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

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

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

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

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

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

Applicative u => Applicative (UT Covariant Covariant ((->) e :: Type -> Type) u)

Methods

(<*>) :: UT Covariant Covariant ((->) e) u (a -> b) -> UT Covariant Covariant ((->) e) u a -> UT Covariant Covariant ((->) e) u b

apply :: UT Covariant Covariant ((->) e) u (a -> b) -> UT Covariant Covariant ((->) e) u a -> UT Covariant Covariant ((->) e) u b

(*>) :: UT Covariant Covariant ((->) e) u a -> UT Covariant Covariant ((->) e) u b -> UT Covariant Covariant ((->) e) u b

(<*) :: UT Covariant Covariant ((->) e) u a -> UT Covariant Covariant ((->) e) u b -> UT Covariant Covariant ((->) e) u a

forever :: UT Covariant Covariant ((->) e) u a -> UT Covariant Covariant ((->) e) u b

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

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

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

(Semigroup e, Extendable u) => Extendable (UT Covariant Covariant ((->) e :: Type -> Type) u)

Methods

(=>>) :: UT Covariant Covariant ((->) e) u a -> (UT Covariant Covariant ((->) e) u a -> b) -> UT Covariant Covariant ((->) e) u b

(<<=) :: (UT Covariant Covariant ((->) e) u a -> b) -> UT Covariant Covariant ((->) e) u a -> UT Covariant Covariant ((->) e) u b

extend :: (UT Covariant Covariant ((->) e) u a -> b) -> UT Covariant Covariant ((->) e) u a -> UT Covariant Covariant ((->) e) u b

duplicate :: UT Covariant Covariant ((->) e) u a -> (UT Covariant Covariant ((->) e) u :. UT Covariant Covariant ((->) e) u) := a

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

(=>=) :: (UT Covariant Covariant ((->) e) u a -> b) -> (UT Covariant Covariant ((->) e) u b -> c) -> UT Covariant Covariant ((->) e) u a -> c

(Monoid e, Extractable u) => Extractable (UT Covariant Covariant ((->) e :: Type -> Type) u)

Methods

extract :: a <-| UT Covariant Covariant ((->) e) u