Safe Haskell	Safe-Inferred
Language	Haskell2010

Trees.Common

Contents

Common Components of Program Representations

Synopsis

type Identifier = Text
data Identifier'
- = Txt Identifier
- | Gen IdCnt Identifier
type IdCnt = Int
data BinaryOperator
data UnaryOperator = UnMinusOp
data BooleanOperator
- = AndOp
- | OrOp
data ArithmeticOperator
- = PlusOp
- | MinusOp
- | MulOp
- | DivOp
data ComparisonOperator
- = EqOp
- | NeOp
- | LtOp
- | LeOp
- | GtOp
- | GeOp
type IsRec = Bool
data Type
- = TUnit
- | TBool
- | TInt
- | TFun Type Type
type Arity = Int
data PrimitiveValue
- = PrimValUnit
- | PrimValBool Bool
- | PrimValInt Int64

Common Components of Program Representations

Identifier

type Identifier = Text Source #

data Identifier' Source #

Constructors

Txt Identifier
Gen IdCnt Identifier

Instances

Instances details

Show Identifier' Source #
Instance details Defined in Trees.Common Methods showsPrec :: Int -> Identifier' -> ShowS # show :: Identifier' -> String # showList :: [Identifier'] -> ShowS #
Eq Identifier' Source #
Instance details Defined in Trees.Common Methods (==) :: Identifier' -> Identifier' -> Bool # (/=) :: Identifier' -> Identifier' -> Bool #
Ord Identifier' Source #
Instance details Defined in Trees.Common Methods compare :: Identifier' -> Identifier' -> Ordering # (<) :: Identifier' -> Identifier' -> Bool # (<=) :: Identifier' -> Identifier' -> Bool # (>) :: Identifier' -> Identifier' -> Bool # (>=) :: Identifier' -> Identifier' -> Bool # max :: Identifier' -> Identifier' -> Identifier' # min :: Identifier' -> Identifier' -> Identifier' #

type IdCnt = Int Source #

Operators

data BinaryOperator Source #

Binary operator.

Constructors

BoolOp BooleanOperator	Boolean operator, see `BooleanOperator`.
ArithOp ArithmeticOperator	Arithmetic operator, see `ArithmeticOperator`.
CompOp ComparisonOperator	Comparison operator, see `ComparisonOperator`.

Instances

Instances details

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

data UnaryOperator Source #

Unary operator.

Constructors

UnMinusOp

Unary minus operator (-a), works only for int.

Instances

Instances details

Bounded UnaryOperator Source #
Instance details Defined in Trees.Common Methods minBound :: UnaryOperator # maxBound :: UnaryOperator #
Enum UnaryOperator Source #
Instance details Defined in Trees.Common Methods succ :: UnaryOperator -> UnaryOperator # pred :: UnaryOperator -> UnaryOperator # toEnum :: Int -> UnaryOperator # fromEnum :: UnaryOperator -> Int # enumFrom :: UnaryOperator -> [UnaryOperator] # enumFromThen :: UnaryOperator -> UnaryOperator -> [UnaryOperator] # enumFromTo :: UnaryOperator -> UnaryOperator -> [UnaryOperator] # enumFromThenTo :: UnaryOperator -> UnaryOperator -> UnaryOperator -> [UnaryOperator] #
Show UnaryOperator Source #
Instance details Defined in Trees.Common Methods showsPrec :: Int -> UnaryOperator -> ShowS # show :: UnaryOperator -> String # showList :: [UnaryOperator] -> ShowS #
Eq UnaryOperator Source #
Instance details Defined in Trees.Common Methods (==) :: UnaryOperator -> UnaryOperator -> Bool # (/=) :: UnaryOperator -> UnaryOperator -> Bool #

data BooleanOperator Source #

Boolean operator.

Constructors

AndOp	And operator (`a && b`).
OrOp	Or operator (`a \|\| b`).

Instances

Instances details

Bounded BooleanOperator Source #
Instance details Defined in Trees.Common Methods minBound :: BooleanOperator # maxBound :: BooleanOperator #
Enum BooleanOperator Source #
Instance details Defined in Trees.Common Methods succ :: BooleanOperator -> BooleanOperator # pred :: BooleanOperator -> BooleanOperator # toEnum :: Int -> BooleanOperator # fromEnum :: BooleanOperator -> Int # enumFrom :: BooleanOperator -> [BooleanOperator] # enumFromThen :: BooleanOperator -> BooleanOperator -> [BooleanOperator] # enumFromTo :: BooleanOperator -> BooleanOperator -> [BooleanOperator] # enumFromThenTo :: BooleanOperator -> BooleanOperator -> BooleanOperator -> [BooleanOperator] #
Show BooleanOperator Source #
Instance details Defined in Trees.Common Methods showsPrec :: Int -> BooleanOperator -> ShowS # show :: BooleanOperator -> String # showList :: [BooleanOperator] -> ShowS #
Eq BooleanOperator Source #
Instance details Defined in Trees.Common Methods (==) :: BooleanOperator -> BooleanOperator -> Bool # (/=) :: BooleanOperator -> BooleanOperator -> Bool #

