Index - O
| O | Language.Haskell.Liquid.Types.Types |
| obl | Language.Haskell.Liquid.Types.Errors |
| Oblig | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types |
| oblig | Language.Haskell.Liquid.Constraint.Types |
| occInfo | Liquid.GHC.API |
| OccName | Liquid.GHC.API |
| occNameFS | Liquid.GHC.API |
| occNameString | Liquid.GHC.API |
| occurAnalysePgm | Liquid.GHC.API |
| OccurrenceMap | Language.Haskell.Liquid.GHC.Play |
| OCons | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types |
| ofBareType | Language.Haskell.Liquid.Bare.Resolve |
| ofBareTypeE | Language.Haskell.Liquid.Bare.Resolve |
| ofBPVar | Language.Haskell.Liquid.Bare.Resolve |
| ofReft | Language.Haskell.Liquid.Types.RType |
| ofRSort | Language.Haskell.Liquid.Types.RTypeOp |
| ofType | Language.Haskell.Liquid.Types.RefType |
| ofUReft | Language.Haskell.Liquid.Types.RType |
| OInv | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types |
| OkRT | Language.Haskell.Liquid.Types.RType, Language.Haskell.Liquid.Types.PrettyPrint |
| oldOutput | Language.Haskell.Liquid.UX.DiffCheck |
| oldPLE | Language.Haskell.Liquid.UX.Config |
| omeasures | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Measure |
| oneLine | Language.Haskell.Liquid.GHC.Misc |
| OpaqueReflect | Language.Haskell.Liquid.Parse |
| opaqueReflects | Language.Haskell.Liquid.Types.Specs, Language.Haskell.Liquid.Measure |
| openBinMem | Liquid.GHC.API |
| Opt_AbstractRefHoleFits | Liquid.GHC.API |
| Opt_AlignmentSanitisation | Liquid.GHC.API |
| Opt_AsmShortcutting | Liquid.GHC.API |
| Opt_AutoLinkPackages | Liquid.GHC.API |
| Opt_AutoSccsOnIndividualCafs | Liquid.GHC.API |
| Opt_BreakOnError | Liquid.GHC.API |
| Opt_BreakOnException | Liquid.GHC.API |
| Opt_BuildDynamicToo | Liquid.GHC.API |
| Opt_BuildingCabalPackage | Liquid.GHC.API |
| Opt_ByteCode | Liquid.GHC.API |
| Opt_ByteCodeAndObjectCode | Liquid.GHC.API |
| Opt_CallArity | Liquid.GHC.API |
| Opt_CaseFolding | Liquid.GHC.API |
| Opt_CaseMerge | Liquid.GHC.API |
| Opt_CatchNonexhaustiveCases | Liquid.GHC.API |
| Opt_CfgBlocklayout | Liquid.GHC.API |
| Opt_CmmControlFlow | Liquid.GHC.API |
| Opt_CmmElimCommonBlocks | Liquid.GHC.API |
| Opt_CmmSink | Liquid.GHC.API |
| Opt_CmmStaticPred | Liquid.GHC.API |
| Opt_CmmThreadSanitizer | Liquid.GHC.API |
| Opt_CompactUnwind | Liquid.GHC.API |
| Opt_CoreConstantFolding | Liquid.GHC.API |
| Opt_CprAnal | Liquid.GHC.API |
| Opt_CrossModuleSpecialise | Liquid.GHC.API |
| Opt_CSE | Liquid.GHC.API |
| Opt_DeferDiagnostics | Liquid.GHC.API |
| Opt_DeferOutOfScopeVariables | Liquid.GHC.API |
| Opt_DeferTypedHoles | Liquid.GHC.API |
| Opt_DeferTypeErrors | Liquid.GHC.API |
| Opt_DiagnosticsAsJSON | Liquid.GHC.API |
| Opt_DiagnosticsShowCaret | Liquid.GHC.API |
| Opt_DictsCheap | Liquid.GHC.API |
| Opt_DictsStrict | Liquid.GHC.API |
| Opt_DisableJsCsources | Liquid.GHC.API |
| Opt_DisableJsMinifier | Liquid.GHC.API |
| Opt_DistinctConstructorTables | Liquid.GHC.API |
| Opt_DistrustAllPackages | Liquid.GHC.API |
| Opt_DmdTxDictSel | Liquid.GHC.API |
| Opt_DoAnnotationLinting | Liquid.GHC.API |
| Opt_DoAsmLinting | Liquid.GHC.API |
| Opt_DoBoundsChecking | Liquid.GHC.API |
| Opt_DoCleverArgEtaExpansion | Liquid.GHC.API |
| Opt_DoCmmLinting | Liquid.GHC.API |
| Opt_DoCoreLinting | Liquid.GHC.API |
| Opt_DoEtaReduction | Liquid.GHC.API |
| Opt_DoLambdaEtaExpansion | Liquid.GHC.API |
| Opt_DoLinearCoreLinting | Liquid.GHC.API |
| Opt_DoStgLinting | Liquid.GHC.API |
| Opt_DoTagInferenceChecks | Liquid.GHC.API |
| Opt_DumpToFile | Liquid.GHC.API |
| Opt_DumpWithWays | Liquid.GHC.API |
| Opt_D_dump_minimal_imports | Liquid.GHC.API |
| Opt_EagerBlackHoling | Liquid.GHC.API |
| Opt_EmbedManifest | Liquid.GHC.API |
| Opt_EnableRewriteRules | Liquid.GHC.API |
| Opt_EnableThSpliceWarnings | Liquid.GHC.API |
| Opt_ErrorSpans | Liquid.GHC.API |
| Opt_ExcessPrecision | Liquid.GHC.API |
| Opt_Exitification | Liquid.GHC.API |
| Opt_ExposeAllUnfoldings | Liquid.GHC.API |
| Opt_ExposeInternalSymbols | Liquid.GHC.API |
| Opt_ExternalDynamicRefs | Liquid.GHC.API |
| Opt_ExternalInterpreter | Liquid.GHC.API |
| Opt_FamAppCache | Liquid.GHC.API |
| Opt_FastLlvm | Liquid.GHC.API |
| Opt_FastPAPCalls | Liquid.GHC.API |
| Opt_FloatIn | Liquid.GHC.API |
| Opt_ForceRecomp | Liquid.GHC.API |
| Opt_FullLaziness | Liquid.GHC.API |
| Opt_FunToThunk | Liquid.GHC.API |
| Opt_GenManifest | Liquid.GHC.API |
| Opt_GhciHistory | Liquid.GHC.API |
| Opt_GhciLeakCheck | Liquid.GHC.API |
| Opt_GhciSandbox | Liquid.GHC.API |
| Opt_G_NoOptCoercion | Liquid.GHC.API |
| Opt_G_NoStateHack | Liquid.GHC.API |
| Opt_Haddock | Liquid.GHC.API |
| Opt_HaddockOptions | Liquid.GHC.API |
| Opt_HelpfulErrors | Liquid.GHC.API |
| Opt_HexWordLiterals | Liquid.GHC.API |
| Opt_HideAllPackages | Liquid.GHC.API |
| Opt_HideAllPluginPackages | Liquid.GHC.API |
| Opt_HideSourcePaths | Liquid.GHC.API |
| Opt_Hpc | Liquid.GHC.API |
| Opt_IgnoreAsserts | Liquid.GHC.API |
| Opt_IgnoreDotGhci | Liquid.GHC.API |
| Opt_IgnoreHpcChanges | Liquid.GHC.API |
| Opt_IgnoreInterfacePragmas | Liquid.GHC.API |
| Opt_IgnoreOptimChanges | Liquid.GHC.API |
| Opt_ImplicitImportQualified | Liquid.GHC.API |
| Opt_InfoTableMap | Liquid.GHC.API |
| Opt_InfoTableMapWithFallback | Liquid.GHC.API |
| Opt_InfoTableMapWithStack | Liquid.GHC.API |
| Opt_InlineGenerics | Liquid.GHC.API |
| Opt_InlineGenericsAggressively | Liquid.GHC.API |
| Opt_InsertBreakpoints | Liquid.GHC.API |
| Opt_IrrefutableTuples | Liquid.GHC.API |
| Opt_KeepAutoRules | Liquid.GHC.API |
| Opt_KeepCAFs | Liquid.GHC.API |
| Opt_KeepGoing | Liquid.GHC.API |
| Opt_KeepHcFiles | Liquid.GHC.API |
| Opt_KeepHiDiffs | Liquid.GHC.API |
| Opt_KeepHiFiles | Liquid.GHC.API |
| Opt_KeepHscppFiles | Liquid.GHC.API |
| Opt_KeepLlvmFiles | Liquid.GHC.API |
| Opt_KeepOFiles | Liquid.GHC.API |
| Opt_KeepRawTokenStream | Liquid.GHC.API |
| Opt_KeepSFiles | Liquid.GHC.API |
| Opt_KeepTmpFiles | Liquid.GHC.API |
| Opt_KillAbsence | Liquid.GHC.API |
| Opt_KillOneShot | Liquid.GHC.API |
| Opt_LateDmdAnal | Liquid.GHC.API |
| Opt_LateSpecialise | Liquid.GHC.API |
| Opt_LiberateCase | Liquid.GHC.API |
| Opt_LinkRts | Liquid.GHC.API |
| Opt_LlvmFillUndefWithGarbage | Liquid.GHC.API |
| Opt_LocalFloatOut | Liquid.GHC.API |
| Opt_LocalFloatOutTopLevel | Liquid.GHC.API |
| Opt_LocalGhciHistory | Liquid.GHC.API |
| Opt_Loopification | Liquid.GHC.API |
| Opt_NoHsMain | Liquid.GHC.API |
| Opt_NoIt | Liquid.GHC.API |
| Opt_NoLlvmMangler | Liquid.GHC.API |
| Opt_NoTypeableBinds | Liquid.GHC.API |
| Opt_NumConstantFolding | Liquid.GHC.API |
| Opt_OmitInterfacePragmas | Liquid.GHC.API |
| Opt_OmitYields | Liquid.GHC.API |
| Opt_OptimalApplicativeDo | Liquid.GHC.API |
| Opt_OrigThunkInfo | Liquid.GHC.API |
| Opt_PackageTrust | Liquid.GHC.API |
| Opt_PedanticBottoms | Liquid.GHC.API |
| Opt_PIC | Liquid.GHC.API |
| Opt_PICExecutable | Liquid.GHC.API |
| Opt_PIE | Liquid.GHC.API |
| Opt_PluginTrustworthy | Liquid.GHC.API |
| Opt_PolymorphicSpecialisation | Liquid.GHC.API |
| Opt_Pp | Liquid.GHC.API |
| Opt_PprCaseAsLet | Liquid.GHC.API |
| Opt_PprShowTicks | Liquid.GHC.API |
| Opt_PrintAxiomIncomps | Liquid.GHC.API |
| Opt_PrintBindContents | Liquid.GHC.API |
| Opt_PrintBindResult | Liquid.GHC.API |
| Opt_PrintEqualityRelations | Liquid.GHC.API |
| Opt_PrintEvldWithShow | Liquid.GHC.API |
| Opt_PrintExpandedSynonyms | Liquid.GHC.API |
| Opt_PrintExplicitCoercions | Liquid.GHC.API |
| Opt_PrintExplicitForalls | Liquid.GHC.API |
| Opt_PrintExplicitKinds | Liquid.GHC.API |
| Opt_PrintExplicitRuntimeReps | Liquid.GHC.API |
| Opt_PrintPotentialInstances | Liquid.GHC.API |
| Opt_PrintRedundantPromotionTicks | Liquid.GHC.API |
| Opt_PrintTypecheckerElaboration | Liquid.GHC.API |
| Opt_PrintUnicodeSyntax | Liquid.GHC.API |
| Opt_ProfCountEntries | Liquid.GHC.API |
| Opt_ProfLateCcs | Liquid.GHC.API |
| Opt_ProfLateInlineCcs | Liquid.GHC.API |
| Opt_ProfLateoverloadedCallsCCs | Liquid.GHC.API |
| Opt_ProfLateOverloadedCcs | Liquid.GHC.API |
| Opt_ProfManualCcs | Liquid.GHC.API |
| Opt_RegsGraph | Liquid.GHC.API |
| Opt_RegsIterative | Liquid.GHC.API |
| Opt_RelativeDynlibPaths | Liquid.GHC.API |
| Opt_RPath | Liquid.GHC.API |
| Opt_SharedImplib | Liquid.GHC.API |
| Opt_ShowDocsOfHoleFits | Liquid.GHC.API |
| Opt_ShowErrorContext | Liquid.GHC.API |
| Opt_ShowHoleConstraints | Liquid.GHC.API |
| Opt_ShowLoadedModules | Liquid.GHC.API |
| Opt_ShowMatchesOfHoleFits | Liquid.GHC.API |
| Opt_ShowProvOfHoleFits | Liquid.GHC.API |
| Opt_ShowTypeAppOfHoleFits | Liquid.GHC.API |
| Opt_ShowTypeAppVarsOfHoleFits | Liquid.GHC.API |
| Opt_ShowTypeOfHoleFits | Liquid.GHC.API |
| Opt_ShowValidHoleFits | Liquid.GHC.API |
| Opt_ShowWarnGroups | Liquid.GHC.API |
| Opt_SimplPreInlining | Liquid.GHC.API |
| Opt_SingleLibFolder | Liquid.GHC.API |
| Opt_SolveConstantDicts | Liquid.GHC.API |
| Opt_SortBySizeHoleFits | Liquid.GHC.API |
| Opt_SortBySubsumHoleFits | Liquid.GHC.API |
| Opt_SortValidHoleFits | Liquid.GHC.API |
| Opt_SpecConstr | Liquid.GHC.API |
| Opt_SpecConstrKeen | Liquid.GHC.API |
| Opt_Specialise | Liquid.GHC.API |
| Opt_SpecialiseAggressively | Liquid.GHC.API |
| Opt_SpecialiseIncoherents | Liquid.GHC.API |
| Opt_SplitSections | Liquid.GHC.API |
| Opt_StaticArgumentTransformation | Liquid.GHC.API |
| Opt_StgCSE | Liquid.GHC.API |
| Opt_StgLiftLams | Liquid.GHC.API |
| Opt_StgStats | Liquid.GHC.API |
| Opt_Strictness | Liquid.GHC.API |
| Opt_SuppressCoercions | Liquid.GHC.API |
| Opt_SuppressCoercionTypes | Liquid.GHC.API |
| Opt_SuppressCoreSizes | Liquid.GHC.API |
| Opt_SuppressIdInfo | Liquid.GHC.API |
| Opt_SuppressModulePrefixes | Liquid.GHC.API |
| Opt_SuppressStgExts | Liquid.GHC.API |
| Opt_SuppressStgReps | Liquid.GHC.API |
| Opt_SuppressTicks | Liquid.GHC.API |
| Opt_SuppressTimestamps | Liquid.GHC.API |
| Opt_SuppressTypeApplications | Liquid.GHC.API |
| Opt_SuppressTypeSignatures | Liquid.GHC.API |
| Opt_SuppressUnfoldings | Liquid.GHC.API |
| Opt_SuppressUniques | Liquid.GHC.API |
| Opt_SuppressVarKinds | Liquid.GHC.API |
| Opt_Ticky | Liquid.GHC.API |
| Opt_Ticky_Allocd | Liquid.GHC.API |
| Opt_Ticky_AP | Liquid.GHC.API |
| Opt_Ticky_Dyn_Thunk | Liquid.GHC.API |
| Opt_Ticky_LNE | Liquid.GHC.API |
| Opt_Ticky_Tag | Liquid.GHC.API |
| Opt_UnboxSmallStrictFields | Liquid.GHC.API |
| Opt_UnboxStrictFields | Liquid.GHC.API |
| Opt_UnclutterValidHoleFits | Liquid.GHC.API |
| Opt_UnoptimizedCoreForInterpreter | Liquid.GHC.API |
| Opt_UseBytecodeRatherThanObjects | Liquid.GHC.API |
| Opt_ValidateHie | Liquid.GHC.API |
| Opt_VersionMacros | Liquid.GHC.API |
| Opt_WarnIsError | Liquid.GHC.API |
| Opt_WeightlessBlocklayout | Liquid.GHC.API |
| Opt_WholeArchiveHsLibs | Liquid.GHC.API |
| Opt_WorkerWrapper | Liquid.GHC.API |
| Opt_WorkerWrapperUnlift | Liquid.GHC.API |
| Opt_WriteHie | Liquid.GHC.API |
| Opt_WriteIfSimplifiedCore | Liquid.GHC.API |
| Opt_WriteInterface | Liquid.GHC.API |
| ordClassKey | Liquid.GHC.API |
| ordClassName | Liquid.GHC.API |
| ordSrcSpan | Language.Haskell.Liquid.Types.Types |
| orHeader | Language.Haskell.Liquid.UX.CmdLine |
| orMessages | Language.Haskell.Liquid.UX.CmdLine |
| OTerm | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types.Types |
| Output | Language.Haskell.Liquid.Types.Types |
| Outputable | Liquid.GHC.API |
| OutputableBndr | Liquid.GHC.API |
| OutputableP | Liquid.GHC.API |
| OutputResult | |
| 1 (Type/Class) | Language.Haskell.Liquid.UX.CmdLine |
| 2 (Data Constructor) | Language.Haskell.Liquid.UX.CmdLine |
| o_bots | Language.Haskell.Liquid.Types.Types |
| o_result | Language.Haskell.Liquid.Types.Types |
| o_templs | Language.Haskell.Liquid.Types.Types |
| o_types | Language.Haskell.Liquid.Types.Types |
| o_vars | Language.Haskell.Liquid.Types.Types |