feldspar-compiler-0.3.2: Compiler for the Feldspar language

Feldspar.Compiler.Options

Documentation

data Options Source

Constructors

Options
Fields platform :: Platform unroll :: UnrollStrategy debug :: DebugOption defaultArraySize :: Int

Instances

Eq Options
Show Options

data UnrollStrategy Source

Constructors

NoUnroll
Unroll Int

Instances

Eq UnrollStrategy
Show UnrollStrategy

data DebugOption Source

Constructors

NoDebug
NoSimplification
NoPrimitiveInstructionHandling

Instances

Eq DebugOption
Show DebugOption

data Platform Source

Constructors

Platform
Fields name :: String types :: [(Type, String, String)] values :: [(Type, ShowValue)] primitives :: [(FeldPrimDesc, Either CPrimDesc TransformPrim)] includes :: [String] isRestrict :: IsRestrict

Instances

Eq Platform
Show Platform

data FeldPrimDesc Source

Constructors

FeldPrimDesc
Fields fName :: String inputs :: [TypeDesc]

Instances

Eq FeldPrimDesc
Show FeldPrimDesc

data CPrimDesc Source

Constructors

Op1
Fields cOp :: String
Op2
Fields cOp :: String
Fun
Fields cName :: String funPf :: FunPostfixDescr
Proc
Fields cName :: String funPf :: FunPostfixDescr
Assig
InvalidDesc

Instances

Eq CPrimDesc
Show CPrimDesc

data TypeDesc Source

Constructors

AllT
BoolT
FloatT
IntT
IntTS
IntTU
IntTS_ Size
IntTU_ Size
IntT_ Size
UserT String

Instances

Eq TypeDesc
Show TypeDesc

data FunPostfixDescr Source

Constructors

FunPostfixDescr
Fields useInputs :: Int useOutputs :: Int

Instances

Eq FunPostfixDescr
Show FunPostfixDescr

type ShowValue = ConstantData PrettyPrintSemanticInfo -> String Source

type TransformPrim = FeldPrimDesc -> [Expression ()] -> [LeftValue ()] -> [(CPrimDesc, [Expression ()], [LeftValue ()])]Source

machTypes :: TypeDesc -> Type -> Bool Source