joint-0.1.0: Trying to compose non-composable

Safe HaskellSafe
LanguageHaskell2010

Control.Joint.Transformer

Documentation

class Composition t => Transformer t where Source #

Associated Types

type Schema (t :: * -> *) (u :: * -> *) = (r :: * -> *) | r -> t u Source #

Methods

lay :: Functor u => u ~> Schema t u Source #

wrap :: Applicative u => t ~> Schema t u Source #