Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
type EffectUnion es fs = (KnownList es, Member (Union es) fs, es ~ UnionType fs) Source
Represents a union of the list of type constructors in es
parameterized
by a
. As an effect, it represents the union of each type constructor's
corresponding effect.
runUnion :: KnownList es => Effect (Union es : fs) a -> Effect (es ++ fs) a Source
Flattens a nested list of effects.
nest :: EffectUnion es fs => Effect es a -> Effect fs a Source
Nests an effect with another.
A 'known list' is a type level list who's size is known at compile time.
size