Data.Cardinality.ContTrans

type CardinalityConstraint = CardinalityRange

type CardinalityConstraint = CardinalityRange

cFitsInCC :: LazyCardinality -> CardinalityConstraint -> Bool

cFitsInCC = cFitsInCR

Defined to satisfy abbreviation.

fitsInCC :: HasCard a => a -> CardinalityConstraint -> Bool

fitsInCC = fitsInCR

Defined to satisfy abbreviation.

fitsInCC_T :: HasCardT c => c a -> CardinalityConstraint -> Bool

fitsInCC = fitsInCR_T

Defined to satisfy abbreviation.

class HasCardConstr a where

HasCardConstr = "Has cardinality constraint". In other words, "there is a capacity constraint for this container".

Methods

cardinalityConstraintOf :: a -> CardinalityConstraint

Instances

HasCardConstr ()

HasCardConstr [a]

HasCardConstr (Maybe a)

HasCardConstr (Identity a)

HasCardConstr (NeverEmptyList a)

HasCardConstr (EmptySet a)

HasCardConstr (a, a)

HasCardConstr (Map k e)

HasCardConstr (a, a, a)

HasCardConstr (a, a, a, a)

HasCardConstr (a, a, a, a, a)

HasCardConstr (a, a, a, a, a, a)

HasCardConstr (a, a, a, a, a, a, a)

HasCardConstr (a, a, a, a, a, a, a, a)

HasCardConstr (a, a, a, a, a, a, a, a, a)

HasCardConstr (a, a, a, a, a, a, a, a, a, a)

HasCardConstr (a, a, a, a, a, a, a, a, a, a, a)

class HasCardConstrT c where

HasCardConstrT = "Has cardinality constraint (for container types of kind (* -> *))". In other words, "there is a capacity constraint for this container type of kind (* -> *)".

Methods

cardinalityConstraintOfT :: c a -> CardinalityConstraint

Instances

HasCardConstrT []

HasCardConstrT Maybe

HasCardConstrT Identity

HasCardConstrT NeverEmptyList

HasCardConstrT EmptySet

HasCardConstrT (Map k)

cFitsIn :: HasCardConstr b => LazyCardinality -> b -> Bool

Wrapper around cFitsInCC.

cFitsInT :: HasCardConstrT c => LazyCardinality -> c b -> Bool

Wrapper around cFitsInCC.

fitsIn :: (HasCard a, HasCardConstr b) => a -> b -> Bool

Wrapper around cFitsInCC.

fitsInT :: (HasCardT c, HasCardConstrT d) => c a -> d b -> Bool

Wrapper around cFitsInCC.

Container transformation

class HasCardUCT from to where

HasCardUCT = "Has cardinality-unsafe container transform". Define transform that may thow an error, if contents of from don't fit in to .

Methods

uContTrans :: from -> to

"u-" prefix stands for "unsafe-"

Instances

HasCardUCT () [a]

HasCardUCT () (Maybe a)

HasCardUCT () (EmptySet a)

HasCardUCT () (Map k e)

HasCardUCT [a] ()

HasCardUCT (Maybe a) ()

HasCardUCT (EmptySet a) ()

HasCardUCT [a] (NeverEmptyList a)

HasCardUCT [a] (Maybe a)

HasCardUCT [a] (Identity a)

HasCardUCT [a] (EmptySet a)

HasCardUCT (Maybe a) (NeverEmptyList a)

HasCardUCT (Maybe a) [a]

HasCardUCT (Maybe a) (Identity a)

HasCardUCT (Maybe a) (EmptySet a)

HasCardUCT (Identity a) (NeverEmptyList a)

HasCardUCT (Identity a) [a]

HasCardUCT (Identity a) (Maybe a)

HasCardUCT (NeverEmptyList a) [a]

HasCardUCT (NeverEmptyList a) (Maybe a)

HasCardUCT (NeverEmptyList a) (Identity a)

HasCardUCT (EmptySet a) [a]

HasCardUCT (EmptySet a) (Maybe a)

Ord k => HasCardUCT [(k, e)] (Map k e)

HasCardUCT [a] (a, a)

HasCardUCT (Maybe (k, e)) (Map k e)

HasCardUCT (Identity (k, e)) (Map k e)

Ord k => HasCardUCT (NeverEmptyList (k, e)) (Map k e)

HasCardUCT (EmptySet (k, e)) (Map k e)

HasCardUCT [a] (a, a, a)

HasCardUCT [a] (a, a, a, a)

HasCardUCT [a] (a, a, a, a, a)

HasCardUCT [a] (a, a, a, a, a, a)

HasCardUCT [a] (a, a, a, a, a, a, a)

HasCardUCT [a] (a, a, a, a, a, a, a, a)

HasCardUCT [a] (a, a, a, a, a, a, a, a, a)

HasCardUCT [a] (a, a, a, a, a, a, a, a, a, a)

