Struct Step_32__Motiv_Spec<TModel, TMetadata>

Namespace

Motiv

Assembly

Motiv.dll

Motiv.HigherOrderProposition.PropositionBuilders.BooleanResultPredicate.ExplanationFromBooleanResultWithNameHigherOrderPropositionFactory<TModel, TMetadata> Motiv.HigherOrderProposition.PropositionBuilders.BooleanResultPredicate.MultiAssertionExplanationFromBooleanResultWithNameHigherOrderPropositionFactory<TModel, TMetadata>

public readonly struct Step_32__Motiv_Spec<TModel, TMetadata>

Type Parameters

TModel

TMetadata

Inherited Members

ValueType.Equals(object)

ValueType.GetHashCode()

ValueType.ToString()

object.Equals(object, object)

object.GetType()

object.ReferenceEquals(object, object)

Extension Methods

EnumerableExtensions.ToEnumerable<T>(T)

Methods

WhenFalse(in Func<HigherOrderBooleanResultEvaluation<TModel, TMetadata>, string>)

The explanation for when the predicate is false.

<xref href="Motiv.HigherOrderProposition.PropositionBuilders.BooleanResultPredicate.ExplanationFromBooleanResultWithNameHigherOrderPropositionFactory%602" data-throw-if-not-resolved="false"></xref>

public ExplanationFromBooleanResultWithNameHigherOrderPropositionFactory<TModel, TMetadata> WhenFalse(in Func<HigherOrderBooleanResultEvaluation<TModel, TMetadata>, string> whenFalse)

Parameters

whenFalse Func<HigherOrderBooleanResultEvaluation<TModel, TMetadata>, string>

Returns

ExplanationFromBooleanResultWithNameHigherOrderPropositionFactory<TModel, TMetadata>

WhenFalse(in string)

The explanation for when the predicate is false.

<xref href="Motiv.HigherOrderProposition.PropositionBuilders.BooleanResultPredicate.ExplanationFromBooleanResultWithNameHigherOrderPropositionFactory%602" data-throw-if-not-resolved="false"></xref>

public ExplanationFromBooleanResultWithNameHigherOrderPropositionFactory<TModel, TMetadata> WhenFalse(in string whenFalse)

Parameters

whenFalse string

Returns

ExplanationFromBooleanResultWithNameHigherOrderPropositionFactory<TModel, TMetadata>

WhenFalseYield(in Func<HigherOrderBooleanResultEvaluation<TModel, TMetadata>, IEnumerable<string>>)

The explanation for when the predicate is false.

<xref href="Motiv.HigherOrderProposition.PropositionBuilders.BooleanResultPredicate.MultiAssertionExplanationFromBooleanResultWithNameHigherOrderPropositionFactory%602" data-throw-if-not-resolved="false"></xref>

public MultiAssertionExplanationFromBooleanResultWithNameHigherOrderPropositionFactory<TModel, TMetadata> WhenFalseYield(in Func<HigherOrderBooleanResultEvaluation<TModel, TMetadata>, IEnumerable<string>> falseBecause)

Parameters

falseBecause Func<HigherOrderBooleanResultEvaluation<TModel, TMetadata>, IEnumerable<string>>

Returns

MultiAssertionExplanationFromBooleanResultWithNameHigherOrderPropositionFactory<TModel, TMetadata>