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