telomare-0.1.0.0: A simple but robust virtual machine
Safe HaskellSafe-Inferred
LanguageHaskell2010

Telomare.Optimizer

Documentation

data IExprV Source #

Constructors

VZero 
VPair IExprV IExprV 
VVar IExprV 
VApp IExprV IExprV 
VAnno IExprV IExprV 
VGate IExprV 
VLeft IExprV 
VRight IExprV 
VTrace IExprV 
VClosure IExprV IExprV 

Instances

Instances details
Show IExprV Source # 
Instance details

Defined in Telomare.Optimizer

Methods

showsPrec :: Int -> IExprV -> ShowS Source #

show :: IExprV -> String Source #

showList :: [IExprV] -> ShowS Source #

Eq IExprV Source # 
Instance details

Defined in Telomare.Optimizer

Methods

(==) :: IExprV -> IExprV -> Bool Source #

(/=) :: IExprV -> IExprV -> Bool Source #

Ord IExprV Source # 
Instance details

Defined in Telomare.Optimizer

Methods

compare :: IExprV -> IExprV -> Ordering Source #

(<) :: IExprV -> IExprV -> Bool Source #

(<=) :: IExprV -> IExprV -> Bool Source #

(>) :: IExprV -> IExprV -> Bool Source #

(>=) :: IExprV -> IExprV -> Bool Source #

max :: IExprV -> IExprV -> IExprV Source #

min :: IExprV -> IExprV -> IExprV Source #

precompute :: IExpr -> IExpr Source #

optimize :: IExpr -> IExpr Source #