| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
FreeC.Backend.Coq.Converter.Expr
Description
This module contains functions for converting Haskell expressions to Coq.
Synopsis
- convertLiftedExpr :: Expr -> Converter Term
- convertExpr :: Expr -> Converter Term
- convertLiftedAlt :: Alt -> Converter Equation
Documentation
convertLiftedExpr :: Expr -> Converter Term Source #
Converts a lifted IR expression to a Coq term.
convertExpr :: Expr -> Converter Term Source #
Converts a Haskell expression to Coq.
convertLiftedAlt :: Alt -> Converter Equation Source #