Safe Haskell	None
Language	Haskell2010

Bluefin.Internal.DslBuilder

Documentation

newtype Forall (f :: k -> k1 -> Type) (r :: k1) Source #

Constructors

MkForall
Fields unForall :: forall (es :: k). f es r

Instances details

(forall (es :: k). Applicative (f es)) => Applicative (Forall f) Source #
Instance details Defined in Bluefin.Internal.DslBuilder Methods pure :: a -> Forall f a # (<>) :: Forall f (a -> b) -> Forall f a -> Forall f b # liftA2 :: (a -> b -> c) -> Forall f a -> Forall f b -> Forall f c # (>) :: Forall f a -> Forall f b -> Forall f b # (<*) :: Forall f a -> Forall f b -> Forall f a #
(forall (es :: k). Functor (f es)) => Functor (Forall f) Source #
Instance details Defined in Bluefin.Internal.DslBuilder Methods fmap :: (a -> b) -> Forall f a -> Forall f b # (<$) :: a -> Forall f b -> Forall f a #
(forall (es :: k). Monad (f es)) => Monad (Forall f) Source #
Instance details Defined in Bluefin.Internal.DslBuilder Methods (>>=) :: Forall f a -> (a -> Forall f b) -> Forall f b # (>>) :: Forall f a -> Forall f b -> Forall f b # return :: a -> Forall f a #

mkForall :: forall {k1} {k2} f (r :: k2). (forall (es :: k1). f es r) -> Forall f r Source #

Constructors

MkDslBuilder
Fields unMkDslBuilder :: Forall (DslBuilderEffects h) r

Instances details

Handle h => Applicative (DslBuilder h) Source #
Instance details Defined in Bluefin.Internal.DslBuilder Methods pure :: a -> DslBuilder h a # (<>) :: DslBuilder h (a -> b) -> DslBuilder h a -> DslBuilder h b # liftA2 :: (a -> b -> c) -> DslBuilder h a -> DslBuilder h b -> DslBuilder h c # (>) :: DslBuilder h a -> DslBuilder h b -> DslBuilder h b # (<*) :: DslBuilder h a -> DslBuilder h b -> DslBuilder h a #
Handle h => Functor (DslBuilder h) Source #
Instance details Defined in Bluefin.Internal.DslBuilder Methods fmap :: (a -> b) -> DslBuilder h a -> DslBuilder h b # (<$) :: a -> DslBuilder h b -> DslBuilder h a #
Handle h => Monad (DslBuilder h) Source #
Instance details Defined in Bluefin.Internal.DslBuilder Methods (>>=) :: DslBuilder h a -> (a -> DslBuilder h b) -> DslBuilder h b # (>>) :: DslBuilder h a -> DslBuilder h b -> DslBuilder h b # return :: a -> DslBuilder h a #

runDslBuilder :: forall h (es :: Effects) r. Handle h => h es -> DslBuilder h r -> Eff es r Source #

dslBuilder :: (forall (e :: Effects). h e -> Eff e r) -> DslBuilder h r Source #