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.Equivalence

module Pandora.Paradigm.Primary.Functor.Fix

branches :: Maybe a -> Maybe a -> Wye a

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