Z Type

Namespace: FSharpPlus.TypeLevel

Assembly: FSharpPlus.dll

Base Type: obj

All Interfaces: IEquatable<Z> , IStructuralEquatable , IComparable<Z> , IComparable , IStructuralComparable , ITypeNat , IErrorLiftable<NatTypeErrorLifter> , ITypeLiteral

Union cases

Union case	Description
`Z` Full Usage: `Z`

Static members

Static member	Description
`arg1 %^ Z` Full Usage: `arg1 %^ Z` Parameters: arg0 : `'a` Z : `Z` Returns: `DividedByZeroError`	arg0 : `'a` Z : `Z` Returns: `DividedByZeroError`
`Z %^ arg1` Full Usage: `Z %^ arg1` Parameters: Z : `Z` arg1 : `S<'a>` Returns: `Z`	Z : `Z` arg1 : `S<'a>` Returns: `Z`
`Z +^ y` Full Usage: `Z +^ y` Parameters: Z : `Z` y : `'a` Returns: `'a`	Z : `Z` y : `'a` Returns: `'a`
`x -^ Z` Full Usage: `x -^ Z` Parameters: x : `'a` Z : `Z` Returns: `'a`	x : `'a` Z : `Z` Returns: `'a`
`arg1 /^ Z` Full Usage: `arg1 /^ Z` Parameters: arg0 : `'a` Z : `Z` Returns: `DividedByZeroError`	arg0 : `'a` Z : `Z` Returns: `DividedByZeroError`
`Z /^ arg1` Full Usage: `Z /^ arg1` Parameters: Z : `Z` arg1 : `S<'a>` Returns: `Z`	Z : `Z` arg1 : `S<'a>` Returns: `Z`
`Z <=^ arg1` Full Usage: `Z <=^ arg1` Parameters: Z : `Z` arg1 : `'a` Returns: `True`	Z : `Z` arg1 : `'a` Returns: `True`
`Z <^ arg1` Full Usage: `Z <^ arg1` Parameters: Z : `Z` arg1 : `^X` Returns: `'b`	Z : `Z` arg1 : `^X` Returns: `'b`
`Z =^ arg1` Full Usage: `Z =^ arg1` Parameters: Z : `Z` arg1 : `^X` Returns: `'a`	Z : `Z` arg1 : `^X` Returns: `'a`
`Z.IsZero` Full Usage: `Z.IsZero` Returns: `True`	Returns: `True`
`Z.Match(Z, caseZ, _caseSn)` Full Usage: `Z.Match(Z, caseZ, _caseSn)` Parameters: Z : `Z` caseZ : `Z -> 'a` _caseSn : `'b` Returns: `'a`	Z : `Z` caseZ : `Z -> 'a` _caseSn : `'b` Returns: `'a`
`Z.MultImpl(Z, arg2, sum)` Full Usage: `Z.MultImpl(Z, arg2, sum)` Parameters: Z : `Z` arg1 : `'a` sum : `'b` Returns: `'b`	Z : `Z` arg1 : `'a` sum : `'b` Returns: `'b`
`Z.Pred(Z)` Full Usage: `Z.Pred(Z)` Parameters: Z : `Z` Returns: `OverflowError`	Z : `Z` Returns: `OverflowError`
`Z.RuntimeValue(Z)` Full Usage: `Z.RuntimeValue(Z)` Parameters: Z : `Z` Returns: `int`	Z : `Z` Returns: `int`
`Z.Singleton(arg1)` Full Usage: `Z.Singleton(arg1)` Parameters: arg0 : `Z` Returns: `Z`	arg0 : `Z` Returns: `Z`
`Z.Succ(Z)` Full Usage: `Z.Succ(Z)` Parameters: Z : `Z` Returns: `S<Z>`	Z : `Z` Returns: `S<Z>`