joint-0.1.1: Trying to compose non-composable
Control.Joint.Base.Maybe
Contents
Associated Types
type Primary Maybe a :: Type Source #
Methods
unwrap :: Maybe a -> Primary Maybe a Source #
type Schema Maybe u = (r :: Type -> Type) Source #
lay :: Functor u => u ~> Schema Maybe u Source #
wrap :: Applicative u => Maybe ~> Schema Maybe u Source #