| R | Language.Haskell.Liquid.Types |
| RAllE | Language.Haskell.Liquid.Types |
| RAllP | Language.Haskell.Liquid.Types |
| RAllS | Language.Haskell.Liquid.Types |
| RAllT | Language.Haskell.Liquid.Types |
| RApp | Language.Haskell.Liquid.Types |
| rApp | Language.Haskell.Liquid.Types.RefType |
| RAppTy | Language.Haskell.Liquid.Types |
| RBEnv | Language.Haskell.Liquid.Types.Bounds |
| RBound | Language.Haskell.Liquid.Types.Bounds |
| RClass | |
| 1 (Type/Class) | Language.Haskell.Liquid.Types |
| 2 (Data Constructor) | Language.Haskell.Liquid.Types |
| rCls | Language.Haskell.Liquid.Types |
| rcMethods | Language.Haskell.Liquid.Types |
| rcName | Language.Haskell.Liquid.Types |
| rcSupers | Language.Haskell.Liquid.Types |
| rcTyVars | Language.Haskell.Liquid.Types |
| RDEnv | Language.Haskell.Liquid.Types |
| readVars | Language.Haskell.Liquid.Types.Visitors |
| realized | Test.Target.Monad |
| realSrcSpan | Language.Haskell.Liquid.Types.Errors, Language.Haskell.Liquid.Types |
| realSrcSpanSourcePos | Language.Haskell.Liquid.GHC.Misc |
| realSrcSpanSourcePosE | Language.Haskell.Liquid.GHC.Misc |
| realTcArity | Language.Haskell.Liquid.GHC.Misc |
| RecBindE | Language.Haskell.Liquid.Types |
| recCount | Language.Haskell.Liquid.Constraint.Types |
| recs | Language.Haskell.Liquid.Constraint.Types |
| Ref | Language.Haskell.Liquid.Types |
| ref | Language.Haskell.Liquid.Constraint.Types |
| Refl | Language.Haskell.Liquid.GHC.TypeRep |
| Reflect | Language.Haskell.Liquid.Parse |
| reflects | Language.Haskell.Liquid.Measure |
| reflSigs | Language.Haskell.Liquid.Measure |
| refresh | Language.Haskell.Liquid.Constraint.Fresh |
| refreshArgs | Language.Haskell.Liquid.Constraint.Fresh |
| refreshArgsTop | Language.Haskell.Liquid.Constraint.Fresh |
| refreshHoles | Language.Haskell.Liquid.Constraint.Fresh |
| refreshTy | Language.Haskell.Liquid.Constraint.Fresh |
| refreshVV | Language.Haskell.Liquid.Constraint.Fresh |
| reft | Test.Target.Util |
| reGlobal | Language.Haskell.Liquid.Types |
| reLocal | Language.Haskell.Liquid.Types |
| removeInvariant | Language.Haskell.Liquid.Constraint.Types |
| REnv | |
| 1 (Type/Class) | Language.Haskell.Liquid.Types |
| 2 (Data Constructor) | Language.Haskell.Liquid.Types |
| renv | Language.Haskell.Liquid.Constraint.Types |
| replaceN | Language.Haskell.Liquid.Misc |
| replacePreds | Language.Haskell.Liquid.Types.PredType |
| replacePredsWithRefs | Language.Haskell.Liquid.Types.PredType |
| replicatePVar | Language.Haskell.Liquid.Desugar.DsMonad |
| Res | Test.Target.Util |
| resetPmIterDs | Language.Haskell.Liquid.Desugar.DsMonad |
| Resolvable | Language.Haskell.Liquid.Bare.Resolve |
| resolve | Language.Haskell.Liquid.Bare.Resolve |
| Response | Language.Haskell.Liquid.Interactive.Types |
| restoreInvariant | Language.Haskell.Liquid.Constraint.Types |
| Result | |
| 1 (Type/Class) | Test.Target.Types, Test.Target |
| 2 (Type/Class) | Language.Haskell.Liquid.UX.Tidy |
| result | Language.Haskell.Liquid.UX.Tidy |
| resultWrapper | Language.Haskell.Liquid.Desugar.DsCCall |
| Rewrite | Language.Haskell.Liquid.UX.Config |
| rewriteBinds | Language.Haskell.Liquid.Transforms.Rewrite |
| REx | Language.Haskell.Liquid.Types |
| rEx | Language.Haskell.Liquid.Types.RefType |
| RExprArg | Language.Haskell.Liquid.Types |
| RFun | Language.Haskell.Liquid.Types |
| rFun | Language.Haskell.Liquid.Types |
| rf_args | Language.Haskell.Liquid.Types |
| rf_body | Language.Haskell.Liquid.Types |
| RHole | Language.Haskell.Liquid.Types |
| rhs | Language.Haskell.Liquid.Constraint.Types |
| RI | Language.Haskell.Liquid.Types |
| RIAssumed | Language.Haskell.Liquid.Types |
| riclass | Language.Haskell.Liquid.Types |
| RInst | Language.Haskell.Liquid.Parse |
| RInstance | Language.Haskell.Liquid.Types |
| rinstance | Language.Haskell.Liquid.Measure |
| rinvs | Language.Haskell.Liquid.Constraint.Types |
| RISig | |
| 1 (Type/Class) | Language.Haskell.Liquid.Types |
| 2 (Data Constructor) | Language.Haskell.Liquid.Types |
| risigs | Language.Haskell.Liquid.Types |
| ritype | Language.Haskell.Liquid.Types |
| rname | Language.Haskell.Liquid.Types |
| RProp | Language.Haskell.Liquid.Types |
| rPropP | Language.Haskell.Liquid.Types |
| RPVar | Language.Haskell.Liquid.Types |
| RRBEnv | Language.Haskell.Liquid.Types.Bounds |
| RRBound | Language.Haskell.Liquid.Types.Bounds |
| rRCls | Language.Haskell.Liquid.Types |
| RReft | Language.Haskell.Liquid.Types |
| RRProp | Language.Haskell.Liquid.Types |
| RRTy | Language.Haskell.Liquid.Types |
| RRType | Language.Haskell.Liquid.Types |
| RSort | Language.Haskell.Liquid.Types |
| RTA | Language.Haskell.Liquid.Types |
| RTAlias | Language.Haskell.Liquid.Types |
| rtBody | Language.Haskell.Liquid.Types |
| rtc_info | Language.Haskell.Liquid.Types |
| rtc_tc | Language.Haskell.Liquid.Types |
| RTE | Language.Haskell.Liquid.Types |
| RTEnv | Language.Haskell.Liquid.Types |
| rtEnv | Language.Haskell.Liquid.Bare.Env |
| rtName | Language.Haskell.Liquid.Types |
| rtPos | Language.Haskell.Liquid.Types |
| rtPosE | Language.Haskell.Liquid.Types |
| RTProp | Language.Haskell.Liquid.Types |
| rtTArgs | Language.Haskell.Liquid.Types |
| RTV | Language.Haskell.Liquid.Types |
| RTVar | |
| 1 (Type/Class) | Language.Haskell.Liquid.Types |
| 2 (Data Constructor) | Language.Haskell.Liquid.Types |
| rtVArgs | Language.Haskell.Liquid.Types |
| rTVarInfo | Language.Haskell.Liquid.Types.RefType |
| rTVarToBind | Language.Haskell.Liquid.Types |
| RTVInfo | |
| 1 (Type/Class) | Language.Haskell.Liquid.Types |
| 2 (Data Constructor) | Language.Haskell.Liquid.Types |
| RTVNoInfo | Language.Haskell.Liquid.Types |
| RTVU | Language.Haskell.Liquid.Types |
| rtv_is_val | Language.Haskell.Liquid.Types |
| rtv_kind | Language.Haskell.Liquid.Types |
| rtv_name | Language.Haskell.Liquid.Types |
| RTyCon | |
| 1 (Type/Class) | Language.Haskell.Liquid.Types |
| 2 (Data Constructor) | Language.Haskell.Liquid.Types |
| RTyConIAl | Language.Haskell.Liquid.Constraint.Types |
| RTyConInv | Language.Haskell.Liquid.Constraint.Types |
| rTyConPropVs | Language.Haskell.Liquid.Types |
| rTyConPVs | Language.Haskell.Liquid.Types |
| RType | Language.Haskell.Liquid.Types |
| rtypeDoc | Language.Haskell.Liquid.Types.PrettyPrint |
| rTypeReft | Language.Haskell.Liquid.Types |
| RTypeRep | |
| 1 (Type/Class) | Language.Haskell.Liquid.Types |
| 2 (Data Constructor) | Language.Haskell.Liquid.Types |
| rTypeSort | Language.Haskell.Liquid.Types.RefType |
| rTypeSortedReft | Language.Haskell.Liquid.Types.RefType |
| rTypeSortedReft' | Language.Haskell.Liquid.Constraint.Env |
| rTypeValueVar | Language.Haskell.Liquid.Types |
| RTyVar | Language.Haskell.Liquid.Types |
| rTyVar | Language.Haskell.Liquid.Types.RefType |
| rtyVarType | Language.Haskell.Liquid.Types |
| rtyVarUniqueSymbol | Language.Haskell.Liquid.Types |
| rt_allarg | Language.Haskell.Liquid.Types |
| rt_arg | Language.Haskell.Liquid.Types |
| rt_args | Language.Haskell.Liquid.Types |
| rt_bind | Language.Haskell.Liquid.Types |
| rt_env | Language.Haskell.Liquid.Types |
| rt_exarg | Language.Haskell.Liquid.Types |
| rt_in | Language.Haskell.Liquid.Types |
| rt_obl | Language.Haskell.Liquid.Types |
| rt_out | Language.Haskell.Liquid.Types |
| rt_pargs | Language.Haskell.Liquid.Types |
| rt_pvbind | Language.Haskell.Liquid.Types |
| rt_ref | Language.Haskell.Liquid.Types |
| rt_reft | Language.Haskell.Liquid.Types |
| rt_res | Language.Haskell.Liquid.Types |
| rt_sbind | Language.Haskell.Liquid.Types |
| rt_tvbind | Language.Haskell.Liquid.Types |
| rt_ty | Language.Haskell.Liquid.Types |
| rt_tycon | Language.Haskell.Liquid.Types |
| rt_var | Language.Haskell.Liquid.Types |
| runGhc | Test.Target.Util |
| runLiquid | Language.Haskell.Liquid.Liquid |
| runLiquidGhc | Language.Haskell.Liquid.GHC.Interface |
| runMapTyVars | Language.Haskell.Liquid.Bare.Misc |
| runPmPprM | Language.Haskell.Liquid.Desugar.TmOracle |
| runTarget | Test.Target.Monad |
| runToLogic | Language.Haskell.Liquid.Transforms.CoreToLogic |
| runToLogicWithBoolBinds | Language.Haskell.Liquid.Transforms.CoreToLogic |
| RVar | Language.Haskell.Liquid.Types |
| rVar | Language.Haskell.Liquid.Types.RefType |