Safe Haskell	Safe-Inferred
Language	Haskell2010

Ast.Types

Synopsis

data SrcLoc = SrcLoc {
- srcFile :: String
- srcLine :: Int
- srcCol :: Int
}
data Literal
- = LInt Integer
- | LFloat Double
- | LDouble Double
- | LChar Char
- | LBool Bool
- | LArray [Literal]
- | LNull
- | LStruct [(String, Literal)]
data Type
- = TInt Int
- | TFloat
- | TDouble
- | TChar
- | TBoolean
- | TVoid
- | TMutable Type
- | TPointer Type
- | TArray Type (Maybe Int)
- | TFunction {
  - returnType :: Type
  - paramTypes :: [Type]
  - isVariadic :: Bool
  }
- | TStruct {
  - structName :: String
  - fields :: [(String, Type)]
  }
- | TUnion {
  - unionName :: String
  - variants :: [(String, Type)]
  }
- | TTypedef String Type
- | TUnknown
data AsmConstraint = AsmConstraint {
- outputConstraint :: String
- inputConstraints :: [String]
}
data AsmDialect
- = Intel
- | ATT
data AsmExpr = AsmExpr {
- asmCode :: String
- asmConstraints :: AsmConstraint
- asmArgs :: [Expr]
- asmParameters :: [Type]
- asmReturnType :: Type
- asmSideEffects :: Bool
- asmAlignStack :: Bool
- asmDialect :: AsmDialect
}
data Expr
- = Lit SrcLoc Literal
- | Var SrcLoc String Type
- | Function {
  - funcLoc :: SrcLoc
  - funcName :: String
  - funcType :: Type
  - funcParams :: [String]
  - funcBody :: Expr
  }
- | ForeignFunction {
  - funcLoc :: SrcLoc
  - funcName :: String
  - funcType :: Type
  }
- | Declaration {
  - declLoc :: SrcLoc
  - declName :: String
  - declType :: Type
  - declInit :: Maybe Expr
  }
- | Assignment {
  - assignLoc :: SrcLoc
  - assignTarget :: Expr
  - assignValue :: Expr
  }
- | Call {
  - callLoc :: SrcLoc
  - callFunc :: Expr
  - callArgs :: [Expr]
  }
- | If {
  - ifLoc :: SrcLoc
  - ifCond :: Expr
  - ifThen :: Expr
  - ifElse :: Maybe Expr
  }
- | While {
  - whileLoc :: SrcLoc
  - whileCond :: Expr
  - whileBody :: Expr
  }
- | From {
  - fromLoc :: SrcLoc
  - fromStart :: Expr
  - fromEnd :: Expr
  - fromStep :: Expr
  - fromVar :: Expr
  - fromBody :: Expr
  }
- | Block [Expr]
- | Return SrcLoc (Maybe Expr)
- | Break SrcLoc
- | Continue SrcLoc
- | Op SrcLoc Operation Expr Expr
- | UnaryOp SrcLoc UnaryOperation Expr
- | StructAccess SrcLoc Expr Expr
- | ArrayAccess SrcLoc Expr Expr
- | Cast SrcLoc Type Expr
- | Assembly {
  - asmLoc :: SrcLoc
  - asmExpr :: AsmExpr
  }
data Operation
- = Add
- | Sub
- | Mul
- | Div
- | Mod
- | BitAnd
- | BitOr
- | BitXor
- | BitShl
- | BitShr
- | Lt
- | Gt
- | Lte
- | Gte
- | Eq
- | Ne
- | And
- | Or
data UnaryOperation
- = Not
- | BitNot
- | Deref
- | AddrOf
- | PreInc
- | PreDec
- | PostInc
- | PostDec
data Program = Program {
- globals :: [(String, Expr)]
- types :: [(String, Type)]
- sourceFile :: String
}

Documentation

data SrcLoc Source #

Source location for better error reporting

Constructors

SrcLoc
Fields srcFile :: String srcLine :: Int srcCol :: Int

Instances

Instances details

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

data Literal Source #

Enhanced literal values including characters and floating-point numbers

Constructors

LInt Integer
LFloat Double
LDouble Double
LChar Char
LBool Bool
LArray [Literal]
LNull
LStruct [(String, Literal)]

Instances

Instances details

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

data Type Source #

Constructors

TInt Int
TFloat
TDouble
TChar
TBoolean
TVoid
TMutable Type
TPointer Type
TArray Type (Maybe Int)
TFunction
Fields returnType :: Type paramTypes :: [Type] isVariadic :: Bool
TStruct
Fields structName :: String fields :: [(String, Type)]
TUnion
Fields unionName :: String variants :: [(String, Type)]
TTypedef String Type
TUnknown

