public static Session <Z, E, Cons <S0, Cons <S1, Cons <S2, L> > > > Call <S0, S1, S2, Z, E, L>(this Session <Call2 <Z>, E, Cons <S0, Cons <S1, Cons <S2, L> > > > session, DepletionFunc <S2, Cons <S0, Cons <S1, Cons <S2, L> > > > depletion) where S0 : SessionType where S1 : SessionType where S2 : SessionType where Z : SessionType where E : SessionStack where L : SessionList
{
if (session is null)
{
throw new ArgumentNullException(nameof(session));
}
if (depletion is null)
{
throw new ArgumentNullException(nameof(depletion));
}
session.CallSimply();
var depleted = depletion(session.ToNextSession <S2, Any>(), depletion);
depleted.CallSimply();
return(depleted.ToNextSession <Z, E>());
}
public static Session <Z, E, Cons <S0, Cons <S1, Cons <S2, Cons <S3, Cons <S4, Cons <S5, Cons <S6, Cons <S7, Cons <S8, Cons <S9, L> > > > > > > > > > > Call <S0, S1, S2, S3, S4, S5, S6, S7, S8, S9, Z, E, L>(this Session <Call9 <Z>, E, Cons <S0, Cons <S1, Cons <S2, Cons <S3, Cons <S4, Cons <S5, Cons <S6, Cons <S7, Cons <S8, Cons <S9, L> > > > > > > > > > > session, DepletionFunc <S9, Cons <S0, Cons <S1, Cons <S2, Cons <S3, Cons <S4, Cons <S5, Cons <S6, Cons <S7, Cons <S8, Cons <S9, L> > > > > > > > > > > depletion) where S0 : SessionType where S1 : SessionType where S2 : SessionType where S3 : SessionType where S4 : SessionType where S5 : SessionType where S6 : SessionType where S7 : SessionType where S8 : SessionType where S9 : SessionType where Z : SessionType where E : SessionStack where L : SessionList
{
if (session is null)
{
throw new ArgumentNullException(nameof(session));
}
if (depletion is null)
{
throw new ArgumentNullException(nameof(depletion));
}
session.CallSimply();
var depleted = depletion(session.ToNextSession <S9, Any>(), depletion);
depleted.CallSimply();
return(depleted.ToNextSession <Z, E>());
}
public static Session <Z, E, S> Call <S, Z, E>(this Session <Call0 <Z>, E, S> session, DepletionFunc <S, S> depletion) where S : SessionType where Z : SessionType where E : SessionStack
{
if (session is null)
{
throw new ArgumentNullException(nameof(session));
}
if (depletion is null)
{
throw new ArgumentNullException(nameof(depletion));
}
session.CallSimply();
var depleted = depletion(session.ToNextSession <S, Any>(), depletion);
depleted.CallSimply();
return(depleted.ToNextSession <Z, E>());
}
