Struct Step_81__Motiv_Spec<TModel, TPredicateResult, TMetadata>

Namespace

Motiv

Assembly

Motiv.dll

Motiv.HigherOrderProposition.PropositionBuilders.Metadata.ExpressionTree.MultiMetadataFromSpecHigherOrderExpressionTreePropositionFactory<TModel, TMetadata, TPredicateResult>

public readonly struct Step_81__Motiv_Spec<TModel, TPredicateResult, TMetadata>

Type Parameters

TModel

TPredicateResult

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, string>, TMetadata>)

The metadata factory for when the predicate is false.

<xref href="Motiv.HigherOrderProposition.PropositionBuilders.Metadata.ExpressionTree.MultiMetadataFromSpecHigherOrderExpressionTreePropositionFactory%603" data-throw-if-not-resolved="false"></xref>

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

Parameters

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

Returns

MultiMetadataFromSpecHigherOrderExpressionTreePropositionFactory<TModel, TMetadata, TPredicateResult>

WhenFalse(in TMetadata)

The metadata factory for when the predicate is false.

<xref href="Motiv.HigherOrderProposition.PropositionBuilders.Metadata.ExpressionTree.MultiMetadataFromSpecHigherOrderExpressionTreePropositionFactory%603" data-throw-if-not-resolved="false"></xref>

public MultiMetadataFromSpecHigherOrderExpressionTreePropositionFactory<TModel, TMetadata, TPredicateResult> WhenFalse(in TMetadata whenFalse)

Parameters

whenFalse TMetadata

Returns

MultiMetadataFromSpecHigherOrderExpressionTreePropositionFactory<TModel, TMetadata, TPredicateResult>

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

The metadata factory for when the predicate is false.

<xref href="Motiv.HigherOrderProposition.PropositionBuilders.Metadata.ExpressionTree.MultiMetadataFromSpecHigherOrderExpressionTreePropositionFactory%603" data-throw-if-not-resolved="false"></xref>

public MultiMetadataFromSpecHigherOrderExpressionTreePropositionFactory<TModel, TMetadata, TPredicateResult> WhenFalseYield(in Func<HigherOrderBooleanResultEvaluation<TModel, string>, IEnumerable<TMetadata>> function)

Parameters

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

Returns

MultiMetadataFromSpecHigherOrderExpressionTreePropositionFactory<TModel, TMetadata, TPredicateResult>