| && | Refined.Internal, Refined |
| .> | Refined.Internal |
| And | |
| 1 (Type/Class) | Refined.Internal, Refined |
| 2 (Data Constructor) | Refined.Internal |
| andLeft | Refined.Internal, Refined |
| andRight | Refined.Internal, Refined |
| Ascending | |
| 1 (Type/Class) | Refined.Internal, Refined |
| 2 (Data Constructor) | Refined.Internal |
| catchRefine | Refined.Internal, Refined |
| catThat | Refined.These |
| catThese | Refined.These |
| catThis | Refined.These |
| Descending | |
| 1 (Type/Class) | Refined.Internal, Refined |
| 2 (Data Constructor) | Refined.Internal |
| displayRefineException | Refined.Internal, Refined |
| DivisibleBy | |
| 1 (Type/Class) | Refined.Internal |
| 2 (Data Constructor) | Refined.Internal |
| EqualTo | |
| 1 (Type/Class) | Refined.Internal, Refined |
| 2 (Data Constructor) | Refined.Internal |
| Even | |
| 1 (Type/Class) | Refined.Internal |
| 2 (Data Constructor) | Refined.Internal |
| From | |
| 1 (Type/Class) | Refined.Internal, Refined |
| 2 (Data Constructor) | Refined.Internal |
| fromThese | Refined.These |
| FromTo | |
| 1 (Type/Class) | Refined.Internal, Refined |
| 2 (Data Constructor) | Refined.Internal |
| GreaterThan | |
| 1 (Type/Class) | Refined.Internal, Refined |
| 2 (Data Constructor) | Refined.Internal |
| here | Refined.These |
| IdPred | |
| 1 (Type/Class) | Refined.Internal, Refined |
| 2 (Data Constructor) | Refined.Internal |
| isThat | Refined.These |
| isThese | Refined.These |
| isThis | Refined.These |
| justThat | Refined.These |
| justThese | Refined.These |
| justThis | Refined.These |
| leftOr | Refined.Internal, Refined |
| LessThan | |
| 1 (Type/Class) | Refined.Internal, Refined |
| 2 (Data Constructor) | Refined.Internal |
| mapRefineT | Refined.Internal, Refined |
| mapThat | Refined.These |
| mapThese | Refined.These |
| mapThis | Refined.These |
| mergeThese | Refined.These |
| mergeTheseWith | Refined.These |
| Negative | Refined.Internal, Refined |
| NegativeFromTo | |
| 1 (Type/Class) | Refined.Internal |
| 2 (Data Constructor) | Refined.Internal |
| NonEmpty | Refined.Internal, Refined |
| NonNegative | Refined.Internal, Refined |
| NonPositive | Refined.Internal, Refined |
| NonZero | Refined.Internal, Refined |
| Not | |
| 1 (Type/Class) | Refined.Internal, Refined |
| 2 (Data Constructor) | Refined.Internal |
| NotEqualTo | |
| 1 (Type/Class) | Refined.Internal, Refined |
| 2 (Data Constructor) | Refined.Internal |
| Odd | |
| 1 (Type/Class) | Refined.Internal |
| 2 (Data Constructor) | Refined.Internal |
| Or | |
| 1 (Type/Class) | Refined.Internal, Refined |
| 2 (Data Constructor) | Refined.Internal |
| partitionThese | Refined.These |
| Positive | Refined.Internal, Refined |
| Predicate | Refined.Internal, Refined |
| pretty | Refined.Internal, Refined |
| reallyUnsafeAllUnderlyingRefined | Refined.Unsafe |
| reallyUnsafePredEquiv | Refined.Unsafe |
| reallyUnsafeRefine | Refined.Unsafe |
| reallyUnsafeUnderlyingRefined | Refined.Unsafe |
| refine | Refined.Internal, Refined |
| RefineAndException | Refined.Internal, Refined |
| Refined | |
| 1 (Type/Class) | Refined.Internal, Refined, Refined.Unsafe, Refined.Unsafe.Type |
| 2 (Data Constructor) | Refined.Internal, Refined.Unsafe.Type |
| refineError | Refined.Internal, Refined |
| RefineException | Refined.Internal, Refined |
| refineFail | Refined.Internal, Refined |
| RefineM | Refined.Internal, Refined |
| refineM | Refined.Internal, Refined |
| RefineNotException | Refined.Internal, Refined |
| RefineOrException | Refined.Internal, Refined |
| RefineOtherException | Refined.Internal, Refined |
| RefineT | Refined.Internal, Refined |
| refineTH | Refined.Internal, Refined |
| refineThrow | Refined.Internal, Refined |
| rightOr | Refined.Internal, Refined |
| runRefineM | Refined.Internal, Refined |
| runRefineT | Refined.Internal, Refined |
| SizeEqualTo | |
| 1 (Type/Class) | Refined.Internal, Refined |
| 2 (Data Constructor) | Refined.Internal |
| SizeGreaterThan | |
| 1 (Type/Class) | Refined.Internal, Refined |
| 2 (Data Constructor) | Refined.Internal |
| SizeLessThan | |
| 1 (Type/Class) | Refined.Internal, Refined |
| 2 (Data Constructor) | Refined.Internal |
| That | Refined.These |
| there | Refined.These |
| These | |
| 1 (Type/Class) | Refined.These |
| 2 (Data Constructor) | Refined.These |
| these | Refined.These |
| This | Refined.These |
| throwRefine | Refined.Internal, Refined |
| throwRefineOtherException | Refined.Internal, Refined |
| To | |
| 1 (Type/Class) | Refined.Internal, Refined |
| 2 (Data Constructor) | Refined.Internal |
| unrefine | Refined.Internal, Refined |
| unsafeRefine | Refined.Unsafe |
| validate | Refined.Internal, Refined |
| Weaken | Refined.Internal, Refined |
| weaken | Refined.Internal, Refined |
| ZeroToOne | Refined.Internal, Refined |
| |> | Refined.Internal |
| || | Refined.Internal, Refined |