GArrowReflect(..),
GArrowCurry(..),
- GArrowApply(..)
+ GArrowApply(..),
+
+ GArrowSTKC(..),
+ GArrowSTLC(..),
+ GArrowPCF(..)
+
) where
import Control.Category
class GArrow g (**) u => GArrowCurry g (**) u (~>) where
ga_curryl :: g (x**y) z -> g x (y~>z)
ga_curryr :: g (x**y) z -> g y (x~>z)
+
+
+
+
+------------------------------------------------------------------------
+-- Commonly Implemented Collections of Classes
+
+--
+-- The simply typed KAPPA calculus; see Hasegawa, __Decomposing Typed
+-- Lambda Calculus into a Couple of Categorical Programming
+-- Languages__, http://dx.doi.org/10.1007/3-540-60164-3_28
+--
+class (GArrowDrop g (**) u,
+ GArrowCopy g (**) u,
+ GArrowSwap g (**) u) =>
+ GArrowSTKC g (**) u
+
+-- The simply typed LAMBDA calculus
+class (GArrowSTKC g (**) u,
+ GArrowCurry g (**) u (~>),
+ GArrowApply g (**) u (~>)) =>
+ GArrowSTLC g (**) u (~>)
+
+-- Programming Language for Computable Functions (w/o integers and booleans)
+class (GArrowSTLC g (**) u (~>),
+ GArrowLoop g (**) u) =>
+ GArrowPCF g (**) u (~>)
+
+
+
+
+
+
+
+
+