hang | FreeC.Pretty |
HasDeclIdent | FreeC.IR.Syntax.Name, FreeC.IR.Syntax |
hasEffect | FreeC.Environment |
HasEta | FreeC.Backend.Agda.Syntax |
hasNoFreeVariables | FreeC.Backend.Agda.Syntax |
hasQuantity0 | FreeC.Backend.Agda.Syntax |
hasQuantity1 | FreeC.Backend.Agda.Syntax |
hasQuantityω | FreeC.Backend.Agda.Syntax |
HasRange | FreeC.Backend.Agda.Syntax |
HasRefs | FreeC.IR.Reference |
hasSourceCode | FreeC.IR.SrcSpan |
hasSrcFileContents | FreeC.IR.SrcSpan |
hasSrcSpanFile | FreeC.IR.SrcSpan |
HasType | FreeC.Backend.Coq.Syntax |
hcat | FreeC.Pretty |
Hidden | FreeC.Backend.Agda.Syntax |
hidden | FreeC.Backend.Agda.Syntax |
HiddenArg | FreeC.Backend.Agda.Syntax |
hiddenArg_ | FreeC.Backend.Agda.Syntax |
HiddenP | FreeC.Backend.Agda.Syntax |
hide | FreeC.Backend.Agda.Syntax |
hideOrKeepInstance | FreeC.Backend.Agda.Syntax |
Hiding | FreeC.Backend.Agda.Syntax |
hiding | FreeC.Backend.Agda.Syntax |
Hint | |
1 (Type/Class) | FreeC.Backend.Coq.Syntax |
2 (Data Constructor) | FreeC.Backend.Coq.Syntax |
HintConstants | FreeC.Backend.Coq.Syntax |
HintConstructors | FreeC.Backend.Coq.Syntax |
HintDefinition | FreeC.Backend.Coq.Syntax |
HintExtern | FreeC.Backend.Coq.Syntax |
HintImmediate | FreeC.Backend.Coq.Syntax |
HintResolve | FreeC.Backend.Coq.Syntax |
HintResolveImp | FreeC.Backend.Coq.Syntax |
HintSentence | FreeC.Backend.Coq.Syntax |
HintTransparency | FreeC.Backend.Coq.Syntax |
HintUnfold | FreeC.Backend.Coq.Syntax |
HintVariables | FreeC.Backend.Coq.Syntax |
hoist | FreeC.Monad.Class.Hoistable, FreeC.Monad.Reporter, FreeC.Monad.Converter |
Hoistable | FreeC.Monad.Class.Hoistable |
hoistMaybe | FreeC.Monad.Class.Hoistable |
Hole | FreeC.Backend.Agda.Syntax |
HoleContent | FreeC.Backend.Agda.Syntax |
HoleContent' | FreeC.Backend.Agda.Syntax |
HoleContentExpr | FreeC.Backend.Agda.Syntax |
HoleContentRewrite | FreeC.Backend.Agda.Syntax |
hPutDoc | FreeC.Pretty |
hPutPretty | FreeC.Pretty |
hPutPrettyLn | FreeC.Pretty |
HsChar | FreeC.Backend.Coq.Syntax |
hsep | FreeC.Pretty |
HsString | FreeC.Backend.Coq.Syntax |
Hypotheses | FreeC.Backend.Coq.Syntax |
Hypothesis | FreeC.Backend.Coq.Syntax |