bluefin-internal-0.3.2.0: The Bluefin effect system, internals
Safe HaskellNone
LanguageHaskell2010

Bluefin.Internal.DslBuilderEffects

Documentation

newtype DslBuilderEffects (h :: Effects -> Type) (es :: Effects) 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 :: forall (e :: Effects) (es :: Effects) (h :: Effects -> Type) r. e :> es => DslBuilderEffects h e r -> DslBuilderEffects h es r Source #

runDslBuilderEffects :: forall h (es :: Effects) r. h es -> DslBuilderEffects h es r -> Eff es r Source #

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