joint-0.1.1: Trying to compose non-composable

Safe HaskellSafe
LanguageHaskell2010

Control.Joint.Base.Reader

Documentation

newtype Reader r a Source #

Constructors

Reader (r -> a) 
Instances
Composition (Reader e) Source # 
Instance details

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 #

Transformer (Reader r) Source # 
Instance details

Defined in Control.Joint.Base.Reader

Associated Types

type Schema (Reader r) u = (r :: Type -> Type) Source #

Methods

lay :: Functor u => u ~> Schema (Reader r) u Source #

wrap :: Applicative u => Reader r ~> Schema (Reader r) u Source #

type Primary (Reader e) a Source # 
Instance details

Defined in Control.Joint.Base.Reader

type Primary (Reader e) a = e -> a
type Schema (Reader r) u Source # 
Instance details

Defined in Control.Joint.Base.Reader

type Schema (Reader r) u = TU ((->) r :: Type -> Type) u