eof package:Agda

eof :: LexPredicate
Agda Agda.Syntax.Parser.LexActions
True if we are at the end of the file.
checkTypeOfMain :: Definition -> HsCompileM (Maybe CheckedMainFunctionDef)
Agda Agda.Compiler.MAlonzo.Primitives
Check that the main function has type IO a, for some a.
checkTypeOfMain' :: MainFunctionDef -> TCM CheckedMainFunctionDef
Agda Agda.Compiler.MAlonzo.Primitives
FindInstanceOF :: b -> a -> [(a, a, a)] -> OutputConstraint_boot tcErr a b
Agda Agda.Interaction.Base
ResolveInstanceOF :: QName -> OutputConstraint_boot tcErr a b
Agda Agda.Interaction.Base
typeOfMeta :: Rewrite -> InteractionId -> TCM (OutputConstraint Expr InteractionId)
Agda Agda.Interaction.BasicOps
typeOfMeta' :: Rewrite -> (InteractionId, MetaId) -> TCM (OutputConstraint Expr InteractionId)
Agda Agda.Interaction.BasicOps
typeOfMetaMI :: Rewrite -> MetaId -> TCM (OutputConstraint Expr NamedMeta)
Agda Agda.Interaction.BasicOps
prettyTypeOfMeta :: Rewrite -> InteractionId -> TCM Doc
Agda Agda.Interaction.EmacsTop
Pretty-prints the type of the meta-variable.
srcFileOfInterface :: TopLevelModuleName -> Interface -> HtmlInputSourceFile
Agda Agda.Interaction.Highlighting.HTML.Base
Bundle up the highlighting info for a source file
ConstructorNameOfNonRecord_ :: ErrorName
Agda Agda.Interaction.Options.Errors
EmptyTypeOfSizes_ :: ErrorName
Agda Agda.Interaction.Options.Errors
WrongTypeOfMain_ :: GHCBackendError_
Agda Agda.Interaction.Options.Errors
ConfluenceCheckingIncompleteBecauseOfMeta_ :: WarningName
Agda Agda.Interaction.Options.Warnings
isLeChildModuleOf :: ModuleName -> ModuleName -> Bool
Agda Agda.Syntax.Abstract.Name
Is the first module a weak child of the second?
isLeParentModuleOf :: ModuleName -> ModuleName -> Bool
Agda Agda.Syntax.Abstract.Name
Is the first module a weak parent of the second?
isLtChildModuleOf :: ModuleName -> ModuleName -> Bool
Agda Agda.Syntax.Abstract.Name
Is the first module a proper child of the second?
isLtParentModuleOf :: ModuleName -> ModuleName -> Bool
Agda Agda.Syntax.Abstract.Name
Is the first module a proper parent of the second?
type family NameOf a
Agda Agda.Syntax.Common
The type of the name
bareNameOf :: (LensNamed a, NameOf a ~ NamedName) => a -> Maybe ArgName
Agda Agda.Syntax.Common
getNameOf :: LensNamed a => a -> Maybe (NameOf a)
Agda Agda.Syntax.Common
mapNameOf :: LensNamed a => (Maybe (NameOf a) -> Maybe (NameOf a)) -> a -> a
Agda Agda.Syntax.Common
nameOf :: Named name a -> Maybe name
Agda Agda.Syntax.Common
rangeOf :: Ranged a -> Range
Agda Agda.Syntax.Common
setNameOf :: LensNamed a => Maybe (NameOf a) -> a -> a
Agda Agda.Syntax.Common