glambda-1.0: A simply typed lambda calculus interpreter, written with GADTs

Copyright(C) 2015 Richard Eisenberg
LicenseBSD-style (see LICENSE)
MaintainerRichard Eisenberg (eir@cis.upenn.edu)
Stabilityexperimental
Safe HaskellNone
LanguageHaskell2010

Language.Glambda.Unchecked

Description

Defines the AST for un-type-checked expressions

Synopsis

Documentation

data UExp Source

Unchecked expression

Constructors

UVar Int

de Bruijn index for a variable

UGlobal String 
ULam Ty UExp 
UApp UExp UExp 
UArith UExp UArithOp UExp 
UCond UExp UExp UExp 
UFix UExp 
UIntE Int 
UBoolE Bool