Safe Haskell	Safe-Inferred
Language	Haskell2010

Transformations.Anf.Anf

Documentation

Constructors

Instances details

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

Constructors

GlobVarDecl Identifier' Expression
GlobFunDecl Identifier' [Identifier'] Expression

Instances details

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

Constructors

ExprAtom AtomicExpression
ExprComp ComplexExpression
ExprLetIn (Identifier', Expression) Expression

Instances details

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

Constructors

Instances details

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

Constructors

CompApp Identifier' AtomicExpression
CompIte AtomicExpression Expression Expression
CompBinOp BinaryOperator AtomicExpression AtomicExpression
CompUnOp UnaryOperator AtomicExpression

Instances details

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