joint-0.1.8: Trying to compose non-composable

Safe HaskellSafe
LanguageHaskell2010

Control.Joint.Effects.Reader

Contents

Documentation

newtype Reader e a Source #

Constructors

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

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) Source # 
Instance details

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) Source # 
Instance details

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) Source # 
Instance details

Defined in Control.Joint.Effects.Reader

Associated Types

type Primary (Reader e) a :: Type Source #

Methods

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

Transformer (Reader e) Source # 
Instance details

Defined in Control.Joint.Effects.Reader

Methods

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

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

Completable (Reader e) (State e) Source # 
Instance details

Defined in Control.Joint.Effects.State

Methods

complete :: Reader e ~> State e Source #

type Schema (Reader e) Source # 
Instance details

Defined in Control.Joint.Effects.Reader

type Schema (Reader e) = TU ((->) e :: Type -> Type)
type Primary (Reader e) a Source # 
Instance details

Defined in Control.Joint.Effects.Reader

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

get :: Configured e t => t e Source #

Orphan instances

(Applicative u, Monad u) => Monad (TU ((->) e :: Type -> Type) u) Source # 
Instance details

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) Source # 
Instance details

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) Source # 
Instance details

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 #