data ArithmeticOperator Source #

Arithmetic operator.

Constructors

PlusOp	Addition operator (`a + b`).
MinusOp	Subtraction operator (`a - b`).
MulOp	Multiplication operator (`a * b`).
DivOp	Division operator (`a / b`).

Instances

Instances details

Bounded ArithmeticOperator Source #
Instance details Defined in Trees.Common Methods minBound :: ArithmeticOperator # maxBound :: ArithmeticOperator #
Enum ArithmeticOperator Source #
Instance details Defined in Trees.Common Methods succ :: ArithmeticOperator -> ArithmeticOperator # pred :: ArithmeticOperator -> ArithmeticOperator # toEnum :: Int -> ArithmeticOperator # fromEnum :: ArithmeticOperator -> Int # enumFrom :: ArithmeticOperator -> [ArithmeticOperator] # enumFromThen :: ArithmeticOperator -> ArithmeticOperator -> [ArithmeticOperator] # enumFromTo :: ArithmeticOperator -> ArithmeticOperator -> [ArithmeticOperator] # enumFromThenTo :: ArithmeticOperator -> ArithmeticOperator -> ArithmeticOperator -> [ArithmeticOperator] #
Show ArithmeticOperator Source #
Instance details Defined in Trees.Common Methods showsPrec :: Int -> ArithmeticOperator -> ShowS # show :: ArithmeticOperator -> String # showList :: [ArithmeticOperator] -> ShowS #
Eq ArithmeticOperator Source #
Instance details Defined in Trees.Common Methods (==) :: ArithmeticOperator -> ArithmeticOperator -> Bool # (/=) :: ArithmeticOperator -> ArithmeticOperator -> Bool #

data ComparisonOperator Source #

Comparison operator.

Constructors

EqOp	Equality operator (`a = b`).
NeOp	Non-equality operator (`a <> b`).
LtOp	Less than operator (`a < b`).
LeOp	Less than or equal operator (`a <= b`).
GtOp	Greater than operator (`a > b`).
GeOp	Greater than or equal operator (`a >= b`).

Instances

Instances details

Bounded ComparisonOperator Source #
Instance details Defined in Trees.Common Methods minBound :: ComparisonOperator # maxBound :: ComparisonOperator #
Enum ComparisonOperator Source #
Instance details Defined in Trees.Common Methods succ :: ComparisonOperator -> ComparisonOperator # pred :: ComparisonOperator -> ComparisonOperator # toEnum :: Int -> ComparisonOperator # fromEnum :: ComparisonOperator -> Int # enumFrom :: ComparisonOperator -> [ComparisonOperator] # enumFromThen :: ComparisonOperator -> ComparisonOperator -> [ComparisonOperator] # enumFromTo :: ComparisonOperator -> ComparisonOperator -> [ComparisonOperator] # enumFromThenTo :: ComparisonOperator -> ComparisonOperator -> ComparisonOperator -> [ComparisonOperator] #
Show ComparisonOperator Source #
Instance details Defined in Trees.Common Methods showsPrec :: Int -> ComparisonOperator -> ShowS # show :: ComparisonOperator -> String # showList :: [ComparisonOperator] -> ShowS #
Eq ComparisonOperator Source #
Instance details Defined in Trees.Common Methods (==) :: ComparisonOperator -> ComparisonOperator -> Bool # (/=) :: ComparisonOperator -> ComparisonOperator -> Bool #

Recursive Functions

type IsRec = Bool Source #

Types

data Type Source #

All existing types.

Constructors

TUnit	Unit type
TBool	Boolean type.
TInt	Integer type.
TFun Type Type	Function type. It contains the type of the first parameter and the result of the function (e.g., `int -> (int -> bool -> bool)`).

Instances

Instances details

Show Type Source #
Instance details Defined in Trees.Common Methods showsPrec :: Int -> Type -> ShowS # show :: Type -> String # showList :: [Type] -> ShowS #
Eq Type Source #
Instance details Defined in Trees.Common Methods (==) :: Type -> Type -> Bool # (/=) :: Type -> Type -> Bool #
Ord Type Source #
Instance details Defined in Trees.Common Methods compare :: Type -> Type -> Ordering # (<) :: Type -> Type -> Bool # (<=) :: Type -> Type -> Bool # (>) :: Type -> Type -> Bool # (>=) :: Type -> Type -> Bool # max :: Type -> Type -> Type # min :: Type -> Type -> Type #

type Arity = Int Source #

Arity of a function.

Values

data PrimitiveValue Source #

Primitive value.

Constructors

PrimValUnit	Unit value (`()`).
PrimValBool Bool	Boolean value (`true`, `false`).
PrimValInt Int64	Int value (e.g., `0`, `4`, `15`, `23`).

Instances

Instances details

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