Pandora.Paradigm.Schemes.UT

Documentation

newtype UT ct cu t u a

Constructors

UT ((u :. t) := a)

Instances

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

Defined in Pandora.Paradigm.Inventory.Imprint

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

Covariant u => Covariant ((:*:) e <.:> u)

Defined in Pandora.Paradigm.Inventory.Accumulator

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

(Semigroup e, Pointable u, Bindable u) => Bindable ((:*:) e <.:> u)

Defined in Pandora.Paradigm.Inventory.Accumulator

Methods

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

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

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

join :: ((((:*:) e <.:> u) :. ((:*:) e <.:> u)) := a) -> ((:*:) e <.:> u) a

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

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

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

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

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

Defined in Pandora.Paradigm.Inventory.Imprint

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, Applicative u) => Applicative ((:*:) e <.:> u)

Defined in Pandora.Paradigm.Inventory.Accumulator

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)

Defined in Pandora.Paradigm.Inventory.Imprint

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

(Pointable u, Monoid e) => Pointable ((:*:) e <.:> u)

Defined in Pandora.Paradigm.Inventory.Accumulator

Methods

point :: a |-> ((:*:) e <.:> u)

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

Defined in Pandora.Paradigm.Inventory.Imprint

Methods

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

(Covariant (t <.:> v), Covariant (w <:.> u), Adjoint v u, Adjoint t w) => Adjoint (t <.:> v) (w <:.> u)

Defined in Pandora.Paradigm.Schemes

Methods

(-|) :: a -> ((t <.:> v) a -> b) -> (w <:.> u) b

(|-) :: (t <.:> v) a -> (a -> (w <:.> u) b) -> b

phi :: ((t <.:> v) a -> b) -> a -> (w <:.> u) b

psi :: (a -> (w <:.> u) b) -> (t <.:> v) a -> b

eta :: a -> ((w <:.> u) :. (t <.:> v)) := a

epsilon :: (((t <.:> v) :. (w <:.> u)) := a) -> a

(Covariant (t <.:> v), Covariant (w <.:> u), Adjoint t u, Adjoint v w) => Adjoint (t <.:> v) (w <.:> u)

Defined in Pandora.Paradigm.Schemes

Methods

(-|) :: a -> ((t <.:> v) a -> b) -> (w <.:> u) b

(|-) :: (t <.:> v) a -> (a -> (w <.:> u) b) -> b

phi :: ((t <.:> v) a -> b) -> a -> (w <.:> u) b

psi :: (a -> (w <.:> u) b) -> (t <.:> v) a -> b

eta :: a -> ((w <.:> u) :. (t <.:> v)) := a

epsilon :: (((t <.:> v) :. (w <.:> u)) := a) -> a

(Covariant (v <:.> t), Covariant (w <.:> u), Adjoint t u, Adjoint v w) => Adjoint (v <:.> t) (w <.:> u)

Defined in Pandora.Paradigm.Schemes

Methods

(-|) :: a -> ((v <:.> t) a -> b) -> (w <.:> u) b

(|-) :: (v <:.> t) a -> (a -> (w <.:> u) b) -> b

phi :: ((v <:.> t) a -> b) -> a -> (w <.:> u) b

psi :: (a -> (w <.:> u) b) -> (v <:.> t) a -> b

eta :: a -> ((w <.:> u) :. (v <:.> t)) := a

epsilon :: (((v <:.> t) :. (w <.:> u)) := a) -> a

Pointable t => Liftable (UT Covariant Covariant t)

Defined in Pandora.Paradigm.Schemes.UT

Methods

lift :: Covariant u => u ~> UT Covariant Covariant t u

Extractable t => Lowerable (UT Covariant Covariant t)

Defined in Pandora.Paradigm.Schemes.UT

Methods

lower :: Covariant u => UT Covariant Covariant t u ~> u

Interpreted (UT ct cu t u)

Defined in Pandora.Paradigm.Schemes.UT

Associated Types

type Primary (UT ct cu t u) a :: Type

Methods

run :: UT ct cu t u a -> Primary (UT ct cu t u) a

Covariant u => Covariant (UT Covariant Covariant Maybe u)

Defined in Pandora.Paradigm.Primary.Functor.Maybe

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

Covariant u => Covariant (UT Covariant Covariant (Conclusion e) u)

Defined in Pandora.Paradigm.Primary.Functor.Conclusion

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

(Pointable u, Bindable u) => Bindable (UT Covariant Covariant Maybe u)

Defined in Pandora.Paradigm.Primary.Functor.Maybe

Methods

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

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

bind :: (a -> UT Covariant Covariant Maybe u b) -> UT Covariant Covariant Maybe u a -> UT Covariant Covariant Maybe u b

join :: ((UT Covariant Covariant Maybe u :. UT Covariant Covariant Maybe u) := a) -> UT Covariant Covariant Maybe u a

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

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

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

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

(Pointable u, Bindable u) => Bindable (UT Covariant Covariant (Conclusion e) u)

Defined in Pandora.Paradigm.Primary.Functor.Conclusion

Methods

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

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

bind :: (a -> UT Covariant Covariant (Conclusion e) u b) -> UT Covariant Covariant (Conclusion e) u a -> UT Covariant Covariant (Conclusion e) u b

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

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

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

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

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

Applicative u => Applicative (UT Covariant Covariant Maybe u)

Defined in Pandora.Paradigm.Primary.Functor.Maybe

Methods

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

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

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

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

forever :: UT Covariant Covariant Maybe u a -> UT Covariant Covariant Maybe u b

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

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

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

Applicative u => Applicative (UT Covariant Covariant (Conclusion e) u)

Defined in Pandora.Paradigm.Primary.Functor.Conclusion

Methods

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

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

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

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

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

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

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

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

Pointable u => Pointable (UT Covariant Covariant Maybe u)

Defined in Pandora.Paradigm.Primary.Functor.Maybe

Methods

point :: a |-> UT Covariant Covariant Maybe u

Pointable u => Pointable (UT Covariant Covariant (Conclusion e) u)

Defined in Pandora.Paradigm.Primary.Functor.Conclusion

Methods

point :: a |-> UT Covariant Covariant (Conclusion e) u

Monad u => Monad (UT Covariant Covariant Maybe u)

Defined in Pandora.Paradigm.Primary.Functor.Maybe

Monad u => Monad (UT Covariant Covariant (Conclusion e) u)

Defined in Pandora.Paradigm.Primary.Functor.Conclusion

type Primary (UT ct cu t u) a

Defined in Pandora.Paradigm.Schemes.UT

type Primary (UT ct cu t u) a = (u :. t) := a

type (<.:>) = UT Covariant Covariant

type (>.:>) = UT Contravariant Covariant

type (<.:<) = UT Covariant Contravariant

type (>.:<) = UT Contravariant Contravariant