Auxiliary type class that provides the next smaller or next greater value for a given argument.
Auxiliary type class that provides the upper and lower bounds of a
type T.
Auxiliary type class that provides the upper and lower bounds of a
type T. This is needed for the Arbitrary instances of numeric
refined types.
Auxiliary type class that provides the next smaller or next greater value for a given argument. This is needed for the
Arbitraryinstances of numeric refined types.