Safe Haskell	Safe-Inferred
Language	Haskell2010

Transformations.Simplifier.SimplifiedAst

Documentation

Constructors

Instances details

Show Program Source #
Instance details Defined in Transformations.Simplifier.SimplifiedAst Methods showsPrec :: Int -> Program -> ShowS # show :: Program -> String # showList :: [Program] -> ShowS #
Eq Program Source #
Instance details Defined in Transformations.Simplifier.SimplifiedAst Methods (==) :: Program -> Program -> Bool # (/=) :: Program -> Program -> Bool #

Constructors

DeclVar Identifier' Expression
DeclFun Identifier' IsRec Fun

Instances details

Show Declaration Source #
Instance details Defined in Transformations.Simplifier.SimplifiedAst Methods showsPrec :: Int -> Declaration -> ShowS # show :: Declaration -> String # showList :: [Declaration] -> ShowS #
Eq Declaration Source #
Instance details Defined in Transformations.Simplifier.SimplifiedAst Methods (==) :: Declaration -> Declaration -> Bool # (/=) :: Declaration -> Declaration -> Bool #

Instances details

Show Expression Source #
Instance details Defined in Transformations.Simplifier.SimplifiedAst Methods showsPrec :: Int -> Expression -> ShowS # show :: Expression -> String # showList :: [Expression] -> ShowS #
Eq Expression Source #
Instance details Defined in Transformations.Simplifier.SimplifiedAst Methods (==) :: Expression -> Expression -> Bool # (/=) :: Expression -> Expression -> Bool #

Constructors

Instances details

Show Fun Source #
Instance details Defined in Transformations.Simplifier.SimplifiedAst Methods showsPrec :: Int -> Fun -> ShowS # show :: Fun -> String # showList :: [Fun] -> ShowS #
Eq Fun Source #
Instance details Defined in Transformations.Simplifier.SimplifiedAst Methods (==) :: Fun -> Fun -> Bool # (/=) :: Fun -> Fun -> Bool #

ExprId Identifier'
ExprPrimVal PrimitiveValue
ExprBinOp BinaryOperator Expression Expression
ExprUnOp UnaryOperator Expression
ExprApp Expression Expression
ExprIte Expression Expression Expression
ExprLetIn Declaration Expression
ExprFun Fun