Copyright | (c) OleksandrZhabenko 2020 |
---|---|
License | MIT |
Stability | Experimental |
Safe Haskell | None |
Language | Haskell2010 |
Maintainer : olexandr543@yahoo.com
Generalization of the functionality of the DobutokO.Poetry.General.Debug
module from the dobutokO-poetry-general-languages
package.
Synopsis
- uniqMaxPoeticalGNV :: (Eq a, Ord b) => Int -> Vector ([b] -> b) -> UniqG a b -> UniquenessG1 a b
- toFile :: FilePath -> [String] -> IO ()
- printHelp :: (Show a, Show b) => Info2 -> UniquenessG1 a b -> IO ()
- inner1 :: (Eq a, Ord b, Show a, Show b) => Int -> Info2 -> Vector ([b] -> b) -> UniqG a b -> IO ([b], UniqG a b)
- uniqMaxPoeticalGNVL :: (Eq a, Ord b, Show a, Show b) => Vector ([b] -> b) -> UniqG a b -> UniquenessG1 a b
- uniqMaxPoetical2GN :: (Eq a, Ord b, Show a, Show b) => [a] -> Preapp a -> Int -> Vector ([b] -> b) -> ([a] -> Vector c) -> (Vector c -> [b]) -> [a] -> UniquenessG1 a b
- uniquenessVariantsGN :: (Eq a, Ord b, Show a, Show b) => [a] -> Preapp a -> Vector ([b] -> b) -> ([a] -> Vector c) -> (Vector c -> [b]) -> [a] -> Vector (UniquenessG1 a b)
- uniqInMaxPoeticalN :: (Eq a, Ord b, Show a, Show b) => Int -> Info2 -> Vector ([b] -> b) -> UniqG a b -> IO (UniqG a b)
- uniqInMaxPoeticalNL :: (Eq a, Ord b, Show a, Show b) => Info2 -> Vector ([b] -> b) -> UniqG a b -> IO (UniqG a b)
- uniqNPoeticalN :: (Eq a, Ord b, Show a, Show b) => Int -> Int -> Info2 -> Vector ([b] -> b) -> UniqG a b -> IO ()
- uniqNPoeticalNL :: (Eq a, Ord b, Show a, Show b) => Int -> Info2 -> Vector ([b] -> b) -> UniqG a b -> IO ()
- uniqNPoeticalVN :: (Eq a, Ord b, Show a, Show b) => Int -> Int -> Info2 -> Vector ([b] -> b) -> UniqG a b -> IO (UniqG a b)
- uniqNPoeticalVNL :: (Eq a, Ord b, Show a, Show b) => Int -> Info2 -> Vector ([b] -> b) -> UniqG a b -> IO (UniqG a b)
- uniqNPoetical2GN :: (Eq a, Ord b, Show a, Show b) => [a] -> Preapp a -> Int -> Int -> Info2 -> Vector ([b] -> b) -> ([a] -> Vector c) -> (Vector c -> [b]) -> [a] -> IO ()
- uniqNPoetical2VGN :: (Eq a, Ord b, Show a, Show b) => [a] -> Preapp a -> Int -> Int -> Info2 -> Vector ([b] -> b) -> ([a] -> Vector c) -> (Vector c -> [b]) -> UniqG a b -> [a] -> IO (UniqG a b)
Documentation
:: (Eq a, Ord b) | |
=> Int | The quantity of the represented as functions "properties" to be applied from the second argument. The order is from the right to the left. |
-> Vector ([b] -> b) |
|
-> UniqG a b | The data to be analyzed. |
-> UniquenessG1 a b | The maximum element in respect with the given parameters. |
The function evaluates the Vector
of UniquenessG1
a
b
elements (related with the third argument) to retrieve the possibly maximum element
in it with respect to the order and significance (principality) of the "properties" (represented as the functions f :: [b] -> b
) being evaluated.
The most significant and principal is the "property", which index in the Vector
of them is the Int
argument (so it is the first one) of the
function minus 1, then less significant is the next to the left "property" and so on.
The predefined library "properties" or related to them functions can be found in the package uniqueness-periods-vector-properties
.
:: FilePath | The |
-> [String] | Each |
-> IO () |
Inspired by appendS16LEFile function from Melodics.Ukrainian module from mmsyn6ukr
package.
:: (Eq a, Ord b, Show a, Show b) | |
=> Int | The quantity of the represented as functions "properties" to be applied from the second argument. The order is from the right to the left. |
-> Info2 | A parameter to control the predefined behaviour of the printing. The |
-> Vector ([b] -> b) |
|
-> UniqG a b | The data to be analyzed. |
-> IO ([b], UniqG a b) |
Auxiliary function that is used inside the uniqInMaxPoeticalN
. Finds the maximum element, prints needed information and returns the result.
:: (Eq a, Ord b, Show a, Show b) | |
=> Vector ([b] -> b) |
|
-> UniqG a b | The data to be analyzed. |
-> UniquenessG1 a b | The maximum element according to the given "properties". |
Variant of the uniqMaxPoeticalGNV
function where all the given "properties" are used.
The predefined library "properties" or related to them functions can be found in the package uniqueness-periods-vector-properties
.
:: (Eq a, Ord b, Show a, Show b) | |
=> [a] | A list of "whitespace symbols" that delimits the sublists in the list to be processed. |
-> Preapp a | A parameter to specify the lists to be prepended and postpended to the given data to be processed before actual processment. |
-> Int | The quantity of the represented as functions "properties" to be applied from the second argument. The order is from the right to the left. |
-> Vector ([b] -> b) |
|
-> ([a] -> Vector c) | The first function that transforms the processed list into the form suitable for analyzing by the functions in the module. |
-> (Vector c -> [b]) | The second function that transforms the suitable form data representation obtained by the previous argument application into the data that can be evaluated to get the result. |
-> [a] | The data to be processed. Often it can be a |
-> UniquenessG1 a b |
The function evaluates
the generated Vector
of UniquenessG1
a
b
elements to retrieve the possibly maximum element in it with respect to the order and significance (principality)
of the "properties" being evaluated. The most significant and principal is the "property", which index in the Vector
of them is the Int
argument of the function
minus 1, then less significant is the next to the left "property" and so on.
:: (Eq a, Ord b, Show a, Show b) | |
=> [a] | A list of "whitespace symbols" that delimits the sublists in the list to be processed. |
-> Preapp a | A parameter to specify the lists to be prepended and postpended to the given data to be processed before actual processment. |
-> Vector ([b] -> b) |
|
-> ([a] -> Vector c) | The first function that transforms the processed list into the form suitable for analyzing by the functions in the module. Usually it is one of the functions |
-> (Vector c -> [b]) | The second function that transforms the suitable form data representation obtained by the previous argument application into the data that can be evaluated to get the result. The predefined functions can be found in the package |
-> [a] | The data to be processed. Often it can be a |
-> Vector (UniquenessG1 a b) |
A variant for uniquenessVariants2GN
and uniquenessVariants2GNP
with the second argument defining, which one is used.
:: (Eq a, Ord b, Show a, Show b) | |
=> Int | The quantity of the represented as functions "properties" to be applied from the second argument. The order is from the right to the left. |
-> Info2 | A parameter to control the predefined behaviour of the printing. The |
-> Vector ([b] -> b) |
|
-> UniqG a b | The data to be analyzed. |
-> IO (UniqG a b) |
Prints the maximum element with respect of the k
"properties" (the most significant of which is the rightest one, then to the left less significant etc.),
which is given as the first argument. The last "property" is the first element in the Vector
of "properties" ([b] -> b
).
:: (Eq a, Ord b, Show a, Show b) | |
=> Info2 | A parameter to control the predefined behaviour of the printing. The |
-> Vector ([b] -> b) |
|
-> UniqG a b | The data to be analyzed. |
-> IO (UniqG a b) |
A variant of the uniqInMaxPoeticalN
where all the given "properties" are used.
:: (Eq a, Ord b, Show a, Show b) | |
=> Int | A quantity of the recursive calls that returns each one a new result from the rest of the data processed. |
-> Int | The quantity of the represented as functions "properties" to be applied from the second argument. The order is from the right to the left. |
-> Info2 | A parameter to control the predefined behaviour of the printing. The |
-> Vector ([b] -> b) |
|
-> UniqG a b | The data to be analyzed. |
-> IO () |
Is a pair function for monadic recursive calls with uniqInMaxPoeticalN
. Prints the n
(the first Int
argument) consequential maximum elements.
:: (Eq a, Ord b, Show a, Show b) | |
=> Int | A quantity of the recursive calls that returns each one a new result from the rest of the data processed. |
-> Info2 | A parameter to control the predefined behaviour of the printing. The |
-> Vector ([b] -> b) |
|
-> UniqG a b | The data to be analyzed. |
-> IO () |
A variant of the uniqNPoeticalN
where all the given "properties" are used.
:: (Eq a, Ord b, Show a, Show b) | |
=> Int | A quantity of the recursive calls that returns each one a new result from the rest of the data processed. |
-> Int | The quantity of the represented as functions "properties" to be applied from the second argument. The order is from the right to the left. |
-> Info2 | A parameter to control the predefined behaviour of the printing. The |
-> Vector ([b] -> b) |
|
-> UniqG a b | The data to be analyzed. |
-> IO (UniqG a b) |
Is a pair function for monadic recursive calls with uniqInMaxPoeticalN
. Prints the n
(the first Int
argument) consequential maximum elements.
Is similar to uniqNPoeticalN
in actions but has another return data type.
:: (Eq a, Ord b, Show a, Show b) | |
=> Int | A quantity of the recursive calls that returns each one a new result from the rest of the data processed. |
-> Info2 | A parameter to control the predefined behaviour of the printing. The |
-> Vector ([b] -> b) |
|
-> UniqG a b | The data to be analyzed. |
-> IO (UniqG a b) |
A variant of the uniqNPoeticalVN
where all the given "properties" are used.
:: (Eq a, Ord b, Show a, Show b) | |
=> [a] | A list of "whitespace symbols" that delimits the sublists in the list to be processed. |
-> Preapp a | A parameter to specify the lists to be prepended and postpended to the given data to be processed before actual processment. |
-> Int | A quantity of the recursive calls that returns each one a new result from the rest of the data processed. |
-> Int | The quantity of the represented as functions "properties" to be applied from the second argument. The order is from the right to the left. |
-> Info2 | A parameter to control the predefined behaviour of the printing. The |
-> Vector ([b] -> b) |
|
-> ([a] -> Vector c) | The first function that transforms the processed list into the form suitable for analyzing by the functions in the module. Usually it is one of the functions |
-> (Vector c -> [b]) | The second function that transforms the suitable form data representation obtained by the previous argument application into the data that can be evaluated to get the result. The predefined functions can be found in the package |
-> [a] | The data to be processed. Often it can be a |
-> IO () |
The full analyzing and processment function. A pair with uniqNPoetical2VGN
, returns another data type as its result.
:: (Eq a, Ord b, Show a, Show b) | |
=> [a] | A list of "whitespace symbols" that delimits the sublists in the list to be processed. |
-> Preapp a | A parameter to specify the lists to be prepended and postpended to the given data to be processed before actual processment. |
-> Int | A quantity of the recursive calls that returns each one a new result from the rest of the data processed. |
-> Int | The quantity of the represented as functions "properties" to be applied from the second argument. The order is from the right to the left. |
-> Info2 | A parameter to control the predefined behaviour of the printing. The |
-> Vector ([b] -> b) |
|
-> ([a] -> Vector c) | The first function that transforms the processed list into the form suitable for analyzing by the functions in the module. Usually it is one of the functions |
-> (Vector c -> [b]) | The second function that transforms the suitable form data representation obtained by the previous argument application into the data that can be evaluated to get the result. The predefined functions can be found in the package |
-> UniqG a b | A parameter to control the behaviour of the function. The data constructor (either |
-> [a] | The data to be processed. Often it can be a |
-> IO (UniqG a b) |
The full analyzing and processment function. A pair with uniqNPoetical2GN
, returns another data type as its result.