Table of Contents

Struct Step_69__Motiv_Spec<TModel, TMetadata>

Namespace
Motiv
Assembly
Motiv.dll

Motiv.HigherOrderProposition.PropositionBuilders.Metadata.ExpressionTree.BooleanMultiMetadataFromSpecHigherOrderExpressionTreePropositionFactory<TModel, TMetadata>

public readonly struct Step_69__Motiv_Spec<TModel, TMetadata>

Type Parameters

TModel
TMetadata
Inherited Members
Extension Methods

Methods

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

The metadata factory for when the predicate is false.

<xref href="Motiv.HigherOrderProposition.PropositionBuilders.Metadata.ExpressionTree.BooleanMultiMetadataFromSpecHigherOrderExpressionTreePropositionFactory%602" data-throw-if-not-resolved="false"></xref>
public BooleanMultiMetadataFromSpecHigherOrderExpressionTreePropositionFactory<TModel, TMetadata> WhenFalse(in Func<HigherOrderBooleanResultEvaluation<TModel, string>, TMetadata> whenFalse)

Parameters

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

Returns

BooleanMultiMetadataFromSpecHigherOrderExpressionTreePropositionFactory<TModel, TMetadata>

WhenFalse(in TMetadata)

The metadata factory for when the predicate is false.

<xref href="Motiv.HigherOrderProposition.PropositionBuilders.Metadata.ExpressionTree.BooleanMultiMetadataFromSpecHigherOrderExpressionTreePropositionFactory%602" data-throw-if-not-resolved="false"></xref>
public BooleanMultiMetadataFromSpecHigherOrderExpressionTreePropositionFactory<TModel, TMetadata> WhenFalse(in TMetadata whenFalse)

Parameters

whenFalse TMetadata

Returns

BooleanMultiMetadataFromSpecHigherOrderExpressionTreePropositionFactory<TModel, TMetadata>

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

The metadata factory for when the predicate is false.

<xref href="Motiv.HigherOrderProposition.PropositionBuilders.Metadata.ExpressionTree.BooleanMultiMetadataFromSpecHigherOrderExpressionTreePropositionFactory%602" data-throw-if-not-resolved="false"></xref>
public BooleanMultiMetadataFromSpecHigherOrderExpressionTreePropositionFactory<TModel, TMetadata> WhenFalseYield(in Func<HigherOrderBooleanResultEvaluation<TModel, string>, IEnumerable<TMetadata>> function)

Parameters

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

Returns

BooleanMultiMetadataFromSpecHigherOrderExpressionTreePropositionFactory<TModel, TMetadata>