NonNegative overview
Added in v1.0.0
Table of contents
utils
NonNegative (type alias)
The type of values including zero and those greater than zero
Signature
export type NonNegative<A> = A & { readonly [NON_NEGATIVE]: typeof NON_NEGATIVE }
Added in v1.0.0
arbitraryNonNegative
Signature
export declare function arbitraryNonNegative<A>(
T: Ord<A> & HasZero<A>
): (arb: fc.Arbitrary<A>) => fc.Arbitrary<NonNegative<A>>
Added in v1.0.0
isNonNegative
Signature
export declare function isNonNegative<A>(T: Ord<A> & HasZero<A>)
Added in v1.0.0
toNonNegative
Signature
export declare function toNonNegative<A>(T: Ord<A> & HasZero<A> & HasSub<A>): (a: A) => Option<NonNegative<A>>
Added in v1.0.0