Eval package:clash-ghc
This module provides the "evaluation" part of the partial evaluator.
This is implemented in the classic "eval/apply" style, with a variant
of apply for performing type applications.
Call-by-need evaluator based on the evaluator described in:
Maximilian Bolingbroke, Simon Peyton Jones, "Supercompilation by
evaluation", Haskell '10, Baltimore, Maryland, USA.
Evaluate a primitive with the given arguments. See NOTE [Evaluating
primitives] for more information.
The partial evalautor for the GHC front-end. This can be used to
evaluate terms in Clash core to WHNF or NF, using knowledge of GHC
primitives and types. For functions which can use this evaluator, see
Clash.Core.PartialEval.
The partial evaluator for the GHC front-end. For more details about
the implementation see Clash.GHC.PartialEval.Eval for evaluation to
WHNF and Clash.GHC.PartialEval.Quote for quoting to NF.