Pandora.Paradigm.Primary

Documentation

module Pandora.Paradigm.Primary.Object

module Pandora.Paradigm.Primary.Functor

module Pandora.Paradigm.Primary.Transformer

module Pandora.Paradigm.Primary.Linear

type family Simplification (t :: * -> *) (a :: *) where ...

Equations

Simplification Exactly a = a

Simplification (TU _ _ t u) a = (t :. u) > a

Simplification (UT _ _ t u) a = (u :. t) > a

Simplification (TUT _ _ _ t t' u) a = (t :. (u :. t')) > a

Simplification (T_U _ _ p t u) a = p (t a) (u a)

Simplification t a = t a

Orphan instances

Adjoint ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Flip (:*:) s) ((->) s :: Type -> Type)

Methods

(-|) :: (Flip (:*:) s a -> b) -> a -> (s -> b)

(|-) :: (a -> (s -> b)) -> Flip (:*:) s a -> b

(|--------) :: (a -> (s -> b)) -> Flip (:*:) s a -> b

(|-------) :: (a -> (s -> b)) -> Flip (:*:) s a -> b

(|------) :: (a -> (s -> b)) -> Flip (:*:) s a -> b

(|-----) :: (a -> (s -> b)) -> Flip (:*:) s a -> b

(|----) :: (a -> (s -> b)) -> Flip (:*:) s a -> b

(|---) :: (a -> (s -> b)) -> Flip (:*:) s a -> b

(|--) :: (a -> (s -> b)) -> Flip (:*:) s a -> b

(--------|) :: (Flip (:*:) s a -> b) -> a -> (s -> b)

(-------|) :: (Flip (:*:) s a -> b) -> a -> (s -> b)

(------|) :: (Flip (:*:) s a -> b) -> a -> (s -> b)

(-----|) :: (Flip (:*:) s a -> b) -> a -> (s -> b)

(----|) :: (Flip (:*:) s a -> b) -> a -> (s -> b)

(---|) :: (Flip (:*:) s a -> b) -> a -> (s -> b)

(--|) :: (Flip (:*:) s a -> b) -> a -> (s -> b)