Package com.io7m.cardant.model.comparisons

Interface CAComparisonExactType<T>

Type Parameters:

T - The type of values

All Superinterfaces:

CAComparisonType

All Known Implementing Classes:

CAComparisonExactType.Anything, CAComparisonExactType.IsEqualTo, CAComparisonExactType.IsNotEqualTo

public sealed interface CAComparisonExactType<T>
extends CAComparisonType
permits CAComparisonExactType.Anything<T>, CAComparisonExactType.IsEqualTo<T>, CAComparisonExactType.IsNotEqualTo<T>

The type of expressions that can only match values exactly.

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static final record	CAComparisonExactType.Anything<T>	Match any value.
static final record	CAComparisonExactType.IsEqualTo<T>	Match a value exactly.
static final record	CAComparisonExactType.IsNotEqualTo<T>	Match a value exactly.

Method Summary

Modifier and Type	Method	Description
<U> CAComparisonExactType<U>	map(Function<T,U> f)	Produce a new comparison over values transformed with f.

Method Details

map

<U> CAComparisonExactType<U> map(Function<T,U> f)

Produce a new comparison over values transformed with f.

Type Parameters:

U - The type of results

Parameters:

f - The transform

Returns:

A new comparison