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

Bluefin.Internal.DslBuilderEffects

Documentation

newtype DslBuilderEffects h es r Source #

Constructors

MkDslBuilderEffects 

Fields

Instances

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

Defined in Bluefin.Internal.DslBuilderEffects

Methods

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

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

Defined in Bluefin.Internal.DslBuilderEffects

Methods

pure :: a -> DslBuilderEffects h es a

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

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

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

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

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

Defined in Bluefin.Internal.DslBuilderEffects

Methods

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

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

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

Defined in Bluefin.Internal.DslBuilderEffects

Methods

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

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

return :: a -> DslBuilderEffects h es a

useImplDslBuilderEffects :: e <: es => DslBuilderEffects h e r -> DslBuilderEffects h es r Source #

runDslBuilderEffects :: h es -> DslBuilderEffects h es r -> Eff es r Source #

dslBuilderEffects :: (forall e. h e -> Eff (e :& es) r) -> DslBuilderEffects h es r Source #