Index
| && | Refined |
| And | |
| 1 (Type/Class) | Refined |
| 2 (Data Constructor) | Refined |
| andLeft | Refined |
| andRight | Refined |
| Ascending | |
| 1 (Type/Class) | Refined |
| 2 (Data Constructor) | Refined |
| 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 |
| FromTo | |
| 1 (Type/Class) | Refined |
| 2 (Data Constructor) | Refined |
| GreaterThan | |
| 1 (Type/Class) | Refined |
| 2 (Data Constructor) | Refined |
| IdPred | |
| 1 (Type/Class) | Refined |
| 2 (Data Constructor) | Refined |
| Infinite | |
| 1 (Type/Class) | Refined |
| 2 (Data Constructor) | Refined |
| leftOr | Refined |
| LessThan | |
| 1 (Type/Class) | Refined |
| 2 (Data Constructor) | Refined |
| 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 |
| Positive | Refined |
| Predicate | 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 |
| 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 |