clash-ghc-1.8.1: Clash: a functional hardware description language - GHC frontend
Copyright(C) 2020-2021 QBayLogic B.V.
2022 Google Inc.
LicenseBSD2 (see the file LICENSE)
MaintainerQBayLogic B.V. <devops@qbaylogic.com>
Safe HaskellSafe-Inferred
LanguageHaskell2010

Clash.GHC.PartialEval.Eval

Description

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.

Synopsis

Documentation

eval :: Term -> Eval Value Source #

Evaluate a term to WHNF.