Agda-2.2.6: A dependently typed functional programming language and proof assistant

Agda.Compiler.Agate.Main

Description

main module.

Synopsis

Documentation

compilerMain :: TCM () -> TCM ()Source

The main function

enumConstructors :: Definitions -> [QName]Source

computeMaxArity :: Definitions -> TCM Nat Source

getConstructorArity :: Definition -> TCM Nat Source

printConstants :: Definitions -> IO ()Source

printShowConstants :: Definitions -> IO ()Source