NatTypeError<'a> Type

Assembly: FSharpPlus.dll

Base Type: TypeError<'a>

All Interfaces: IErrorLiftable<NatTypeErrorLifter>

Constructors

Constructor Description

Constructor	Description
`NatTypeError()` Full Usage: `NatTypeError()` Returns: `NatTypeError<'a>`	Returns: `NatTypeError<'a>`


                
                  
                    
                      NatTypeError()

Full Usage: NatTypeError()

Returns: NatTypeError<'a>

Returns: NatTypeError<'a>

Static members

Static member	Description
`arg1 %^ arg1` Full Usage: `arg1 %^ arg1` Parameters: arg0 : `'b` arg1 : `'c` Returns: `'a`	arg0 : `'b` arg1 : `'c` Returns: `'a`
`arg1 +^ arg1` Full Usage: `arg1 +^ arg1` Parameters: arg0 : `'b` arg1 : `'c` Returns: `'a`	arg0 : `'b` arg1 : `'c` Returns: `'a`
`arg1 -^ arg1` Full Usage: `arg1 -^ arg1` Parameters: arg0 : `'b` arg1 : `'c` Returns: `'a`	arg0 : `'b` arg1 : `'c` Returns: `'a`
`arg1 /^ arg1` Full Usage: `arg1 /^ arg1` Parameters: arg0 : `'b` arg1 : `'c` Returns: `'a`	arg0 : `'b` arg1 : `'c` Returns: `'a`
`arg1 <=^ arg1` Full Usage: `arg1 <=^ arg1` Parameters: arg0 : `'b` arg1 : `'c` Returns: `AggregatedBoolTypeError<'a>`	arg0 : `'b` arg1 : `'c` Returns: `AggregatedBoolTypeError<'a>`
`arg1 <^ arg1` Full Usage: `arg1 <^ arg1` Parameters: arg0 : `'b` arg1 : `'c` Returns: `AggregatedBoolTypeError<'a>`	arg0 : `'b` arg1 : `'c` Returns: `AggregatedBoolTypeError<'a>`
`arg1 =^ arg1` Full Usage: `arg1 =^ arg1` Parameters: arg0 : `'b` arg1 : `'c` Returns: `AggregatedBoolTypeError<'a>`	arg0 : `'b` arg1 : `'c` Returns: `AggregatedBoolTypeError<'a>`
`NatTypeError.IsZero` Full Usage: `NatTypeError.IsZero` Returns: `AggregatedBoolTypeError<'a>`	Returns: `AggregatedBoolTypeError<'a>`
`NatTypeError.Match(arg1, arg2, arg3)` Full Usage: `NatTypeError.Match(arg1, arg2, arg3)` Parameters: arg0 : `'b` arg1 : `'c` arg2 : `'d -> 'result` Returns: `'e`	arg0 : `'b` arg1 : `'c` arg2 : `'d -> 'result` Returns: `'e`
`NatTypeError.MultImpl(arg1, arg2, arg3)` Full Usage: `NatTypeError.MultImpl(arg1, arg2, arg3)` Parameters: arg0 : `'b` arg1 : `'c` arg2 : `'d` Returns: `'a`	arg0 : `'b` arg1 : `'c` arg2 : `'d` Returns: `'a`
`NatTypeError.Pred(arg1)` Full Usage: `NatTypeError.Pred(arg1)` Parameters: arg0 : `'b` Returns: `'a`	arg0 : `'b` Returns: `'a`
`NatTypeError.Succ(arg1)` Full Usage: `NatTypeError.Succ(arg1)` Parameters: arg0 : `'b` Returns: `'a`	arg0 : `'b` Returns: `'a`