Table of Contents

Struct Step_14__Motiv_Spec<TModel, TMetadata>

Namespace
Motiv
Assembly
Motiv.dll

Motiv.HigherOrderProposition.PropositionBuilders.BooleanPredicate.MultiMetadataFromBooleanHigherOrderPropositionFactory<TModel, TMetadata>

public readonly struct Step_14__Motiv_Spec<TModel, TMetadata>

Type Parameters

TModel
TMetadata
Inherited Members
Extension Methods

Methods

WhenFalse(in Func<HigherOrderBooleanEvaluation<TModel>, TMetadata>)

The metadata factory for when the predicate is false.

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

Parameters

whenFalse Func<HigherOrderBooleanEvaluation<TModel>, TMetadata>

Returns

MultiMetadataFromBooleanHigherOrderPropositionFactory<TModel, TMetadata>

WhenFalse(in TMetadata)

The metadata factory for when the predicate is false.

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

Parameters

whenFalse TMetadata

Returns

MultiMetadataFromBooleanHigherOrderPropositionFactory<TModel, TMetadata>

WhenFalseYield(in Func<HigherOrderBooleanEvaluation<TModel>, IEnumerable<TMetadata>>)

The metadata factory for when the predicate is false.

<xref href="Motiv.HigherOrderProposition.PropositionBuilders.BooleanPredicate.MultiMetadataFromBooleanHigherOrderPropositionFactory%602" data-throw-if-not-resolved="false"></xref>
public MultiMetadataFromBooleanHigherOrderPropositionFactory<TModel, TMetadata> WhenFalseYield(in Func<HigherOrderBooleanEvaluation<TModel>, IEnumerable<TMetadata>> function)

Parameters

function Func<HigherOrderBooleanEvaluation<TModel>, IEnumerable<TMetadata>>

Returns

MultiMetadataFromBooleanHigherOrderPropositionFactory<TModel, TMetadata>