Safe Haskell	None
Language	Haskell2010

Bluefin.Internal.DslBuilderEff

Documentation

Constructors

MkDslBuilderEff
Fields unMkDslBuilderEff :: forall (e :: Effects). h e -> Eff (e :& es) r

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 #

Arguments

:: forall (e :: Effects) (es :: Effects) (h :: Effects -> Type) r. e <: es
=> DslBuilderEff h e r
-> DslBuilderEff h es r	͘

Arguments

Arguments

:: forall (e1 :: Effects) (e2 :: Effects) (es :: Effects) h r. (Handle h, e1 <: es, e2 <: es)
=> h e1
-> DslBuilderEff h e2 r
-> Eff es r	͘

Arguments

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