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