joint-0.1.0: Trying to compose non-composable
Control.Joint.Transformer
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 #