Language.Clafer

runCompiler

addModuleFragment

compile

parse

desugar

generate

generateHtml

runClaferT

runClafer

type ClaferErr

getEnv

putEnv

data CompilerResult

type InputModel

data Token

data Module

data GEnv

data IModule

data ClaferEnv

getIr

getAst

makeEnv

data Pos

data IrTrace