joint-0.1.1: Trying to compose non-composable

Safe HaskellSafe
LanguageHaskell2010

Control.Joint.Core

Synopsis
  • type (:.) t u a = t (u a)
  • type (:=) t a = t a
  • type (~>) t u = forall a. t a -> u a

Documentation

type (:.) t u a = t (u a) infixr 1 Source #

Functor composition

type (:=) t a = t a infixr 0 Source #

Functor's object

type (~>) t u = forall a. t a -> u a infixr 0 Source #

Natural transformation