bluefin-internal-0.8.0.0: The Bluefin effect system, internals
Safe HaskellSafe-Inferred
LanguageHaskell2010

Bluefin.Internal.DslBuilderEff

Documentation

newtype DslBuilderEff h es r Source #

Constructors

MkDslBuilderEff 

Fields

Instances

Instances details
e <: es => OneWayCoercible (DslBuilderEff h e r :: Type) (DslBuilderEff h es r :: Type) Source # 
Instance details

Defined in Bluefin.Internal.DslBuilderEff

Methods

oneWayCoercibleImpl :: OneWayCoercibleD (DslBuilderEff h e r) (DslBuilderEff h es r) Source #

Handle h => Applicative (DslBuilderEff h es) Source # 
Instance details

Defined in Bluefin.Internal.DslBuilderEff

Methods

pure :: a -> DslBuilderEff h es a

(<*>) :: DslBuilderEff h es (a -> b) -> DslBuilderEff h es a -> DslBuilderEff h es b

liftA2 :: (a -> b -> c) -> DslBuilderEff h es a -> DslBuilderEff h es b -> DslBuilderEff h es c

(*>) :: DslBuilderEff h es a -> DslBuilderEff h es b -> DslBuilderEff h es b

(<*) :: DslBuilderEff h es a -> DslBuilderEff h es b -> DslBuilderEff h es a

Handle h => Functor (DslBuilderEff h es) Source # 
Instance details

Defined in Bluefin.Internal.DslBuilderEff

Methods

fmap :: (a -> b) -> DslBuilderEff h es a -> DslBuilderEff h es b

(<$) :: a -> DslBuilderEff h es b -> DslBuilderEff h es a

Handle h => Monad (DslBuilderEff h es) Source # 
Instance details

Defined in Bluefin.Internal.DslBuilderEff

Methods

(>>=) :: DslBuilderEff h es a -> (a -> DslBuilderEff h es b) -> DslBuilderEff h es b

(>>) :: DslBuilderEff h es a -> DslBuilderEff h es b -> DslBuilderEff h es b

return :: a -> DslBuilderEff h es a

useImplDslBuilderEff Source #

Arguments

:: e <: es 
=> DslBuilderEff h e r 
-> DslBuilderEff h es r

͘

runDslBuilderEff Source #

Arguments

:: h es 
-> DslBuilderEff h es r 
-> Eff es r

͘

dslBuilderEff Source #

Arguments

:: (forall e. h e -> Eff (e :& es) r) 
-> DslBuilderEff h es r

͘