Agda-2.2.6: A dependently typed functional programming language and proof assistantSource codeContentsIndex
Agda.Compiler.Agate.Main
Description
main module.
Synopsis
compilerMain :: TCM () -> TCM ()
enumConstructors :: Definitions -> [QName]
computeMaxArity :: Definitions -> TCM Nat
getConstructorArity :: Definition -> TCM Nat
printConstants :: Definitions -> IO ()
printShowConstants :: Definitions -> IO ()
Documentation
compilerMain :: TCM () -> TCM ()Source
The main function
enumConstructors :: Definitions -> [QName]Source
computeMaxArity :: Definitions -> TCM NatSource
getConstructorArity :: Definition -> TCM NatSource
printConstants :: Definitions -> IO ()Source
printShowConstants :: Definitions -> IO ()Source
Produced by Haddock version 2.6.0