Control.Joint.Base.Reader

Documentation

newtype Reader e a

Constructors

Reader (e -> a)

Instances

Composition (Reader e)

Defined in Control.Joint.Base.Reader

Associated Types

type Primary (Reader e) a :: Type

Methods

run :: Reader e a -> Primary (Reader e) a

Transformer (Reader e)

Defined in Control.Joint.Base.Reader

Associated Types

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

Methods

embed :: Functor u => u ~> Schema (Reader e) u

build :: Applicative u => Reader e ~> Schema (Reader e) u

type Primary (Reader e) a

Defined in Control.Joint.Base.Reader

type Primary (Reader e) a = e -> a

type Schema (Reader e) u

Defined in Control.Joint.Base.Reader

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

Orphan instances

(Applicative u, Monad u) => Monad (TU ((->) e :: Type -> Type) u)

Methods

(>>=) :: TU ((->) e) u a -> (a -> TU ((->) e) u b) -> TU ((->) e) u b

(>>) :: TU ((->) e) u a -> TU ((->) e) u b -> TU ((->) e) u b

return :: a -> TU ((->) e) u a

fail :: String -> TU ((->) e) u a

Functor u => Functor (TU ((->) e :: Type -> Type) u)

Methods

fmap :: (a -> b) -> TU ((->) e) u a -> TU ((->) e) u b

(<$) :: a -> TU ((->) e) u b -> TU ((->) e) u a

Applicative u => Applicative (TU ((->) e :: Type -> Type) u)

Methods

pure :: a -> TU ((->) e) u a

(<*>) :: TU ((->) e) u (a -> b) -> TU ((->) e) u a -> TU ((->) e) u b

liftA2 :: (a -> b -> c) -> TU ((->) e) u a -> TU ((->) e) u b -> TU ((->) e) u c

(*>) :: TU ((->) e) u a -> TU ((->) e) u b -> TU ((->) e) u b

(<*) :: TU ((->) e) u a -> TU ((->) e) u b -> TU ((->) e) u a