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

Interpreted (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 ~> (Reader e :> u)

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

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

Adaptable (Reader e) (State e)

Defined in Control.Joint.Effects.State

Methods

adapt :: Reader e ~> State e

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

type Configured e = Liftable (Reader e)

get :: Configured e t => t 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