Pandora.Paradigm.Primary.Functor

Documentation

module Pandora.Paradigm.Primary.Functor.Function

module Pandora.Paradigm.Primary.Functor.Identity

module Pandora.Paradigm.Primary.Functor.Constant

module Pandora.Paradigm.Primary.Functor.Product

module Pandora.Paradigm.Primary.Functor.Tagged

module Pandora.Paradigm.Primary.Functor.Proxy

module Pandora.Paradigm.Primary.Functor.Endo

module Pandora.Paradigm.Primary.Functor.Maybe

module Pandora.Paradigm.Primary.Functor.Conclusion

module Pandora.Paradigm.Primary.Functor.Edges

module Pandora.Paradigm.Primary.Functor.Wye

module Pandora.Paradigm.Primary.Functor.Wedge

module Pandora.Paradigm.Primary.Functor.Validation

module Pandora.Paradigm.Primary.Functor.These

module Pandora.Paradigm.Primary.Functor.Predicate

module Pandora.Paradigm.Primary.Functor.Convergence

module Pandora.Paradigm.Primary.Functor.Fix

type Equivalence = Convergence Boolean

type Comparison = Convergence Ordering

match :: Predicate a -> (a -> r) -> a -> r -> r :*: a

Orphan instances

Adjoint (Product s) ((->) s :: Type -> Type)

Methods

(-|) :: a -> (Product s a -> b) -> s -> b

(|-) :: Product s a -> (a -> s -> b) -> b

phi :: (Product s a -> b) -> a -> s -> b

psi :: (a -> s -> b) -> Product s a -> b

eta :: a -> ((->) s :. Product s) := a

epsilon :: ((Product s :. (->) s) := a) -> a

(-|$) :: Covariant v => v a -> (Product s a -> b) -> v (s -> b)

($|-) :: Covariant v => v (Product s a) -> (a -> s -> b) -> v b

($$|-) :: (Covariant v, Covariant w) => ((v :. (w :. Product s)) := a) -> (a -> s -> b) -> (v :. w) := b

($$$|-) :: (Covariant v, Covariant w, Covariant x) => ((v :. (w :. (x :. Product s))) := a) -> (a -> s -> b) -> (v :. (w :. x)) := b

($$$$|-) :: (Covariant v, Covariant w, Covariant x, Covariant y) => ((v :. (w :. (x :. (y :. Product s)))) := a) -> (a -> s -> b) -> (v :. (w :. (x :. y))) := b