| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
Helic.Interpreter
Description
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.