• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Directory listing for uhc-light-1.1.8.1 documentation

uhc-light-1.1.8.1-docs/

• UHC-Light-Compiler-API.html
• UHC-Light-Compiler-Base-API.html
• UHC-Light-Compiler-Core-API.html
• UHC-Light-Compiler-CoreRun-API.html
• doc-index.html
• frames.html
• haddock-util.js
• hslogo-16.png
• mini_UHC-Light-Compiler-API.html
• mini_UHC-Light-Compiler-Base-API.html
• mini_UHC-Light-Compiler-Core-API.html
• mini_UHC-Light-Compiler-CoreRun-API.html
• minus.gif
• ocean.css
• plus.gif
• synopsis.png
• uhc-light.haddock
• uhc-light.txt
• src/
  • Paths_uhc_light.html
  • UHC-Light-Compiler-API.html
  • UHC-Light-Compiler-AbstractCore-Utils.html
  • UHC-Light-Compiler-AbstractCore.html
  • UHC-Light-Compiler-AnaDomain-Ftv.html
  • UHC-Light-Compiler-AnaDomain-Pretty.html
  • UHC-Light-Compiler-AnaDomain-Trf-Instantiate.html
  • UHC-Light-Compiler-AnaDomain-Trf-Subst.html
  • UHC-Light-Compiler-AnaDomain-Utils.html
  • UHC-Light-Compiler-AnaDomain.html
  • UHC-Light-Compiler-Base-API.html
  • UHC-Light-Compiler-Base-CfgPP.html
  • UHC-Light-Compiler-Base-Common.html
  • UHC-Light-Compiler-Base-Debug.html
  • UHC-Light-Compiler-Base-FileSearchLocation.html
  • UHC-Light-Compiler-Base-Fld.html
  • UHC-Light-Compiler-Base-HsName-Builtin.html
  • UHC-Light-Compiler-Base-HsName.html
  • UHC-Light-Compiler-Base-Optimize.html
  • UHC-Light-Compiler-Base-PackageDatabase.html
  • UHC-Light-Compiler-Base-ParseUtils.html
  • UHC-Light-Compiler-Base-Parser.html
  • UHC-Light-Compiler-Base-Parser2.html
  • UHC-Light-Compiler-Base-Pragma.html
  • UHC-Light-Compiler-Base-RLList.html
  • UHC-Light-Compiler-Base-Range.html
  • UHC-Light-Compiler-Base-Strictness.html
  • UHC-Light-Compiler-Base-Target.html
  • UHC-Light-Compiler-Base-TermLike.html
  • UHC-Light-Compiler-Base-TreeTrie.html
  • UHC-Light-Compiler-Base-UID.html
  • UHC-Light-Compiler-CHR-Constraint.html
  • UHC-Light-Compiler-CHR-Key.html
  • UHC-Light-Compiler-CHR-Solve.html
  • UHC-Light-Compiler-CHR.html
  • UHC-Light-Compiler-CodeGen-BasicAnnot.html
  • UHC-Light-Compiler-CodeGen-Bits.html
  • UHC-Light-Compiler-CodeGen-BuiltinPrims.html
  • UHC-Light-Compiler-CodeGen-BuiltinSizeInfo.html
  • UHC-Light-Compiler-CodeGen-CVar.html
  • UHC-Light-Compiler-CodeGen-Const.html
  • UHC-Light-Compiler-CodeGen-ImportUsedModules.html
  • UHC-Light-Compiler-CodeGen-ModuleImportExportImpl.html
  • UHC-Light-Compiler-CodeGen-RefGenerator.html
  • UHC-Light-Compiler-CodeGen-Tag.html
  • UHC-Light-Compiler-CodeGen-TrfUtils.html
  • UHC-Light-Compiler-CodeGen-ValAccess.html
  • UHC-Light-Compiler-Config.html
  • UHC-Light-Compiler-ConfigCabal.html
  • UHC-Light-Compiler-ConfigDefines.html
  • UHC-Light-Compiler-ConfigInstall.html
  • UHC-Light-Compiler-ConfigInternalVersions.html
  • UHC-Light-Compiler-Core-API.html
  • UHC-Light-Compiler-Core-BindExtract.html
  • UHC-Light-Compiler-Core-Check.html
  • UHC-Light-Compiler-Core-Coercion.html
  • UHC-Light-Compiler-Core-ExtractFFE.html
  • UHC-Light-Compiler-Core-FFI.html
  • UHC-Light-Compiler-Core-FvS.html
  • UHC-Light-Compiler-Core-Merge.html
  • UHC-Light-Compiler-Core-ModAsMap.html
  • UHC-Light-Compiler-Core-Parser.html
  • UHC-Light-Compiler-Core-Pretty.html
  • UHC-Light-Compiler-Core-Subst.html
  • UHC-Light-Compiler-Core-SysF-AsTy.html
  • UHC-Light-Compiler-Core-ToCoreRun.html
  • UHC-Light-Compiler-Core-ToGrin.html
  • UHC-Light-Compiler-Core-Trf-ANormal.html
  • UHC-Light-Compiler-Core-Trf-AnaRelevance.html
  • UHC-Light-Compiler-Core-Trf-AnnBasedSimplify.html
  • UHC-Light-Compiler-Core-Trf-CAFGlobalAsArg.html
  • UHC-Light-Compiler-Core-Trf-ConstProp.html
  • UHC-Light-Compiler-Core-Trf-ElimNonCodegenConstructs.html
  • UHC-Light-Compiler-Core-Trf-ElimTrivApp.html
  • UHC-Light-Compiler-Core-Trf-EraseExtractTysigCore.html
  • UHC-Light-Compiler-Core-Trf-EtaRed.html
  • UHC-Light-Compiler-Core-Trf-ExplicitStackTrace.html
  • UHC-Light-Compiler-Core-Trf-FixAfterParse.html
  • UHC-Light-Compiler-Core-Trf-FloatToGlobal.html
  • UHC-Light-Compiler-Core-Trf-InlineLetAlias.html
  • UHC-Light-Compiler-Core-Trf-LamGlobalAsArg.html
  • UHC-Light-Compiler-Core-Trf-LetDefBeforeUse.html
  • UHC-Light-Compiler-Core-Trf-LetFlattenStrict.html
  • UHC-Light-Compiler-Core-Trf-LetUnrec.html
  • UHC-Light-Compiler-Core-Trf-OptimizeStrictness.html
  • UHC-Light-Compiler-Core-Trf-RenUniq.html
  • UHC-Light-Compiler-Core-Trf.html
  • UHC-Light-Compiler-Core-UsedModNms.html
  • UHC-Light-Compiler-Core-Utils.html
  • UHC-Light-Compiler-Core.html
  • UHC-Light-Compiler-CoreRun-API-Internal.html
  • UHC-Light-Compiler-CoreRun-API.html
  • UHC-Light-Compiler-CoreRun-Parser.html
  • UHC-Light-Compiler-CoreRun-Pretty.html
  • UHC-Light-Compiler-CoreRun-Prim.html
  • UHC-Light-Compiler-CoreRun-Run-Val-Prim.html
  • UHC-Light-Compiler-CoreRun-Run-Val-RunExplStk.html
  • UHC-Light-Compiler-CoreRun-Run-Val-RunImplStk.html
  • UHC-Light-Compiler-CoreRun-Run-Val.html
  • UHC-Light-Compiler-CoreRun-Run.html
  • UHC-Light-Compiler-CoreRun.html
  • UHC-Light-Compiler-Deriving.html
  • UHC-Light-Compiler-EH-MainAG.html
  • UHC-Light-Compiler-EH-MainAG_AGItf.html
  • UHC-Light-Compiler-EH-MainAG_CaseAlt.html
  • UHC-Light-Compiler-EH-MainAG_CaseAlts.html
  • UHC-Light-Compiler-EH-MainAG_DataConstr.html
  • UHC-Light-Compiler-EH-MainAG_DataConstrs.html
  • UHC-Light-Compiler-EH-MainAG_DataField.html
  • UHC-Light-Compiler-EH-MainAG_DataFieldExpr.html
  • UHC-Light-Compiler-EH-MainAG_DataFieldPatExpr.html
  • UHC-Light-Compiler-EH-MainAG_DataFields.html
  • UHC-Light-Compiler-EH-MainAG_Decl.html
  • UHC-Light-Compiler-EH-MainAG_Decls.html
  • UHC-Light-Compiler-EH-MainAG_Expr.html
  • UHC-Light-Compiler-EH-MainAG_ExprAnn.html
  • UHC-Light-Compiler-EH-MainAG_FuncDep.html
  • UHC-Light-Compiler-EH-MainAG_FuncDeps.html
  • UHC-Light-Compiler-EH-MainAG_KiExpr.html
  • UHC-Light-Compiler-EH-MainAG_KiExprAnn.html
  • UHC-Light-Compiler-EH-MainAG_MbTyExpr.html
  • UHC-Light-Compiler-EH-MainAG_PatExpr.html
  • UHC-Light-Compiler-EH-MainAG_PatExprAnn.html
  • UHC-Light-Compiler-EH-MainAG_PrExpr.html
  • UHC-Light-Compiler-EH-MainAG_PrExprs.html
  • UHC-Light-Compiler-EH-MainAG_RecExpr.html
  • UHC-Light-Compiler-EH-MainAG_RecPatExpr.html
  • UHC-Light-Compiler-EH-MainAG_RowTyExpr.html
  • UHC-Light-Compiler-EH-MainAG_TyExpr.html
  • UHC-Light-Compiler-EH-MainAG_TyExprAnn.html
  • UHC-Light-Compiler-EH-MainAG_TyExprs.html
  • UHC-Light-Compiler-EH-MainAG_TyVar.html
  • UHC-Light-Compiler-EH-MainAG_TyVars.html
  • UHC-Light-Compiler-EH-MainAG_common.html
  • UHC-Light-Compiler-EH-Parser.html
  • UHC-Light-Compiler-EH.html
  • UHC-Light-Compiler-EHC-Common.html
  • UHC-Light-Compiler-EHC-CompileGroup.html
  • UHC-Light-Compiler-EHC-CompilePhase-Cleanup.html
  • UHC-Light-Compiler-EHC-CompilePhase-Common.html
  • UHC-Light-Compiler-EHC-CompilePhase-CompileC.html
  • UHC-Light-Compiler-EHC-CompilePhase-FlowBetweenPhase.html
  • UHC-Light-Compiler-EHC-CompilePhase-Link.html
  • UHC-Light-Compiler-EHC-CompilePhase-Module.html
  • UHC-Light-Compiler-EHC-CompilePhase-Output.html
  • UHC-Light-Compiler-EHC-CompilePhase-Parsers.html
  • UHC-Light-Compiler-EHC-CompilePhase-Run.html
  • UHC-Light-Compiler-EHC-CompilePhase-Semantics.html
  • UHC-Light-Compiler-EHC-CompilePhase-TopLevelPhases.html
  • UHC-Light-Compiler-EHC-CompilePhase-Transformations.html
  • UHC-Light-Compiler-EHC-CompilePhase-Translations.html
  • UHC-Light-Compiler-EHC-CompileRun.html
  • UHC-Light-Compiler-EHC-CompileUnit.html
  • UHC-Light-Compiler-EHC-Environment.html
  • UHC-Light-Compiler-EHC-InitialSetup.html
  • UHC-Light-Compiler-EHC-Main-Utils.html
  • UHC-Light-Compiler-EHC-Main.html
  • UHC-Light-Compiler-Error-Pretty.html
  • UHC-Light-Compiler-Error.html
  • UHC-Light-Compiler-FinalEnv.html
  • UHC-Light-Compiler-Foreign-Boxing.html
  • UHC-Light-Compiler-Foreign-Extract.html
  • UHC-Light-Compiler-Foreign-Parser.html
  • UHC-Light-Compiler-Foreign-Pretty.html
  • UHC-Light-Compiler-Foreign.html
  • UHC-Light-Compiler-Gam-AppSpineGam.html
  • UHC-Light-Compiler-Gam-Base.html
  • UHC-Light-Compiler-Gam-ClGam.html
  • UHC-Light-Compiler-Gam-ClassDefaultGam.html
  • UHC-Light-Compiler-Gam-DataGam.html
  • UHC-Light-Compiler-Gam-FixityGam.html
  • UHC-Light-Compiler-Gam-Full.html
  • UHC-Light-Compiler-Gam-Instantiate.html
  • UHC-Light-Compiler-Gam-KiGam.html
  • UHC-Light-Compiler-Gam-PolGam.html
  • UHC-Light-Compiler-Gam-Quantify.html
  • UHC-Light-Compiler-Gam-TyGam.html
  • UHC-Light-Compiler-Gam-TyKiGam.html
  • UHC-Light-Compiler-Gam-Utils.html
  • UHC-Light-Compiler-Gam-ValGam.html
  • UHC-Light-Compiler-Gam.html
  • UHC-Light-Compiler-Generics.html
  • UHC-Light-Compiler-HI.html
  • UHC-Light-Compiler-HS-MainAG.html
  • UHC-Light-Compiler-HS-ModImpExp.html
  • UHC-Light-Compiler-HS-Parser.html
  • UHC-Light-Compiler-HS.html
  • UHC-Light-Compiler-LamInfo.html
  • UHC-Light-Compiler-Module-ImportExport.html
  • UHC-Light-Compiler-Module-Merge.html
  • UHC-Light-Compiler-NameAspect.html
  • UHC-Light-Compiler-Opts-Base.html
  • UHC-Light-Compiler-Opts-CommandLine.html
  • UHC-Light-Compiler-Opts.html
  • UHC-Light-Compiler-Pred-CHR.html
  • UHC-Light-Compiler-Pred-CommonCHR.html
  • UHC-Light-Compiler-Pred-Evidence.html
  • UHC-Light-Compiler-Pred-EvidenceToCore.html
  • UHC-Light-Compiler-Pred-Heuristics.html
  • UHC-Light-Compiler-Pred-RedGraph.html
  • UHC-Light-Compiler-Pred-ToCHR.html
  • UHC-Light-Compiler-Pred.html
  • UHC-Light-Compiler-Scanner-Common.html
  • UHC-Light-Compiler-Scanner-Machine.html
  • UHC-Light-Compiler-Scanner-Scanner.html
  • UHC-Light-Compiler-Scanner-Token.html
  • UHC-Light-Compiler-Scanner-TokenParser.html
  • UHC-Light-Compiler-SourceCodeSig.html
  • UHC-Light-Compiler-Substitutable.html
  • UHC-Light-Compiler-Ty-AppSpineGam.html
  • UHC-Light-Compiler-Ty-FIEnv.html
  • UHC-Light-Compiler-Ty-FIEnv2.html
  • UHC-Light-Compiler-Ty-FitsIn.html
  • UHC-Light-Compiler-Ty-FitsInCommon.html
  • UHC-Light-Compiler-Ty-FitsInCommon2.html
  • UHC-Light-Compiler-Ty-Ftv.html
  • UHC-Light-Compiler-Ty-Parser.html
  • UHC-Light-Compiler-Ty-Pretty.html
  • UHC-Light-Compiler-Ty-TreeTrieKey.html
  • UHC-Light-Compiler-Ty-Trf-BetaReduce.html
  • UHC-Light-Compiler-Ty-Trf-Canonic.html
  • UHC-Light-Compiler-Ty-Trf-FreshVar.html
  • UHC-Light-Compiler-Ty-Trf-Instantiate.html
  • UHC-Light-Compiler-Ty-Trf-MergePreds.html
  • UHC-Light-Compiler-Ty-Trf-Quantify.html
  • UHC-Light-Compiler-Ty-Trf-Subst.html
  • UHC-Light-Compiler-Ty-UsedNames.html
  • UHC-Light-Compiler-Ty-Utils1.html
  • UHC-Light-Compiler-Ty-Utils2.html
  • UHC-Light-Compiler-Ty.html
  • UHC-Light-Compiler-VarLookup.html
  • UHC-Light-Compiler-VarMp-Utils.html
  • UHC-Light-Compiler-VarMp.html
  • hscolour.css