Languages.UniquenessPeriods.Vector.Constraints.Encoded

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

Data types

data EncodedContraints a b

Constructors

E a

Q a a a a a

T a a a a

SA a a b

SB a a b

F a a a

Instances

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

Defined in Languages.UniquenessPeriods.Vector.Constraints.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.Constraints.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

type EncodedCnstrs = EncodedContraints Int (Vector Int)

Functions to work with them

Read functions

readMaybeEC :: Int -> String -> Maybe EncodedCnstrs

Inspired by the: https://hackage.haskell.org/package/base-4.14.0.0/docs/Data-Maybe.html Is provided here as a more general way to read the String into a EncodedCnstrs than more restricted but safer readMaybeECG. It is up to user to check whether the parameters are in the correct form, the function does not do the full checking. For phonetic-languages applications, it is better to use readMaybeECG function instead.

readMaybeECG :: Int -> String -> Maybe EncodedCnstrs

A safer variant of the readMaybeEC more suitable for applications, e. g. for phonetic-languages series of packages.

Process-encoding functions

decodeConstraint1 :: (InsertLeft t (Vector Int), Monoid (t (Vector Int))) => EncodedCnstrs -> t (Vector Int) -> t (Vector Int)

Must be applied to the correct vector of permutation indeces. Otherwise, it gives runtime error (exception). All the integers inside the EncodedCnstrs must be in the range [0..n] where n corresponds to the maximum element in the permutation Vector Int. Besides, n is (probably must be) not greater than 6.

decodeLConstraints :: (InsertLeft t (Vector Int), Monoid (t (Vector Int))) => [EncodedCnstrs] -> t (Vector Int) -> t (Vector Int)

Must be applied to the correct vector of permutation indeces. Otherwise, it gives runtime error (exception). All the integers inside the EncodedCnstrs must be in the range [0..n] where n corresponds to the maximum element in the permutation Vector Int. Besides, n is (probably must be) not greater than 6.

Modifiers and getters

getIEl :: EncodedCnstrs -> Int

setIEl :: Int -> EncodedCnstrs -> EncodedCnstrs

Predicates

isE :: EncodedCnstrs -> Bool

isF :: EncodedCnstrs -> Bool

isQ :: EncodedCnstrs -> Bool

isT :: EncodedCnstrs -> Bool

isSA :: EncodedCnstrs -> Bool

isSB :: EncodedCnstrs -> Bool