Copyright	(c) OleksandrZhabenko 2020
License	MIT
Stability	Experimental
Safe Haskell	None
Language	Haskell2010

Languages.UniquenessPeriods.Vector.General.Debug

Description

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

uniqMaxPoeticalGNV Source #

Arguments

:: (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)	`Vector` of the represented as functions "properties" to be applied consequently.
-> 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.

toFile Source #

Arguments

:: FilePath	The `FilePath` to the file to be written in the `AppendMode` (actually appended with) the information output.
-> [String]	Each `String` is appended on the new line to the file.
-> IO ()

Inspired by appendS16LEFile function from Melodics.Ukrainian module from mmsyn6ukr package.

printHelp Source #

Arguments

:: (Show a, Show b)
=> Info2	A parameter to control the predefined behaviour of the printing. The `I1` branch prints to the `stdout` and the `I2` - to the file.
-> UniquenessG1 a b	The element, for which the information is printed.
-> IO ()

Is used to print output specified to the stdout or to the FilePath specified as the inner argument in the Info2 parameter.

inner1 Source #

Arguments

:: (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 `I1` branch prints to the `stdout` and the `I2` - to the file.
-> Vector ([b] -> b)	`Vector` of the represented as functions "properties" to be applied consequently.
-> 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.

uniqMaxPoeticalGNVL Source #

Arguments

:: (Eq a, Ord b, Show a, Show b)
=> Vector ([b] -> b)	`Vector` of the represented as functions "properties" to be applied consequently.
-> 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.

uniqMaxPoetical2GN Source #

Arguments

:: (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)	`Vector` of the represented as functions "properties" to be applied consequently.
-> ([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 `String` of the text.
-> 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.

uniquenessVariantsGN Source #

Arguments

:: (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)	`Vector` of the represented as functions "properties" to be applied consequently.
-> ([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 `uniquenessPeriodsVector1`, `uniquenessPeriodsVector2`, or `uniquenessPeriodsVector2` from the `uniqueness-periods-vector` package. Usually it is one of the functions `uniquenessPeriodsVector1`, `uniquenessPeriodsVector2`, or `uniquenessPeriodsVector3` from the `uniqueness-periods-vector` package.
-> (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 `uniqueness-periods-vector-properties`.
-> [a]	The data to be processed. Often it can be a `String` of the text.
-> Vector (UniquenessG1 a b)

A variant for uniquenessVariants2GN and uniquenessVariants2GNP with the second argument defining, which one is used.

uniqInMaxPoeticalN Source #

Arguments

:: (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 `I1` branch prints to the `stdout` and the `I2` - to the file.
-> Vector ([b] -> b)	`Vector` of the represented as functions "properties" to be applied consequently.
-> 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).

uniqInMaxPoeticalNL Source #

Arguments

:: (Eq a, Ord b, Show a, Show b)
=> Info2	A parameter to control the predefined behaviour of the printing. The `I1` branch prints to the `stdout` and the `I2` - to the file.
-> Vector ([b] -> b)	`Vector` of the represented as functions "properties" to be applied consequently.
-> UniqG a b	The data to be analyzed.
-> IO (UniqG a b)

A variant of the uniqInMaxPoeticalN where all the given "properties" are used.

uniqNPoeticalN Source #

Arguments

:: (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 `I1` branch prints to the `stdout` and the `I2` - to the file.
-> Vector ([b] -> b)	`Vector` of the represented as functions "properties" to be applied consequently.
-> 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.

uniqNPoeticalNL Source #

Arguments

:: (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 `I1` branch prints to the `stdout` and the `I2` - to the file.
-> Vector ([b] -> b)	`Vector` of the represented as functions "properties" to be applied consequently.
-> UniqG a b	The data to be analyzed.
-> IO ()

A variant of the uniqNPoeticalN where all the given "properties" are used.

uniqNPoeticalVN Source #

Arguments

:: (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 `I1` branch prints to the `stdout` and the `I2` - to the file.
-> Vector ([b] -> b)	`Vector` of the represented as functions "properties" to be applied consequently.
-> 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.

uniqNPoeticalVNL Source #

Arguments

:: (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 `I1` branch prints to the `stdout` and the `I2` - to the file.
-> Vector ([b] -> b)	`Vector` of the represented as functions "properties" to be applied consequently.
-> UniqG a b	The data to be analyzed.
-> IO (UniqG a b)

A variant of the uniqNPoeticalVN where all the given "properties" are used.

uniqNPoetical2GN Source #

Arguments

:: (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 `I1` branch prints to the `stdout` and the `I2` - to the file.
-> Vector ([b] -> b)	`Vector` of the represented as functions "properties" to be applied consequently.
-> ([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 `uniquenessPeriodsVector1`, `uniquenessPeriodsVector2`, or `uniquenessPeriodsVector3` from the `uniqueness-periods-vector` package.
-> (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 `uniqueness-periods-vector-properties`.
-> [a]	The data to be processed. Often it can be a `String` of the text.
-> IO ()

The full analyzing and processment function. A pair with uniqNPoetical2VGN, returns another data type as its result.

uniqNPoetical2VGN Source #

Arguments

:: (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 `I1` branch prints to the `stdout` and the `I2` - to the file.
-> Vector ([b] -> b)	`Vector` of the represented as functions "properties" to be applied consequently.
-> ([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 `uniquenessPeriodsVector1`, `uniquenessPeriodsVector2`, or `uniquenessPeriodsVector3` from the `uniqueness-periods-vector` package.
-> (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 `uniqueness-periods-vector-properties`.
-> UniqG a b	A parameter to control the behaviour of the function. The data constructor (either `U` or `UL`) is preserved.
-> [a]	The data to be processed. Often it can be a `String` of the text.
-> IO (UniqG a b)

The full analyzing and processment function. A pair with uniqNPoetical2GN, returns another data type as its result.