Language.Paraiso.Generator

a general code generator definition.

Documentation

class Generator gen where

The definition for code generator.

Associated Types

data Strategy gen :: *

The data that is daughter of gen; describes the code generation strategy.

Methods

generate

Arguments

:: (Vector v, C g, C (v g), Ord (v g), Symbolable gen g)

=> gen

The code generator.

-> POM v g (Strategy gen)

The POM sourcecode, annotated with Strategy.

-> FilePath

The directory name under which the files are to be generated.

-> IO ()

The act of generation.

Code generation.

Instances

Generator Cpp

class Generator gen => Symbolable gen a where

The translation of Haskell symbols to other languages.

Methods

symbolF

Arguments

:: Failure StringException f

=> gen

The Generator.

-> a

A Haskell object to be translated.

-> f String

The translation result which may fail. | Pure version, which may emit runtime error.

Failure handling version of symbol translation.

symbol :: gen -> a -> String

Instances

Symbolable Cpp Int

Symbolable Cpp Dynamic

Symbolable Cpp TypeRep

Symbolable Cpp Name

Symbolable Cpp DynValue