Pandora.Paradigm.Inventory.Some.Imprint

Documentation

newtype Imprint e a

Constructors

Imprint (e -> a)

Instances

Semigroup e => Extendable ((->) :: Type -> Type -> Type) (Imprint e)

Defined in Pandora.Paradigm.Inventory.Some.Imprint

Methods

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

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

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

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

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

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

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

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

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

Interpreted ((->) :: Type -> Type -> Type) (Imprint e)

Defined in Pandora.Paradigm.Inventory.Some.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

(<~~~~~~~~~) :: ((->) < Imprint e a) < Primary (Imprint e) a

(<~~~~~~~~) :: ((->) < Imprint e a) < Primary (Imprint e) a

(<~~~~~~~) :: ((->) < Imprint e a) < Primary (Imprint e) a

(<~~~~~~) :: ((->) < Imprint e a) < Primary (Imprint e) a

(<~~~~~) :: ((->) < Imprint e a) < Primary (Imprint e) a

(<~~~~) :: ((->) < Imprint e a) < Primary (Imprint e) a

(<~~~) :: ((->) < Imprint e a) < Primary (Imprint e) a

(<~~) :: ((->) < Imprint e a) < Primary (Imprint e) a

(<~) :: ((->) < Imprint e a) < Primary (Imprint e) a

(=#-) :: (Semigroupoid (->), Interpreted (->) u) => (((->) < Primary (Imprint e) a) < Primary u b) -> ((->) < Imprint e a) < u b

(-#=) :: (Semigroupoid (->), Interpreted (->) u) => (((->) < Imprint e a) < u b) -> ((->) < Primary (Imprint e) a) < Primary u b

(<$=#-) :: (Semigroupoid (->), Covariant (->) (->) j, Interpreted (->) u) => (((->) < Primary (Imprint e) a) < Primary u b) -> (j > Imprint e a) -> (j > u b)

(-#=$>) :: (Covariant (->) (->) j, Interpreted (->) u) => (((->) < Imprint e a) < u b) -> (j > Primary (Imprint e) a) -> (j > Primary u b)

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Imprint e)

Defined in Pandora.Paradigm.Inventory.Some.Imprint

Methods

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

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

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

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

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

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

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

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

(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Imprint e)) => (a -> b) -> Imprint e (u a) -> Imprint e (u b)

(<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Imprint e)) => (a -> b) -> Imprint e (u a) -> Imprint e (u b)

(<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Imprint e)) => (a -> b) -> Imprint e (u a) -> Imprint e (u b)

(<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Imprint e)) => (a -> b) -> Imprint e (u a) -> Imprint e (u b)

(<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Imprint e)) => (a -> b) -> Imprint e (u a) -> Imprint e (u b)

(<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Imprint e)) => (a -> b) -> Imprint e (u a) -> Imprint e (u b)

(<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Imprint e)) => (a -> b) -> Imprint e (u a) -> Imprint e (u b)

(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) (Imprint e)) => (a -> b) -> Imprint e (u (v a)) -> Imprint e (u (v b))

Distributive ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Imprint e)

Defined in Pandora.Paradigm.Inventory.Some.Imprint

Methods

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

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

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

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

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

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

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

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

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

Adjoint ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Accumulator e) (Imprint e)

Defined in Pandora.Paradigm.Inventory

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Contravariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Flip Imprint a)

Defined in Pandora.Paradigm.Inventory.Some.Imprint

Methods

(>-|-) :: (a0 -> b) -> Flip Imprint a b -> Flip Imprint a a0

(>-|--) :: (a0 -> b) -> Flip Imprint a b -> Flip Imprint a a0

(>-|---) :: (a0 -> b) -> Flip Imprint a b -> Flip Imprint a a0

(>-|----) :: (a0 -> b) -> Flip Imprint a b -> Flip Imprint a a0

(>-|-----) :: (a0 -> b) -> Flip Imprint a b -> Flip Imprint a a0

(>-|------) :: (a0 -> b) -> Flip Imprint a b -> Flip Imprint a a0

(>-|-------) :: (a0 -> b) -> Flip Imprint a b -> Flip Imprint a a0

(>-|--------) :: (a0 -> b) -> Flip Imprint a b -> Flip Imprint a a0

(>-|-|-) :: (Contravariant (->) (Betwixt (->) (->)) u, Contravariant (Betwixt (->) (->)) (->) (Flip Imprint a)) => (a0 -> b) -> Flip Imprint a (u a0) -> Flip Imprint a (u b)

type Schematic Comonad (Imprint e)

Defined in Pandora.Paradigm.Inventory.Some.Imprint

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

type Primary (Imprint e) a

Defined in Pandora.Paradigm.Inventory.Some.Imprint

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

type Traceable e t = Adaptable t (->) (Imprint e)

Orphan instances

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

Methods

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

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

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

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

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

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

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

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

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