clash-ghc-1.3.0: CAES Language for Synchronous Hardware
Copyright(C) 2020 QBayLogic B.V.
LicenseBSD2 (see the file LICENSE)
MaintainerQBayLogic B.V. <devops@qbaylogic.com>
Safe HaskellNone
LanguageHaskell2010

Clash.GHC.PartialEval.Quote

Description

This module provides the "quoting" part of the partial evaluator, which traverses a WHNF value, recursively evaluating sub-terms to remove redexes.

Documentation

quote :: Value -> Eval Normal Source #