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

Index - H

handleAbortAgda.TypeChecking.MetaVars, Agda.Interaction.GhciTop
handleParseExceptionAgda.Interaction.Exceptions, Agda.Interaction.GhciTop
HandlePartSolAgda.Auto.NarrowingSearch
HandleSolAgda.Auto.NarrowingSearch
hangAgda.Utils.Pretty
hasCompiledDataAgda.Compiler.MAlonzo.Primitives
HasFreshAgda.Utils.Fresh
hashAgda.Utils.Hash
hasInputFileAgda.TypeChecking.Monad.Options, Agda.TypeChecking.Monad
HaskellCodeAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
HaskellKindAgda.Compiler.HaskellTypes
haskellKindAgda.Compiler.HaskellTypes
HaskellRepresentationAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
HaskellTypeAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
haskellTypeAgda.Compiler.HaskellTypes
HasMetaAgda.TypeChecking.MetaVars, Agda.Interaction.GhciTop
HasPolarityAgda.TypeChecking.Polarity
HasRangeAgda.Syntax.Position, Agda.Interaction.GhciTop
HasTypeAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
hasUniversePolymorphismAgda.TypeChecking.Monad.Options, Agda.TypeChecking.Monad
haveSizedTypesAgda.TypeChecking.SizedTypes
hcatAgda.Utils.Pretty
HeadAgda.Syntax.Abstract.Views
HeadConAgda.Syntax.Abstract.Views
HeadDefAgda.Syntax.Abstract.Views
HeadNormalAgda.Interaction.BasicOps
headSymbolAgda.TypeChecking.Injectivity
headToExprAgda.Syntax.Abstract.Views
HeadVarAgda.Syntax.Abstract.Views
helpAgda.Interaction.CommandLine.CommandLine
hequalMetavarAgda.Auto.NarrowingSearch
Here 
1 (Data Constructor)Agda.TypeChecking.Positivity
2 (Data Constructor)Agda.TypeChecking.With
hereAgda.TypeChecking.Positivity
hexDigitAgda.Utils.Char
hGetContentsAgda.Utils.IO.Locale
Hidden 
1 (Data Constructor)Agda.Auto.Syntax
2 (Data Constructor)Agda.Syntax.Common
HiddenArgAgda.Syntax.Concrete
hiddenArgumentCtxAgda.Syntax.Fixity
HiddenArgVAgda.Syntax.Concrete.Operators.Parser
hiddenFreqAgda.TypeChecking.Test.Generators
HiddenFreqs 
1 (Type/Class)Agda.TypeChecking.Test.Generators
2 (Data Constructor)Agda.TypeChecking.Test.Generators
hiddenFreqsAgda.TypeChecking.Test.Generators
HiddenPAgda.Syntax.Concrete
Hiding 
1 (Type/Class)Agda.Syntax.Common
2 (Data Constructor)Agda.Syntax.Concrete
HighlightingInfoAgda.Interaction.Highlighting.Precise
highMetaPriorityAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
hn'Agda.Auto.Typecheck
HNALConParAgda.Auto.Syntax
HNALConsAgda.Auto.Syntax
HNALNilAgda.Auto.Syntax
HNAppAgda.Auto.Syntax
HNArgListAgda.Auto.Syntax
hnarglistAgda.Auto.Typecheck
hncAgda.Auto.Typecheck
HNDoneAgda.Auto.Typecheck
HNExpAgda.Auto.Syntax
HNFunAgda.Auto.Syntax
HNLamAgda.Auto.Syntax
HNMetaAgda.Auto.Typecheck
hnnAgda.Auto.Typecheck
hnn'Agda.Auto.Typecheck
HNPiAgda.Auto.Syntax
HNResAgda.Auto.Typecheck
HNSortAgda.Auto.Syntax
Hole 
1 (Data Constructor)Agda.Syntax.Concrete.Name, Agda.Syntax.Concrete
2 (Data Constructor)Agda.Syntax.Internal.Pattern
holeAgda.Syntax.Parser.Comments
holesAgda.Utils.List
hPiAgda.TypeChecking.Primitive
hsApAgda.Compiler.Alonzo.Haskell
hsAppAgda.Compiler.HaskellTypes
hsCast 
1 (Function)Agda.Compiler.Alonzo.Haskell
2 (Function)Agda.Compiler.MAlonzo.Compiler
hsCast'Agda.Compiler.MAlonzo.Compiler
hsConAgda.Compiler.Alonzo.Haskell
HsDefnAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
hsep 
1 (Function)Agda.Utils.Pretty
2 (Function)Agda.TypeChecking.Pretty
hsErrorAgda.Compiler.Alonzo.Haskell
hsForallAgda.Compiler.HaskellTypes
hsFunAgda.Compiler.HaskellTypes
hsImportAgda.Compiler.Alonzo.Haskell
hsKFunAgda.Compiler.HaskellTypes
hsLamAgda.Compiler.Alonzo.Haskell
hslitAgda.Compiler.MAlonzo.Compiler
hsModuleAgda.Compiler.Alonzo.Haskell
hsModuleImportingAgda.Compiler.Alonzo.Haskell
hsPreludeNameAgda.Compiler.Alonzo.Haskell
hsPreludeTypedExpAgda.Compiler.Alonzo.Haskell
hsQImportAgda.Compiler.Alonzo.Haskell
hsStarAgda.Compiler.HaskellTypes
HsTypeAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
hsTypedExpAgda.Compiler.Alonzo.Haskell
hsUndefinedAgda.Compiler.Alonzo.Haskell
hsVar 
1 (Function)Agda.Compiler.Alonzo.Haskell
2 (Function)Agda.Compiler.HaskellTypes
hsVarUQAgda.Compiler.MAlonzo.Misc