Control.Joint.Effects.Reader

Documentation

newtype Reader e a

Constructors

Reader (e -> a)

Instances

Monad (Reader e)

Defined in Control.Joint.Effects.Reader

Methods

(>>=) :: Reader e a -> (a -> Reader e b) -> Reader e b

(>>) :: Reader e a -> Reader e b -> Reader e b

return :: a -> Reader e a

fail :: String -> Reader e a

Functor (Reader e)

Defined in Control.Joint.Effects.Reader

Methods

fmap :: (a -> b) -> Reader e a -> Reader e b

(<$) :: a -> Reader e b -> Reader e a

Applicative (Reader e)

Defined in Control.Joint.Effects.Reader

Methods

pure :: a -> Reader e a

(<*>) :: Reader e (a -> b) -> Reader e a -> Reader e b

liftA2 :: (a -> b -> c) -> Reader e a -> Reader e b -> Reader e c

(*>) :: Reader e a -> Reader e b -> Reader e b

(<*) :: Reader e a -> Reader e b -> Reader e a

Composition (Reader e)

Defined in Control.Joint.Effects.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.Effects.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

unite :: Primary (Schema (Reader e) u) a -> Schema (Reader e) u a

Modulator (Reader e)

Defined in Control.Joint.Effects.Reader

Methods

(-<$>-) :: (u a -> v b) -> Schema (Reader e) u a -> Schema (Reader e) v b

Liftable (Reader e) (State e)

Defined in Control.Joint.Effects.State

Methods

lift :: Reader e a -> State e a

Liftable (Reader e) ((->) e :: Type -> Type)

Defined in Control.Joint.Effects.Reader

Methods

lift :: Reader e a -> e -> a

type Primary (Reader e) a

Defined in Control.Joint.Effects.Reader

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

type Schema (Reader e) u

Defined in Control.Joint.Effects.Reader

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

ask :: Reader e e

type Configured e = Liftable (Reader e)

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