clash-ghc-1.4.0: Clash: a functional hardware description language - GHC frontend
Copyright(C) 2020 QBayLogic B.V.
LicenseBSD2 (see the file LICENSE)
MaintainerQBayLogic B.V. <devops@qbaylogic.com>
Safe HaskellNone
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
  • eval :: Term -> Eval Value
  • apply :: Value -> Value -> Eval Value
  • applyTy :: Value -> Type -> Eval Value

Documentation

eval :: Term -> Eval Value Source #

Evaluate a term to WHNF.

apply :: Value -> Value -> Eval Value Source #

applyTy :: Value -> Type -> Eval Value Source #