free-compiler-0.3.0.0: A Haskell to Coq compiler.

Index - H

hangFreeC.Pretty
HasDeclIdentFreeC.IR.Syntax.Name, FreeC.IR.Syntax
hasEffectFreeC.Environment
HasEtaFreeC.Backend.Agda.Syntax
hasNoFreeVariablesFreeC.Backend.Agda.Syntax
hasQuantity0FreeC.Backend.Agda.Syntax
hasQuantity1FreeC.Backend.Agda.Syntax
hasQuantityωFreeC.Backend.Agda.Syntax
HasRangeFreeC.Backend.Agda.Syntax
HasRefsFreeC.IR.Reference
hasSourceCodeFreeC.IR.SrcSpan
hasSrcFileContentsFreeC.IR.SrcSpan
hasSrcSpanFileFreeC.IR.SrcSpan
HasTypeFreeC.Backend.Coq.Syntax
hcatFreeC.Pretty
HiddenFreeC.Backend.Agda.Syntax
hiddenFreeC.Backend.Agda.Syntax
HiddenArgFreeC.Backend.Agda.Syntax
hiddenArg_FreeC.Backend.Agda.Syntax
HiddenPFreeC.Backend.Agda.Syntax
hideFreeC.Backend.Agda.Syntax
hideOrKeepInstanceFreeC.Backend.Agda.Syntax
HidingFreeC.Backend.Agda.Syntax
hidingFreeC.Backend.Agda.Syntax
Hint 
1 (Type/Class)FreeC.Backend.Coq.Syntax
2 (Data Constructor)FreeC.Backend.Coq.Syntax
HintConstantsFreeC.Backend.Coq.Syntax
HintConstructorsFreeC.Backend.Coq.Syntax
HintDefinitionFreeC.Backend.Coq.Syntax
HintExternFreeC.Backend.Coq.Syntax
HintImmediateFreeC.Backend.Coq.Syntax
HintResolveFreeC.Backend.Coq.Syntax
HintResolveImpFreeC.Backend.Coq.Syntax
HintSentenceFreeC.Backend.Coq.Syntax
HintTransparencyFreeC.Backend.Coq.Syntax
HintUnfoldFreeC.Backend.Coq.Syntax
HintVariablesFreeC.Backend.Coq.Syntax
hoistFreeC.Monad.Class.Hoistable, FreeC.Monad.Reporter, FreeC.Monad.Converter
HoistableFreeC.Monad.Class.Hoistable
hoistMaybeFreeC.Monad.Class.Hoistable
HoleFreeC.Backend.Agda.Syntax
HoleContentFreeC.Backend.Agda.Syntax
HoleContent'FreeC.Backend.Agda.Syntax
HoleContentExprFreeC.Backend.Agda.Syntax
HoleContentRewriteFreeC.Backend.Agda.Syntax
hPutDocFreeC.Pretty
hPutPrettyFreeC.Pretty
hPutPrettyLnFreeC.Pretty
HsCharFreeC.Backend.Coq.Syntax
hsepFreeC.Pretty
HsStringFreeC.Backend.Coq.Syntax
HypothesesFreeC.Backend.Coq.Syntax
HypothesisFreeC.Backend.Coq.Syntax