Agda-2.2.6: A dependently typed functional programming language and proof assistantSource codeContentsIndex
Agda.Compiler.Agate.UntypedPrinter
Description
Generate GHC code for untyped execution
Documentation
showAsUntypedConstructor :: QName -> TCM DocSource
class ShowAsUntypedTerm a whereSource
Methods
showAsUntypedTerm :: a -> TCM DocSource
showUntypedApp :: ShowAsUntypedTerm a => a -> [Arg Term] -> TCM DocSource
showUntypedDefinition :: (QName, Definition) -> TCM DocSource
untypedAbs :: [Doc] -> Doc -> DocSource
showUntypedClause :: Clause -> TCM DocSource
Produced by Haddock version 2.6.0