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

Index - H

handleAbortAgda.TypeChecking.MetaVars, Agda.Interaction.GhciTop
handleParseExceptionAgda.Interaction.Exceptions, Agda.Interaction.GhciTop
HandleSolAgda.Auto.NarrowingSearch
hangAgda.Utils.Pretty
hasBadRigidAgda.TypeChecking.MetaVars.Occurs
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
hasVerbosityAgda.TypeChecking.Monad.Options, Agda.TypeChecking.Monad
HasZeroAgda.Termination.Semiring
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
HI 
1 (Type/Class)Agda.Auto.CaseSplit
2 (Data Constructor)Agda.Auto.CaseSplit
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
hideAgda.Syntax.Common
Hiding 
1 (Type/Class)Agda.Syntax.Common
2 (Data Constructor)Agda.Syntax.Concrete
HighlightingInfoAgda.Interaction.Highlighting.Precise
highMetaPriorityAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
HintModeAgda.Auto.Syntax
HMNormalAgda.Auto.Syntax
HMRecCallAgda.Auto.Syntax
HNALConParAgda.Auto.Syntax
HNALConsAgda.Auto.Syntax
HNALNilAgda.Auto.Syntax
HNAppAgda.Auto.Syntax
HNArgListAgda.Auto.Syntax
hnarglistAgda.Auto.Typecheck
hnbAgda.Auto.Typecheck
hncAgda.Auto.Typecheck
HNDoneAgda.Auto.Typecheck
HNExpAgda.Auto.Syntax
HNLamAgda.Auto.Syntax
HNMetaAgda.Auto.Typecheck
hnnAgda.Auto.Typecheck
hnn'Agda.Auto.Typecheck
HNNBlksAgda.Auto.Typecheck
hnn_blksAgda.Auto.Typecheck
hnn_checkstepAgda.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
HoleNameAgda.Syntax.Notation
holeNameAgda.Syntax.Notation
holesAgda.Utils.List
holeTargetAgda.Syntax.Notation
hPiAgda.TypeChecking.Primitive
hsAppAgda.Compiler.HaskellTypes
hsCastAgda.Compiler.MAlonzo.Compiler
hsCast'Agda.Compiler.MAlonzo.Compiler
HsDefnAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
hsep 
1 (Function)Agda.Utils.Pretty
2 (Function)Agda.TypeChecking.Pretty
hsForallAgda.Compiler.HaskellTypes
hsFunAgda.Compiler.HaskellTypes
hsKFunAgda.Compiler.HaskellTypes
hslitAgda.Compiler.MAlonzo.Compiler
hsStarAgda.Compiler.HaskellTypes
HsTypeAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
hsVarAgda.Compiler.HaskellTypes
hsVarUQAgda.Compiler.MAlonzo.Misc