Data.Boltzmann.Compiler.Haskell.Helpers

General utilities used across system compilers.

Documentation

systemNote :: PSystem Double -> [String]

Prepares a system/module note.

unname :: String -> QName

typeCons :: String -> Type

typeVar :: String -> Type

varExp :: String -> Exp

conExp :: String -> Exp

toLit :: Int -> Exp

importType :: String -> ImportSpec

importFunc :: String -> ImportSpec

importFrom :: String -> [ImportSpec] -> ImportDecl

Simple import declaration.

exportType :: String -> ExportSpec

exportTypes :: PSystem Double -> [ExportSpec]

exportFunc :: String -> ExportSpec

declTFun :: String -> Type -> [String] -> Exp -> [Decl]

Simple function declaration.

symbol :: String -> QOp

greater :: Exp -> Exp -> Exp

less :: Exp -> Exp -> Exp

and :: Exp -> Exp -> Exp

lessEq :: Exp -> Exp -> Exp

lessF :: Real a => Exp -> a -> Exp

bind :: String -> Exp -> Stmt

bindP :: String -> String -> Exp -> Stmt

sub :: Exp -> Exp -> Exp

add :: Exp -> Exp -> Exp

applyF :: Exp -> [Exp] -> Exp

dot :: Exp -> Exp -> Exp

declareADTs :: Bool -> PSystem a -> [Decl]

declADT :: Bool -> (String, [Cons a]) -> Decl

declCon :: Cons a -> ConDecl

declArg :: Arg -> Type