Pandora.Paradigm.Primary.Functor

Documentation

module Pandora.Paradigm.Primary.Functor.Identity

module Pandora.Paradigm.Primary.Functor.Constant

module Pandora.Paradigm.Primary.Functor.Delta

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

note :: e -> Maybe ~> Conclusion e

hush :: Conclusion e ~> Maybe

left :: Wye ~> Maybe

right :: Wye ~> Maybe

this :: These e ~> Maybe

that :: These e a -> Maybe e

here :: Wedge e a -> Maybe e

there :: Wedge e ~> Maybe

branches :: Maybe a -> Maybe a -> Wye 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