Safe Haskell | None |
---|---|
Language | Haskell2010 |
Interpretation combinators. Internal.
Synopsis
- interpreting :: forall e r a. FirstOrder e "interpret" => Sem (e ': r) a -> (forall r0 x. e (Sem r0) x -> Sem r x) -> Sem r a
Documentation
interpreting :: forall e r a. FirstOrder e "interpret" => Sem (e ': r) a -> (forall r0 x. e (Sem r0) x -> Sem r x) -> Sem r a Source #
Flipped version of interpret
.