Safe Haskell	Safe-Inferred
Language	Haskell2010

Transformations.Ll.Lfr

Description

Documentation

Constructors

Instances details

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

Constructors

GlobVarDecl VarDeclaration
GlobFunDecl Identifier' [Identifier'] Expression

Instances details

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

Constructors

Instances details

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

Instances details

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

ExprId Identifier'
ExprPrimVal PrimitiveValue
ExprBinOp BinaryOperator Expression Expression
ExprUnOp UnaryOperator Expression
ExprApp Expression Expression
ExprIte Expression Expression Expression
ExprLetIn VarDeclaration Expression