Language.CIRC

Compiler IR Compiler (CIRC): A language for specifying compiler intermediate representations.

CIRC Specifications

data Spec

A specification is a module name for the initial type, common imports, the root type, the initial type definitions, and a list of transforms.

Constructors

Spec Name [Import] TypeName [TypeDef] [Transform]

data Transform

A transform is a module name, the constructor to be transformed, a list of new type definitions, and the implementation (imports and code).

Constructors

Transform ModuleName [Import] [Import] [(CtorName, ModuleName -> Code)] [TypeRefinement]

data Type

A type expression.

Constructors

T TypeName [Type]

TList Type

TMaybe Type

TTuple [Type]

data TypeDef

A type definition is a name, a list of type parameters, and a list of constructor definitions.

Constructors

TypeDef TypeName [TypeParam] [CtorDef]

data CtorDef

A constructor definition is a name and a list of type arguments.

Constructors

CtorDef CtorName [Type]

data TypeRefinement

A type refinement.

Constructors

NewCtor TypeName CtorDef (ModuleName -> Code)

NewType TypeDef

type Name = String

type ModuleName = String

type CtorName = String

type TypeName = String

type TypeParam = String

type Code = String

type Import = String

t :: String -> Type

An unparameterized type.

indent :: String -> String

Indents code with 2 spaces.

CIRC Compilation

circ :: Spec -> IO ()

Compiles a CIRC spec.