HasCardUCT [a] (a, a, a, a, a, a, a, a, a, a, a)

HasCardUCT (Map k e) ()

HasCardUCT (a, a) [a]

HasCardUCT (Map k e) (NeverEmptyList (k, e))

HasCardUCT (Map k e) [(k, e)]

HasCardUCT (Map k e) (Maybe (k, e))

HasCardUCT (Map k e) (Identity (k, e))

HasCardUCT (Map k e) (EmptySet (k, e))

HasCardUCT (k, e) (Map k e)

HasCardUCT (Map k e) (k, e)

HasCardUCT (a, a, a) [a]

HasCardUCT (a, a, a, a) [a]

HasCardUCT (a, a, a, a, a) [a]

HasCardUCT (a, a, a, a, a, a) [a]

HasCardUCT (a, a, a, a, a, a, a) [a]

HasCardUCT (a, a, a, a, a, a, a, a) [a]

HasCardUCT (a, a, a, a, a, a, a, a, a) [a]

HasCardUCT (a, a, a, a, a, a, a, a, a, a) [a]

HasCardUCT (a, a, a, a, a, a, a, a, a, a, a) [a]

class HasCardUCT_T from to where

HasCardUCT_T = "Has cardinality-unsafe container transform (for container types of kind (* -> *))". Same thing as HasCardUCT, but for containers of kind (* -> *).

Methods

uContTransT :: from a -> to a

"u-" prefix stands for "unsafe-"

Instances

HasCardUCT_T [] Maybe

HasCardUCT_T [] Identity

HasCardUCT_T [] NeverEmptyList

HasCardUCT_T [] EmptySet

HasCardUCT_T Maybe []

HasCardUCT_T Maybe Identity

HasCardUCT_T Maybe NeverEmptyList

HasCardUCT_T Maybe EmptySet

HasCardUCT_T Identity []

HasCardUCT_T Identity Maybe

HasCardUCT_T Identity NeverEmptyList

HasCardUCT_T NeverEmptyList []

HasCardUCT_T NeverEmptyList Maybe

HasCardUCT_T NeverEmptyList Identity

HasCardUCT_T EmptySet []

HasCardUCT_T EmptySet Maybe

HasCardUCT_T ((,) k) (Map k)

HasCardUCT_T (Map k) ((,) k)

type TransformError_FromTypeName = String

type TransformError_ToTypeName = String

type TransformError_Details = String

uContError :: TransformError_FromTypeName -> TransformError_ToTypeName -> TransformError_Details -> a

This error is used by HasCardUCT typeclass instances in cases when from container's contents don't fit in to container.

uContErrorT :: TransformError_FromTypeName -> TransformError_ToTypeName -> TransformError_Details -> a

Same as uContError, but for use in HasCardUCT_T typeclass instances

sContTrans :: (HasCard from, HasCardConstr to, HasCardUCT from to) => from -> Maybe to

A wrapper around uContTrans. Contrary to it, where "u-" prefix stands for "unsafe-", here "s-" prefix stands for "safe-". This is aimed to localize and exclude case, when contents of from don't fit in to If HasCardUCT instaniated correctly, then sContTrans should never allow uContError to be called by subject instance. It should return Nothing instead.

sContTransT :: (HasCardT from, HasCardConstrT to, HasCardUCT_T from to) => from a -> Maybe (to a)

A wrapper around uContTransT. Contrary to it, where "u-" prefix stands for "unsafe-", here "s-" prefix stands for "safe-". This is aimed to localize and exclude case, when contents of (from a) don't fit in (to a) . If HasCardUCT_T instaniated correctly, then sContTransT should never allow uContErrorT to be called by subject instance. It should return Nothing instead.

type From_LazyCardinality = LazyCardinality

Used in ContTransError.

type To_CardinalityConstraint = CardinalityConstraint

Used in ContTransError.

data ContainerOrder

Used in ContTransError. The kind of container.

Instances

Eq ContainerOrder

Ord ContainerOrder

Show ContainerOrder

data ContTransError

For container transformation we might use more informative error feedback. The Ordering in the middle is a relation between subject From_LazyCardinality and To_CardinalityConstraint. It's never EQ (and that's the reason for the error).

Constructors

ContTransError From_LazyCardinality Ordering To_CardinalityConstraint ContainerOrder

Instances

Show ContTransError

sContTrans_E :: (HasCard from, HasCardConstr to, HasCardUCT from to) => from -> Either ContTransError to

Analogue to sContTrans. Herre, in case of cardinality error, a more informative data structure is returned instead of Nothing (as was in sContTrans).

sContTransT_E :: (HasCardT from, HasCardConstrT to, HasCardUCT_T from to) => from a -> Either ContTransError (to a)

Analogue to sContTransT. Herre, in case of cardinality error, a more informative data structure is returned instead of Nothing (as was in sContTransT).