Language.Clafer

addModuleFragment

compile

parse

generate

generateHtml

generateFragments

runClaferT

runClafer

type ClaferErr

getEnv

putEnv

data CompilerResult

claferIRXSD

type VerbosityL

type InputModel

data Token

data Module

data GEnv

data IModule

voidf

data ClaferEnv

getIr

getAst

makeEnv

data Pos

data IrTrace