Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
class ExoFunctor c1 c2 where Source #
exomap :: (ExoCategoryC c1 a b, ExoCategoryC c2 a b) => ExoCategoryT c1 a b -> ExoCategoryT c2 a b Source #
ExoFunctor c c Source # | |
ExoFunctor c1 c2 => ExoFunctor c1 (Identity c2) Source # | |
ExoFunctor c1 c2 => ExoFunctor (Identity c1) c2 Source # | |
ExoFunctor c1 c2 => ExoFunctor (Identity c1) (Identity c2) Source # | |
(ExoFunctor p1 FunctionP, ExoFunctor p2 FunctionP) => ExoFunctor (p1, p2) FunctionP Source # | |
ExoFunctor p FunctionP => ExoFunctor (FunctorCategoryP (BasicFunctorP (* -> *) []) p) FunctionP Source # | |
ExoFunctor p FunctionP => ExoFunctor (FunctorCategoryP (BasicFunctorP (* -> *) Maybe) p) FunctionP Source # | |
(ExoFunctor p1 FunctionP, ExoFunctor p2 FunctionP, ExoFunctor p3 FunctionP) => ExoFunctor (p1, p2, p3) FunctionP Source # | |
(ExoFunctor p1 FunctionP, ExoFunctor p2 FunctionP, ExoFunctor p3 FunctionP, ExoFunctor p4 FunctionP) => ExoFunctor (p1, p2, p3, p4) FunctionP Source # | |
(ExoFunctor p1 FunctionP, ExoFunctor p2 FunctionP, ExoFunctor p3 FunctionP, ExoFunctor p4 FunctionP, ExoFunctor p5 FunctionP) => ExoFunctor (p1, p2, p3, p4, p5) FunctionP Source # | |
($) :: (ExoFunctor c1 c2, ExoCategoryC c1 a b, ExoCategoryC c2 a b) => ExoCategoryT c1 a b -> ExoCategoryT c2 a b infixr 0 Source #
($!) :: (ExoFunctor c1 FunctionP, ExoCategoryC c1 a b) => ExoCategoryT c1 a b -> a -> b infixr 0 Source #