Data.Cardinality.CardinalityRange

Core

type CardinalityRange_From = LazyCardinality

type CardinalityRange_To = LazyCardinality

data CardinalityRange

Constructor: cardinalityRange CardinalityRange_From CardinalityRange_To

Instances

Show CardinalityRange

Intersectable CardinalityRange

cardinalityRange :: CardinalityRange_From -> CardinalityRange_To -> CardinalityRange

CardinalityRange data constructor. The range is always including it's boundaries. F.e., range CardinalityRange (preciseC 1) (preciseC 4) contains cardinalities [1,2,3,4]. First cardinality MUST always be less or equal to second one. However, we do not fully guard from such type of error - we do not refine refinableC, if it participates in the constriction.

cr2Tuple :: CardinalityRange -> (CardinalityRange_From, CardinalityRange_From)

lazyVerfyCR :: CardinalityRange_From -> CardinalityRange_To -> Maybe Bool

cFitsInCR_Proto :: LazyCardinality -> CardinalityRange -> (Ordering, LazyCardinality, CardinalityRange)

Root prototype for all subsequent "FitsIn" functions. Returns probably refined cardinality and range, which is useful for reuse. If returns EQ then subject cardinality is between boundaries (including) of cardinality range.

Uses almostStrictCompare2LCs function.

cFitsInCR :: LazyCardinality -> CardinalityRange -> Bool

LazyCardinality fits in CardinalityRange?

fitsInCR :: HasCard a => a -> CardinalityRange -> Bool

Wrapper around cFitsInCR.

fitsInCR_T :: HasCardT c => c a -> CardinalityRange -> Bool

Wrapper around cFitsInCR.

data FirstOrSecond

Used in Compare2CRsError

Constructors

First

Second

Instances

Show FirstOrSecond

data Compare2CRsError

Error, that may occur, when performing compare2CRs

Constructors

LowerBoundaryAfterHigher FirstOrSecond CardinalityRange

Instances

Show Compare2CRsError

compare2CRs :: CardinalityRange -> CardinalityRange -> (Either Compare2CRsError (SetsFit CardinalityRange), CardinalityRange, CardinalityRange)

This function is made hard, but fast. It tends to make minimal amount of comparisons, reusing refinements.

crFitsInCR :: CardinalityRange -> CardinalityRange -> SetsFit CardinalityRange

Wrapper around setFits of typeclass Intersectable

Popular cardinality ranges constructors

crNoConstraint :: CardinalityRange

Same as cr0_Inf.

cr0 :: CardinalityRange

Only zero elements.

cr1 :: CardinalityRange

Only one element.

cr0_1 :: CardinalityRange

Zero or one element.

cr0_Inf :: CardinalityRange

Any count of elements.

cr1_Inf :: CardinalityRange

Any nonzero count of elements.

crX :: PreciseCardinality -> CardinalityRange

Concrete count of elements.

crXY :: PreciseCardinality -> PreciseCardinality -> CardinalityRange

A concrete range.