FSharpPlus

S<'n> Type

Namespace: FSharpPlus.TypeLevel

Assembly: FSharpPlus.dll

Base Type: obj

All Interfaces: IEquatable<S<'n>> , IStructuralEquatable , IComparable<S<'n>> , IComparable , IStructuralComparable , ITypeNat , IErrorLiftable<NatTypeErrorLifter> , ITypeLiteral

Union cases

Union case Description

S 'n

Full Usage: S 'n

Parameters:
    Item : 'n

Item : 'n

Static members

Static member Description

x %^ y

Full Usage: x %^ y

Parameters:
    x : ^a
    y : S<^i>

Returns: 'g

x : ^a
y : S<^i>
Returns: 'g

arg1 +^ y

Full Usage: arg1 +^ y

Parameters:
    arg0 : S<^X>
    y : 'a

Returns: S<'b>

arg0 : S<^X>
y : 'a
Returns: S<'b>

x -^ arg1

Full Usage: x -^ arg1

Parameters:
    x : ^X
    arg1 : S<^Y>

Returns: 'b

x : ^X
arg1 : S<^Y>
Returns: 'b

x /^ y

Full Usage: x /^ y

Parameters:
    x : ^a
    y : S<^i>

Returns: 'g

x : ^a
y : S<^i>
Returns: 'g

arg1 <=^ y

Full Usage: arg1 <=^ y

Parameters:
    arg0 : S<^X>
    y : ^Y

Returns: 'd

arg0 : S<^X>
y : ^Y
Returns: 'd

arg1 <^ y

Full Usage: arg1 <^ y

Parameters:
    arg0 : S<^X>
    y : ^Y

Returns: 'd

arg0 : S<^X>
y : ^Y
Returns: 'd

arg1 =^ y

Full Usage: arg1 =^ y

Parameters:
    arg0 : S<^X>
    y : ^Y

Returns: 'd

arg0 : S<^X>
y : ^Y
Returns: 'd

S.IsZero

Full Usage: S.IsZero

Returns: False

Returns: False

S.Match(x, _caseZ, caseSn)

Full Usage: S.Match(x, _caseZ, caseSn)

Parameters:
    x : S<'a>
    _caseZ : 'b
    caseSn : S<'a> -> 'c

Returns: 'c

x : S<'a>
_caseZ : 'b
caseSn : S<'a> -> 'c
Returns: 'c

S.MultImpl(arg1, y, sum)

Full Usage: S.MultImpl(arg1, y, sum)

Parameters:
    arg0 : S<^X>
    y : 'a
    sum : ^Sum

Returns: 'c

arg0 : S<^X>
y : 'a
sum : ^Sum
Returns: 'c

S.Pred(arg1)

Full Usage: S.Pred(arg1)

Parameters:
    arg0 : S<'a>

Returns: 'a

arg0 : S<'a>
Returns: 'a

S.RuntimeValue(arg1)

Full Usage: S.RuntimeValue(arg1)

Parameters:
    arg0 : S<^X>

Returns: int

arg0 : S<^X>
Returns: int

S.Singleton(arg1)

Full Usage: S.Singleton(arg1)

Parameters:
    arg0 : S<^X>

Returns: S<^X>

arg0 : S<^X>
Returns: S<^X>

S.Succ(arg1)

Full Usage: S.Succ(arg1)

Parameters:
    arg0 : S<'a>

Returns: S<S<'a>>

arg0 : S<'a>
Returns: S<S<'a>>