refined-with-0.3.0: Refinement types with an "refinement applied" switch.

Index

enforceRefined.WithRefine
EnforcedRefined.WithRefine
enforcedToRefinedRefined.WithRefine
enforceFailRefined.WithRefine
PredicateStatusRefined.WithRefine
reallyUnsafeEnforceRefined.WithRefine
refinedToEnforcedRefined.WithRefine
StrongRefined.WithRefine
unenforceRefined.WithRefine
UnenforcedRefined.WithRefine
unsafeWithRefineRefined.WithRefine
WeakRefined.WithRefine
withoutRefineRefined.WithRefine
WithRefineRefined.WithRefine
withRefineRefined.WithRefine
WithRefineRepRefined.WithRefine