Languages.UniquenessPeriods.Vector.ConstraintsG.Encoded

Provides a way to encode the needed constraint with possibly less symbols.

Documentation

data EncodedContraints a b

Constructors

E a

T a a a

SA a b

SB a b

F a a

Instances

(Eq a, Eq b) => Eq (EncodedContraints a b)

Defined in Languages.UniquenessPeriods.Vector.ConstraintsG.Encoded

Methods

(==) :: EncodedContraints a b -> EncodedContraints a b -> Bool

(/=) :: EncodedContraints a b -> EncodedContraints a b -> Bool

(Ord a, Ord b) => Ord (EncodedContraints a b)

Defined in Languages.UniquenessPeriods.Vector.ConstraintsG.Encoded

Methods

compare :: EncodedContraints a b -> EncodedContraints a b -> Ordering

(<) :: EncodedContraints a b -> EncodedContraints a b -> Bool

(<=) :: EncodedContraints a b -> EncodedContraints a b -> Bool

(>) :: EncodedContraints a b -> EncodedContraints a b -> Bool

(>=) :: EncodedContraints a b -> EncodedContraints a b -> Bool

max :: EncodedContraints a b -> EncodedContraints a b -> EncodedContraints a b

min :: EncodedContraints a b -> EncodedContraints a b -> EncodedContraints a b

readMaybeEC :: String -> Maybe EncodedCnstrs

Inspired by the: https://hackage.haskell.org/package/base-4.14.0.0/docs/Data-Maybe.html

type EncodedCnstrs = EncodedContraints Int (Vector Int)

decodeConstraint1 :: EncodedCnstrs -> Vector (Vector Int) -> Vector (Vector Int)

Must be applied to the correct vector of permutation indeces. Otherwise, it gives runtime error (exception).

decodeLConstraints :: [EncodedCnstrs] -> Vector (Vector Int) -> Vector (Vector Int)

isE :: EncodedCnstrs -> Bool

isF :: EncodedCnstrs -> Bool

isT :: EncodedCnstrs -> Bool

isSA :: EncodedCnstrs -> Bool

isSB :: EncodedCnstrs -> Bool

getIEl :: EncodedCnstrs -> Int

setIEl :: Int -> EncodedCnstrs -> EncodedCnstrs