feldspar-compiler-0.6.0.2: Compiler for the Feldspar language

Safe Haskell	None

Feldspar.Compiler.Backend.C.Plugin.TypeCorrector

Documentation

typeCorrectorError :: String -> aSource

type TypeCatalog = Map String Type Source

data GlobalCollector Source

Constructors

GlobalCollector

Instances

Transformation GlobalCollector
Transformable GlobalCollector Variable
Transformable GlobalCollector Entity

data TypeCheckDown Source

Constructors

TypeCheckDown
Fields globals :: TypeCatalog inDeclaration :: Bool

inDecl :: TypeCheckDown -> Bool -> TypeCheckDown Source

data TypeCorrector Source

Constructors

Instances

Transformation TypeCorrector
Plugin TypeCorrector
Transformable TypeCorrector Variable
Transformable TypeCorrector Entity

select :: Type -> Type -> Type Source