Case<'T1, 'T2>

Namespace: MBrace.FsPickler.Combinators
Parent Module: SumInternals

Internal type for type-checking intermediate values.

Static members

Static member Description

Static member	Description
`Case.( ^. )(arg1, arg2)` Signature: (Case<('?123591 -> '?123592),'?123593> * Case<('?123594 -> '?123592),'?123595>) -> Wrap<Part<'?123592,(('?123591 -> '?123596) -> ('?123594 -> '?123596) -> '?123596),Choice<'?123591,'?123594>,'?123596>> Type parameters: '?123593, '?123594, '?123595, '?123596	Adds the last case. CompiledName: `op_HatDot`
`Case.( ^+ )(arg1, arg2)` Signature: (Case<('?123582 -> '?123583),'?123584> * Wrap<Part<'?123583,'?123585,'?123586,'?123587>>) -> Wrap<Part<'?123583,(('?123582 -> '?123587) -> '?123585),Choice<'?123582,'?123586>,'?123587>> Type parameters: '?123584, '?123585, '?123586, '?123587	Adds a case. CompiledName: `op_HatPlus`


            Case.( ^. )(arg1, arg2)

Signature: (Case<('?123591 -> '?123592),'?123593> * Case<('?123594 -> '?123592),'?123595>) -> Wrap<Part<'?123592,(('?123591 -> '?123596) -> ('?123594 -> '?123596) -> '?123596),Choice<'?123591,'?123594>,'?123596>>
Type parameters: '?123593, '?123594, '?123595, '?123596

Adds the last case.

CompiledName: op_HatDot


            Case.( ^+ )(arg1, arg2)

Signature: (Case<('?123582 -> '?123583),'?123584> * Wrap<Part<'?123583,'?123585,'?123586,'?123587>>) -> Wrap<Part<'?123583,(('?123582 -> '?123587) -> '?123585),Choice<'?123582,'?123586>,'?123587>>
Type parameters: '?123584, '?123585, '?123586, '?123587

Adds a case.

CompiledName: op_HatPlus