Instances

Instances details

Show Type Source #
Instance details Defined in Ast.Types Methods showsPrec :: Int -> Type -> ShowS # show :: Type -> String # showList :: [Type] -> ShowS #
ToLLVM Type Source #
Instance details Defined in Codegen.ExprGen.Types Methods toLLVM :: Type -> Type0 Source #
Eq Type Source #
Instance details Defined in Ast.Types Methods (==) :: Type -> Type -> Bool # (/=) :: Type -> Type -> Bool #
Ord Type Source #
Instance details Defined in Ast.Types 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 #

data AsmConstraint Source #

Assembly constraint type

Constructors

AsmConstraint
Fields outputConstraint :: String inputConstraints :: [String]

Instances

Instances details

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

data AsmDialect Source #

Assembly dialect

Constructors

Intel
ATT

Instances

Instances details

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

data AsmExpr Source #

Assembly expression type

Constructors

AsmExpr
Fields asmCode :: String asmConstraints :: AsmConstraint asmArgs :: [Expr] asmParameters :: [Type] asmReturnType :: Type asmSideEffects :: Bool asmAlignStack :: Bool asmDialect :: AsmDialect

Instances

Instances details

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

data Expr Source #

Enhanced expression nodes | StructAccess: For accessing struct fields | ArrayAccess: For array indexing

Constructors

Lit SrcLoc Literal
Var SrcLoc String Type
Function
Fields funcLoc :: SrcLoc funcName :: String funcType :: Type funcParams :: [String] funcBody :: Expr
ForeignFunction
Fields funcLoc :: SrcLoc funcName :: String funcType :: Type
Declaration
Fields declLoc :: SrcLoc declName :: String declType :: Type declInit :: Maybe Expr
Assignment
Fields assignLoc :: SrcLoc assignTarget :: Expr assignValue :: Expr
Call
Fields callLoc :: SrcLoc callFunc :: Expr callArgs :: [Expr]
If
Fields ifLoc :: SrcLoc ifCond :: Expr ifThen :: Expr ifElse :: Maybe Expr
While
Fields whileLoc :: SrcLoc whileCond :: Expr whileBody :: Expr
From
Fields fromLoc :: SrcLoc fromStart :: Expr fromEnd :: Expr fromStep :: Expr fromVar :: Expr fromBody :: Expr
Block [Expr]
Return SrcLoc (Maybe Expr)
Break SrcLoc
Continue SrcLoc
Op SrcLoc Operation Expr Expr
UnaryOp SrcLoc UnaryOperation Expr
StructAccess SrcLoc Expr Expr
ArrayAccess SrcLoc Expr Expr
Cast SrcLoc Type Expr
Assembly
Fields asmLoc :: SrcLoc asmExpr :: AsmExpr

Instances

Instances details

Show Expr Source #
Instance details Defined in Ast.Types Methods showsPrec :: Int -> Expr -> ShowS # show :: Expr -> String # showList :: [Expr] -> ShowS #
ExprGen Expr Source #
Instance details Defined in Codegen.ExprGen.ExprGen Methods generateExpr :: MonadCodegen m => Expr -> m Operand Source #
Eq Expr Source #
Instance details Defined in Ast.Types Methods (==) :: Expr -> Expr -> Bool # (/=) :: Expr -> Expr -> Bool #
Ord Expr Source #
Instance details Defined in Ast.Types Methods compare :: Expr -> Expr -> Ordering # (<) :: Expr -> Expr -> Bool # (<=) :: Expr -> Expr -> Bool # (>) :: Expr -> Expr -> Bool # (>=) :: Expr -> Expr -> Bool # max :: Expr -> Expr -> Expr # min :: Expr -> Expr -> Expr #

data Operation Source #

Enhanced operations including bitwise operations

Constructors

Add
Sub
Mul
Div
Mod
BitAnd
BitOr
BitXor
BitShl
BitShr
Lt
Gt
Lte
Gte
Eq
Ne
And
Or

Instances

Instances details

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

data UnaryOperation Source #

Constructors

Not
BitNot
Deref
AddrOf
PreInc
PreDec
PostInc
PostDec

Instances

Instances details

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

data Program Source #

Program representation with global scope information | globals: Global variables and functions | types: Type definitions | sourceFile: Source file name

Constructors

Program
Fields globals :: [(String, Expr)] types :: [(String, Type)] sourceFile :: String

Instances

Instances details

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