Agda-2.2.6: A dependently typed functional programming language and proof assistantSource codeContentsIndex
Agda.Compiler.Alonzo.Main
Synopsis
compilerMain :: TCM () -> TCM ()
fromCurrentModule :: QName -> TCM Bool
flattenSubmodules :: QName -> TCM QName
maybeQualName :: (QName -> HsQName) -> (Name -> HsName) -> QName -> PM HsQName
numOfMainS :: [QName] -> Maybe Nat
processDefWithDebug :: (QName, Definition) -> TCM [HsDecl]
infoDecl :: String -> String -> HsDecl
processDef :: (QName, Definition) -> TCM [HsDecl]
times :: Nat -> a -> [a]
consDefs :: [QName] -> TCM [Definition]
processClause :: Name -> Nat -> Clause -> TCM HsDecl
contClause :: Name -> Nat -> Clause -> TCM HsDecl
foldClauses :: Name -> Nat -> [Clause] -> TCM [HsDecl]
processArgPats :: [Arg Pattern] -> PM [HsPat]
processArgPat :: Arg Pattern -> PM HsPat
processPat :: Pattern -> PM HsPat
processBody :: ClauseBody -> PM HsExp
processTerm :: Term -> PM HsExp
processLit :: Literal -> HsExp
processVap :: HsExp -> [Arg Term] -> PM HsExp
unfoldVap :: PState -> HsExp -> [Arg Term] -> TCM HsExp
getDefinitions :: TCM Definitions
getConArity :: QName -> TCM Nat
typeArity :: Type -> Nat
clauseBod :: Clause -> Term
vecApp :: HsExp -> [HsExp] -> HsExp
Documentation
compilerMain :: TCM () -> TCM ()Source
The main function
fromCurrentModule :: QName -> TCM BoolSource
flattenSubmodules :: QName -> TCM QNameSource
maybeQualName :: (QName -> HsQName) -> (Name -> HsName) -> QName -> PM HsQNameSource
numOfMainS :: [QName] -> Maybe NatSource
processDefWithDebug :: (QName, Definition) -> TCM [HsDecl]Source
infoDecl :: String -> String -> HsDeclSource
processDef :: (QName, Definition) -> TCM [HsDecl]Source
times :: Nat -> a -> [a]Source
consDefs :: [QName] -> TCM [Definition]Source
processClause :: Name -> Nat -> Clause -> TCM HsDeclSource
contClause :: Name -> Nat -> Clause -> TCM HsDeclSource
foldClauses :: Name -> Nat -> [Clause] -> TCM [HsDecl]Source
processArgPats :: [Arg Pattern] -> PM [HsPat]Source
processArgPat :: Arg Pattern -> PM HsPatSource
processPat :: Pattern -> PM HsPatSource
processBody :: ClauseBody -> PM HsExpSource
processTerm :: Term -> PM HsExpSource
processLit :: Literal -> HsExpSource
processVap :: HsExp -> [Arg Term] -> PM HsExpSource
unfoldVap :: PState -> HsExp -> [Arg Term] -> TCM HsExpSource
getDefinitions :: TCM DefinitionsSource
getConArity :: QName -> TCM NatSource
typeArity :: Type -> NatSource
clauseBod :: Clause -> TermSource
vecApp :: HsExp -> [HsExp] -> HsExpSource
Produced by Haddock version 2.4.2