Index
| && | Refined |
| And | |
| 1 (Type/Class) | Refined |
| 2 (Data Constructor) | Refined |
| andLeft | Refined |
| andRight | Refined |
| Ascending | |
| 1 (Type/Class) | Refined |
| 2 (Data Constructor) | Refined |
| catThat | Refined.These |
| catThese | Refined.These |
| catThis | Refined.These |
| Descending | |
| 1 (Type/Class) | Refined |
| 2 (Data Constructor) | Refined |
| displayRefineException | Refined |
| DivisibleBy | |
| 1 (Type/Class) | Refined |
| 2 (Data Constructor) | Refined |
| Empty | Refined |
| EqualTo | |
| 1 (Type/Class) | Refined |
| 2 (Data Constructor) | Refined |
| Even | |
| 1 (Type/Class) | Refined |
| 2 (Data Constructor) | Refined |
| From | |
| 1 (Type/Class) | Refined |
| 2 (Data Constructor) | Refined |
| fromThese | Refined.These |
| FromTo | |
| 1 (Type/Class) | Refined |
| 2 (Data Constructor) | Refined |
| GreaterThan | |
| 1 (Type/Class) | Refined |
| 2 (Data Constructor) | Refined |
| here | Refined.These |
| IdPred | |
| 1 (Type/Class) | Refined |
| 2 (Data Constructor) | Refined |
| Infinite | |
| 1 (Type/Class) | Refined |
| 2 (Data Constructor) | Refined |
| isThat | Refined.These |
| isThese | Refined.These |
| isThis | Refined.These |
| justThat | Refined.These |
| justThese | Refined.These |
| justThis | Refined.These |
| leftOr | Refined |
| LessThan | |
| 1 (Type/Class) | Refined |
| 2 (Data Constructor) | Refined |
| mapThat | Refined.These |
| mapThese | Refined.These |
| mapThis | Refined.These |
| mergeThese | Refined.These |
| mergeTheseWith | Refined.These |
| NaN | |
| 1 (Type/Class) | Refined |
| 2 (Data Constructor) | Refined |
| Negative | Refined |
| NegativeFromTo | |
| 1 (Type/Class) | Refined |
| 2 (Data Constructor) | Refined |
| NonEmpty | Refined |
| NonNegative | Refined |
| NonPositive | Refined |
| NonZero | Refined |
| Not | |
| 1 (Type/Class) | Refined |
| 2 (Data Constructor) | Refined |
| NotEqualTo | |
| 1 (Type/Class) | Refined |
| 2 (Data Constructor) | Refined |
| Odd | |
| 1 (Type/Class) | Refined |
| 2 (Data Constructor) | Refined |
| Or | |
| 1 (Type/Class) | Refined |
| 2 (Data Constructor) | Refined |
| partitionThese | Refined.These |
| Positive | Refined |
| Predicate | Refined |
| pretty | Refined |
| reallyUnsafeAllUnderlyingRefined | Refined.Unsafe |
| reallyUnsafePredEquiv | Refined.Unsafe |
| reallyUnsafeRefine | Refined.Unsafe |
| reallyUnsafeUnderlyingRefined | Refined.Unsafe |
| refine | Refined |
| RefineAndException | Refined |
| Refined | |
| 1 (Type/Class) | Refined.Unsafe.Type, Refined, Refined.Unsafe |
| 2 (Data Constructor) | Refined.Unsafe.Type |
| refineError | Refined |
| RefineException | Refined |
| refineFail | Refined |
| RefineNotException | Refined |
| RefineOrException | Refined |
| RefineOtherException | Refined |
| RefineSomeException | Refined |
| refineTH | Refined |
| refineThrow | Refined |
| refineTH_ | Refined |
| RefineXorException | Refined |
| refine_ | Refined |
| reifyPredicate | Refined |
| rightOr | Refined |
| SizeEqualTo | |
| 1 (Type/Class) | Refined |
| 2 (Data Constructor) | Refined |
| SizeGreaterThan | |
| 1 (Type/Class) | Refined |
| 2 (Data Constructor) | Refined |
| SizeLessThan | |
| 1 (Type/Class) | Refined |
| 2 (Data Constructor) | Refined |
| strengthen | Refined |
| success | Refined |
| That | Refined.These |
| there | Refined.These |
| These | |
| 1 (Data Constructor) | Refined.These |
| 2 (Type/Class) | Refined.These |
| these | Refined.These |
| This | Refined.These |
| throwRefineOtherException | Refined |
| throwRefineSomeException | Refined |
| To | |
| 1 (Type/Class) | Refined |
| 2 (Data Constructor) | Refined |
| unrefine | Refined |
| unsafeRefine | Refined.Unsafe |
| validate | Refined |
| Weaken | Refined |
| weaken | Refined |
| Xor | |
| 1 (Type/Class) | Refined |
| 2 (Data Constructor) | Refined |
| ZeroToOne | Refined |
| || | Refined |