Feldspar.Compiler.Imperative.Representation

Synopsis

• data Module t = Module {
  • entities :: [Entity t]
  }
• data Entity t
  • = StructDef {
    • structName :: String
    • structMembers :: [StructMember t]
    }
  • | TypeDef {
    • actualType :: Type
    • typeName :: String
    }
  • | Proc {
    • procName :: String
    • inParams :: [Variable t]
    • outParams :: [Variable t]
    • procBody :: Maybe (Block t)
    }
  • | ValueDef {
    • valVar :: Variable t
    • valValue :: Constant t
    }
• data StructMember t = StructMember {
  • structMemberName :: String
  • structMemberType :: Type
  }
• data Block t = Block {
  • locals :: [Declaration t]
  • blockBody :: Program t
  }
• data Program t
  • = Empty {
    }
  • | Comment {
    • isBlockComment :: Bool
    • commentValue :: String
    }
  • | Assign {
    • lhs :: Expression t
    • rhs :: Expression t
    }
  • | ProcedureCall {
    • procCallName :: String
    • procCallParams :: [ActualParameter t]
    }
  • | Sequence {
    • sequenceProgs :: [Program t]
    }
  • | Switch {
    • scrutinee :: Expression t
    • alts :: [(Pattern t, Block t)]
    }
  • | SeqLoop {
    • sLoopCond :: Expression t
    • sLoopCondCalc :: Block t
    • sLoopBlock :: Block t
    }
  • | ParLoop {
    • pParallel :: Bool
    • pLoopCounter :: Variable t
    • pLoopBound :: Expression t
    • pLoopStep :: Expression t
    • pLoopBlock :: Block t
    }
  • | BlockProgram {
    • blockProgram :: Block t
    }
• data Pattern t
  • = PatDefault
  • | Pat (Expression t)
• data ActualParameter t
  • = ValueParameter {
    • valueParam :: Expression t
    }
  • | TypeParameter {
    • typeParam :: Type
    }
  • | FunParameter {
    • funParamName :: String
    }
• data Declaration t = Declaration {
  • declVar :: Variable t
  • initVal :: Maybe (Expression t)
  }
• data Expression t
  • = VarExpr {
    • varExpr :: Variable t
    }
  • | ArrayElem {
    • array :: Expression t
    • arrayIndex :: Expression t
    }
  • | StructField {
    • struct :: Expression t
    • fieldName :: String
    }
  • | ConstExpr {
    • constExpr :: Constant t
    }
  • | FunctionCall {
    • function :: Function
    • funCallParams :: [Expression t]
    }
  • | Cast {
    • castType :: Type
    • castExpr :: Expression t
    }
  • | AddrOf {
    • addrExpr :: Expression t
    }
  • | SizeOf {
    • sizeOf :: Type
    }
• data Function = Function {
  • funName :: String
  • returnType :: Type
  • funMode :: FunctionMode
  }
• data Constant t
  • = IntConst {
    • intValue :: Integer
    • intType :: Type
    }
  • | DoubleConst {
    • doubleValue :: Double
    }
  • | FloatConst {
    • floatValue :: Float
    }
  • | BoolConst {
    • boolValue :: Bool
    }
  • | ComplexConst {
    • realPartComplexValue :: Constant t
    • imagPartComplexValue :: Constant t
    }
  • | ArrayConst {
    • arrayValues :: [Constant t]
    }
• data Variable t = Variable {
  • varType :: Type
  • varName :: String
  }
• data Size
  • = S8
  • | S16
  • | S32
  • | S40
  • | S64
• data Signedness
  • = Signed
  • | Unsigned
• data Type
  • = VoidType
  • | BoolType
  • | BitType
  • | FloatType
  • | DoubleType
  • | NumType Signedness Size
  • | ComplexType Type
  • | UserType String
  • | Alias Type String
  • | ArrayType (Range Length) Type
  • | NativeArray (Maybe Length) Type
  • | StructType String [(String, Type)]
  • | Pointer Type
  • | IVarType Type
• data FunctionMode
  • = Prefix
  • | Infix
• class HasType a where
  • type TypeOf a
  • typeof :: a -> TypeOf a
• reprError :: forall a. ErrorClass -> String -> a
• fv :: Expression t -> [Variable t]
• fv' :: Expression t -> [Variable t]

Documentation