Pandora.Paradigm.Inventory.Imprint

Documentation

newtype Imprint e a

Constructors

Imprint (e -> a)

Instances

Divariant Imprint ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Inventory.Imprint

Methods

(>->) :: (a -> b) -> (c -> d) -> Imprint b c -> Imprint a d

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

(.#..) :: (Imprint e ~ v a, Category v) => v c d -> ((v a :. v b) := c) -> (v a :. v b) := d

(.#...) :: (Imprint e ~ v a, Imprint e ~ v b, Category v, Covariant (v a), Covariant (v b)) => v d e0 -> ((v a :. (v b :. v c)) := d) -> (v a :. (v b :. v c)) := e0

(.#....) :: (Imprint e ~ v a, Imprint e ~ v b, Imprint e ~ v c, Category v, Covariant (v a), Covariant (v b), Covariant (v c)) => v e0 f -> ((v a :. (v b :. (v c :. v d))) := e0) -> (v a :. (v b :. (v c :. v d))) := f

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

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

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

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

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

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

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

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

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

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

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

(<$$$||=) :: (Covariant j, Covariant k, Covariant l, Interpreted u) => (Primary (Imprint e) a -> Primary u b) -> ((j :. (k :. l)) := Imprint e a) -> (j :. (k :. l)) := u b

(<$$$$||=) :: (Covariant j, Covariant k, Covariant l, Covariant m, Interpreted u) => (Primary (Imprint e) a -> Primary u b) -> ((j :. (k :. (l :. m))) := Imprint e a) -> (j :. (k :. (l :. m))) := u b

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

(=||$$>) :: (Covariant j, Covariant k, Interpreted u) => (Imprint e a -> u b) -> ((j :. k) := Primary (Imprint e) a) -> (j :. k) := Primary u b

(=||$$$>) :: (Covariant j, Covariant k, Covariant l, Interpreted u) => (Imprint e a -> u b) -> ((j :. (k :. l)) := Primary (Imprint e) a) -> (j :. (k :. l)) := Primary u b

(=||$$$$>) :: (Covariant j, Covariant k, Covariant l, Covariant m, Interpreted u) => (Imprint e a -> u b) -> ((j :. (k :. (l :. m))) := Primary (Imprint e) a) -> (j :. (k :. (l :. m))) := Primary u 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) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Inventory

Methods

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

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

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

Defined in Pandora.Paradigm.Inventory.Imprint

Methods

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

Monoid e => Extractable (Imprint e) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Inventory.Imprint

Methods

extract :: Imprint e a -> a

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

Defined in Pandora.Paradigm.Inventory.Imprint

Methods

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

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

Defined in Pandora.Paradigm.Inventory.Imprint

Methods

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

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

Defined in Pandora.Paradigm.Inventory.Imprint

Methods

(->$<-) :: (a0 -> b) -> Flip Imprint a b -> Flip Imprint a a0

type Primary (Imprint e) a

Defined in Pandora.Paradigm.Inventory.Imprint

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

type Schematic Comonad (Imprint e)

Defined in Pandora.Paradigm.Inventory.Imprint

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

type Traceable e t = Adaptable t (Imprint e)

Orphan instances

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

Methods

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