doublezip-0.1.0.0: Some special functions to work with lists (with zip).
Copyright(c) OleksandrZhabenko 2020-2021
LicenseMIT
Maintainerolexandr543@yahoo.com
StabilityExperimental
Safe HaskellNone
LanguageHaskell2010

Data.DoubleZip

Description

Some special functions to work with lists (with zip).

Synopsis

Documentation

normFst :: (Fractional a, Ord a) => [(a, b)] -> IO [(a, b)] Source #

Norms a tuples in a list by their first elements so that the greatest by an absolute value first element is equal to 1 (or -1). If all the first elements are zeros then prints a warning message and exits successfully.

normSnd :: (Fractional b, Ord b) => [(a, b)] -> IO [(a, b)] Source #

Norms a tuples in a list by their second elements so that the greatest by an absolute value second element is equal to 1 (or -1). If all the second elements are zeros then prints a warning message and exits successfully.

evalFstFV :: (Fractional a, Ord a, Eq b) => (a -> b) -> [a] -> IO [((a, b), (a, b))] Source #

A special function transformation to obtain the resulting list so that its first elements in the inner tuples are in a special way normed to 1 (or -1) by normFst and the inner tuples are sequenced one by another as a 2D points of the generating function f :: a -> b. To obtain non-empty result the given second argument must have at least two elements.

evalFstFVM :: (Fractional a, Ord a, Eq b) => (a -> IO b) -> [a] -> IO [((a, b), (a, b))] Source #

The same as evalFstFV but uses a monadic IO function f.

evalSndFV :: (Fractional b, Ord b, Eq a) => (a -> b) -> [a] -> IO [((a, b), (a, b))] Source #

A special function transformation to obtain the resulting list so that its second elements in the inner tuples are in a special way normed to 1 (or -1) by normSnd and the inner tuples are sequenced one by another as a 2D points of the generating function f :: a -> b. To obtain non-empty result the given second argument must have at least two elements. Is similar to evalFstFV.

evalSndFVM :: (Fractional b, Ord b, Eq a) => (a -> IO b) -> [a] -> IO [((a, b), (a, b))] Source #

The same as evalSndFV but uses a monadic IO function f.