Control.Joint.Base.Configured

Documentation

newtype Configured e a

Constructors

Configured (e -> a)

Instances

Composition (Configured e)

Defined in Control.Joint.Base.Configured

Associated Types

type Primary (Configured e) a :: Type

Methods

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

Transformer (Configured e)

Defined in Control.Joint.Base.Configured

Associated Types

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

Methods

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

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

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

Modulator (Configured e)

Defined in Control.Joint.Base.Configured

Methods

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

type Primary (Configured e) a

Defined in Control.Joint.Base.Configured

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

type Schema (Configured e) u

Defined in Control.Joint.Base.Configured

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

ask :: Configured e 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