Languages.UniquenessPeriods.Vector.StrictVG

Generalization of the DobutokO.Poetry.StrictV module functionality from the dobutokO-poetry-general package. Can be used to get possible permutations of no more than 7 substructures in the Foldable structure separated with the elements of the "whitespace symbols" structure.

Documentation

universalSetG

Arguments

:: (Eq a, Foldable t, InsertLeft t a, Monoid (t a), Monoid (t (t a)))

=> t a

-> t (t a)

-> (t a -> Vector a)

The function that is used internally to convert to the boxed Vector of a so that the function can process further the permutations

-> (t (t a) -> Vector (Vector a))

The function that is used internally to convert to the boxed Vector of Vector of a so that the function can process further

-> Vector (Vector Int)

The list of permutations of Int indices starting from 0 and up to n (n is probably less than 7).

-> Vector (Vector a)

-> Vector (Vector a)

Is used internally in the uniquenessVariants2GNPB, uniquenessVariants2GNP and related functions. A key point of the evaluation -- the universal set of the task represented as a Vector of Vector of a.

result

Arguments

:: (Eq a, Foldable t, Foldable t2)

=> (Vector a -> t a)

The function that is used internally to convert from the boxed Vector of a so that the function can process further

-> Vector (t2 b -> b)

-> FuncRep (t a) (Vector c) (t2 b)

It includes the defined earlier variant with data constructor D2, but additionally allows to use just single argument with data constructor U1

-> Vector a

-> (t2 b, Vector b, t a)

resultB

Arguments

:: (Eq a, Foldable t, Foldable t2)

=> (Vector a -> t a)

The function that is used internally to convert from the boxed Vector of a so that the function can process further

-> Vector (t2 b -> b)

-> FuncRep (t a) (Vector c) (t2 b)

It includes the defined earlier variant with data constructor D2, but additionally allows to use just single argument with data constructor U1

-> Vector a

-> (t2 b, Vector b, t a)

uniquenessVariants2GN

Arguments

:: (Eq a, Foldable t, InsertLeft t a, Monoid (t a), Monoid (t (t a)), Ord b, Foldable t2)

=> a

The first most common element in the whitespace symbols structure

-> (t a -> Vector a)

The function that is used internally to convert to the boxed Vector of a so that the function can process further the permutations

-> (t (t a) -> Vector (Vector a))

The function that is used internally to convert to the boxed Vector of Vector of a so that the function can process further

-> (Vector a -> t a)

The function that is used internally to convert from the boxed Vector of a so that the function can process further

-> Vector (Vector Int)

The list of permutations of Int indices starting from 0 and up to n (n is probably less than 8).

-> Vector (t2 b -> b)

-> FuncRep (t a) (Vector c) (t2 b)

It includes the defined earlier variant with data constructor D2, but additionally allows to use just single argument with data constructor U1

-> t (t a)

Must be obtained as subG whspss xs

-> Vector (t2 b, Vector b, t a)

A variant of the uniquenessVariants2GNB with the usage of the Vector c (an unboxed one) instead of the boxed variant Vector c. If c is an instance of the Unboxed class then possibly it can be better from the performance point of view to use this variant.

uniquenessVariants2GNB

Arguments

:: (Eq a, Foldable t, InsertLeft t a, Monoid (t a), Monoid (t (t a)), Ord b, Foldable t2)

=> a

The first most common element in the "whitespace symbols" structure

-> (t a -> Vector a)

The function that is used internally to convert to the boxed Vector of a so that the function can process further the permutations

-> (t (t a) -> Vector (Vector a))

The function that is used internally to convert to the boxed Vector of Vector of a so that the function can process further

-> (Vector a -> t a)

The function that is used internally to convert from the boxed Vector of a so that the function can process further

-> Vector (Vector Int)

The list of permutations of Int indices starting from 0 and up to n (n is probably less than 8).

-> Vector (t2 b -> b)

-> FuncRep (t a) (Vector c) (t2 b)

It includes the defined earlier variant with data constructor D2, but additionally allows to use just single argument with data constructor U1

-> t (t a)

Must be obtained as subG whspss xs

-> Vector (t2 b, Vector b, t a)

A generalized variant of the uniquenessVariants2GN function from the uniqueness-periods-vector-common package which, moreover, allows to specify the used permutations.

uniquenessVariants2GNP

Arguments

:: (Eq a, Foldable t, InsertLeft t a, Monoid (t a), Monoid (t (t a)), Ord b, Foldable t2)

=> t a

The prepending structure.

-> t a

The postpending structure.

-> a

The first most common element in the whitespace symbols structure.

-> (t a -> Vector a)

The function that is used internally to convert to the boxed Vector of a so that the function can process further the permutations

-> (t (t a) -> Vector (Vector a))

The function that is used internally to convert to the boxed Vector of Vector of a so that the function can process further

-> (Vector a -> t a)

The function that is used internally to convert from the boxed Vector of a so that the function can process further

-> Vector (Vector Int)

The list of permutations of Int indices starting from 0 and up to n (n is probably less than 7).

-> Vector (t2 b -> b)

-> FuncRep (t a) (Vector c) (t2 b)

It includes the defined earlier variant with data constructor D2, but additionally allows to use just single argument with data constructor U1

-> t (t a)

Must be obtained as subG whspss xs

-> Vector (t2 b, Vector b, t a)

A variant of the uniquenessVariants2GNPB with the usage of the Vector c (an unboxed one) instead of the boxed variant Vector c. If c is an instance of the Unboxed class then possibly it can be better from the performance point of view to use this variant.

uniquenessVariants2GNPB

Arguments

:: (Eq a, Foldable t, InsertLeft t a, Monoid (t a), Monoid (t (t a)), Ord b, Foldable t2)

=> t a

-> t a

-> a

The first most common element in the whitespace symbols structure

-> (t a -> Vector a)

The function that is used internally to convert to the boxed Vector of a so that the function can process further the permutations

-> (t (t a) -> Vector (Vector a))

The function that is used internally to convert to the boxed Vector of Vector of a so that the function can process further

-> (Vector a -> t a)

The function that is used internally to convert from the boxed Vector of a so that the function can process further

-> Vector (Vector Int)

The list of permutations of Int indices starting from 0 and up to n (n is probably less than 7).

-> Vector (t2 b -> b)

-> FuncRep (t a) (Vector c) (t2 b)

Since version 0.5.0.0 it includes the previous variant with data constructor D2, but additionally allows to use just single argument with data constructor U1

-> t (t a)

Must be obtained as subG whspss xs

-> Vector (t2 b, Vector b, t a)

Generalized variant of uniquenessVariants2GN with prepending and appending [a] (given as the first and the second argument).

genPermutations :: Int -> Vector (Vector Int)

genPermutationsV :: Vector (Vector (Vector Int))