Copyright	(c) OleksandrZhabenko 2021
License	MIT
Maintainer	olexandr543@yahoo.com
Stability	Experimental
Safe Haskell	Safe-Inferred
Language	Haskell2010
Extensions	BangPatterns MultiWayIf

Rhythmicity.PolyRhythm

Description

The module is highly experimental approach to estimate further the rhythmicity (using some extent of the music concept of polyrhythm) of the not very long lists (well, not longer than e. g. 30 elements). Is rather computationally expensive, so must be used with caution. If the period of rhythm is less than 5 or even 6 it is not effective.

Synopsis

data Marker4s
- = D
- | E
- | F
- | G
newtype PolyMarkers = PolyMs Char
data PolyMrks
- = R4 Marker4s
- | RP PolyMarkers
is4s :: PolyMrks -> Bool
isPoly :: PolyMrks -> Bool
data PolyRhythmBasis = PolyRhythm [Int]
vals :: PolyRhythmBasis -> [Int]
data PolyChoices = PolyCh {
- xn :: [Bool]
- pqty :: Int
}
validPolyChRhPair :: PolyChoices -> PolyRhythmBasis -> Bool
data Intermediate a
- = J a
- | I PolyMarkers
isJI :: Intermediate a -> Bool
fromIntermediate :: Intermediate a -> Maybe PolyMrks
getPolyChRhData :: Ord a => Char -> Int -> PolyChoices -> PolyRhythmBasis -> [a] -> [[PolyMrks]]
increasingF :: Int -> Double -> Double
increasingF1 :: Int -> Double -> Double
increasingFG :: Int -> Double -> (Int -> Double -> Double -> Double) -> Double -> Double
decreasingF1 :: Int -> Double -> Double
decreasingFG :: Int -> Double -> (Int -> Double -> Double -> Double) -> Double -> Double
decreasingFG2 :: Int -> Double -> (Double -> Double -> Double) -> Double -> Double
increasingFG2 :: Int -> Double -> (Double -> Double -> Double) -> Double -> Double
decreasingF :: Int -> Double -> Double
similarityF1 :: Char -> PolyMrks -> PolyMrks -> Double -> Double
similarityF0 :: Char -> PolyMrks -> PolyMrks -> Double -> Double
similarityFGE1 :: Double -> Either (Double -> Double -> Double) (Int -> Double -> Double -> Double) -> Char -> PolyMrks -> PolyMrks -> Double -> Double
similarityFG1 :: Double -> (Int -> Double -> Double -> Double) -> Char -> PolyMrks -> PolyMrks -> Double -> Double
similarityFG12 :: Double -> (Double -> Double -> Double) -> Char -> PolyMrks -> PolyMrks -> Double -> Double
similarityFGE0 :: Double -> Either (Double -> Double -> Double) (Int -> Double -> Double -> Double) -> Char -> PolyMrks -> PolyMrks -> Double -> Double
similarityFG0 :: Double -> (Int -> Double -> Double -> Double) -> Char -> PolyMrks -> PolyMrks -> Double -> Double
similarityFG02 :: Double -> (Double -> Double -> Double) -> Char -> PolyMrks -> PolyMrks -> Double -> Double
similarityLogics :: Char -> Double -> [PolyMrks] -> [PolyMrks] -> Double
similarityLogics0 :: Char -> Double -> [PolyMrks] -> [PolyMrks] -> Double
similarityLogicsGE :: Double -> Either (Double -> Double -> Double) (Int -> Double -> Double -> Double) -> Char -> Double -> [PolyMrks] -> [PolyMrks] -> Double
similarityLogicsG1 :: Double -> (Int -> Double -> Double -> Double) -> Char -> Double -> [PolyMrks] -> [PolyMrks] -> Double
similarityLogicsG12 :: Double -> (Double -> Double -> Double) -> Char -> Double -> [PolyMrks] -> [PolyMrks] -> Double
similarityLogicsGE0 :: Double -> Either (Double -> Double -> Double) (Int -> Double -> Double -> Double) -> Char -> Double -> [PolyMrks] -> [PolyMrks] -> Double
similarityLogicsG0 :: Double -> (Int -> Double -> Double -> Double) -> Char -> Double -> [PolyMrks] -> [PolyMrks] -> Double
similarityLogicsG02 :: Double -> (Double -> Double -> Double) -> Char -> Double -> [PolyMrks] -> [PolyMrks] -> Double
similarityPoly :: Char -> Double -> [[PolyMrks]] -> Double
similarityPoly2 :: [PolyMrks] -> Char -> Double -> [[PolyMrks]] -> Double
similarityPolyGEE :: (Int, [PolyMrks]) -> Either (Double -> Double -> Double) (Int -> Double -> Double -> Double) -> Char -> Double -> [(Int, [PolyMrks])] -> Double
similarityPolyGE :: Either (Double -> Double -> Double) (Int -> Double -> Double -> Double) -> Char -> Double -> [(Int, [PolyMrks])] -> Double
similarityPolyG1 :: (Int -> Double -> Double -> Double) -> Char -> Double -> [(Int, [PolyMrks])] -> Double
similarityPolyG12 :: (Double -> Double -> Double) -> Char -> Double -> [(Int, [PolyMrks])] -> Double
similarityPoly0 :: Char -> Double -> [[PolyMrks]] -> Double
similarityPoly20 :: [PolyMrks] -> Char -> Double -> [[PolyMrks]] -> Double
similarityPolyGEE0 :: (Int, [PolyMrks]) -> Either (Double -> Double -> Double) (Int -> Double -> Double -> Double) -> Char -> Double -> [(Int, [PolyMrks])] -> Double
similarityPolyGE0 :: Either (Double -> Double -> Double) (Int -> Double -> Double -> Double) -> Char -> Double -> [(Int, [PolyMrks])] -> Double
similarityPolyG0 :: (Int -> Double -> Double -> Double) -> Char -> Double -> [(Int, [PolyMrks])] -> Double
similarityPolyG02 :: (Double -> Double -> Double) -> Char -> Double -> [(Int, [PolyMrks])] -> Double
rhythmicityPoly :: Ord a => Double -> Int -> PolyChoices -> PolyRhythmBasis -> [a] -> Double
rhythmicityPolyGE :: Ord a => Either (Double -> Double -> Double) (Int -> Double -> Double -> Double) -> Double -> Int -> PolyChoices -> PolyRhythmBasis -> [a] -> Double
rhythmicityPolyG1 :: Ord a => (Int -> Double -> Double -> Double) -> Double -> Int -> PolyChoices -> PolyRhythmBasis -> [a] -> Double
rhythmicityPolyG12 :: Ord a => (Double -> Double -> Double) -> Double -> Int -> PolyChoices -> PolyRhythmBasis -> [a] -> Double
rhythmicityPolyGE0 :: Ord a => Either (Double -> Double -> Double) (Int -> Double -> Double -> Double) -> Double -> Int -> PolyChoices -> PolyRhythmBasis -> [a] -> Double
rhythmicityPolyG01 :: Ord a => (Int -> Double -> Double -> Double) -> Double -> Int -> PolyChoices -> PolyRhythmBasis -> [a] -> Double
rhythmicityPolyG02 :: Ord a => (Double -> Double -> Double) -> Double -> Int -> PolyChoices -> PolyRhythmBasis -> [a] -> Double
rhythmicityPoly0 :: Ord a => Double -> Int -> PolyChoices -> PolyRhythmBasis -> [a] -> Double
simpleF2 :: Double -> Double -> Double
simpleF3 :: Int -> Double -> Double -> Double
rhythmicityPolyWeightedF2 :: Ord a => Double -> Int -> PolyChoices -> PolyRhythmBasis -> [a] -> Double
rhythmicityPolyWeightedF3 :: Ord a => Double -> Int -> PolyChoices -> PolyRhythmBasis -> [a] -> Double
rhythmicityPolyWeightedF20 :: Ord a => Double -> Int -> PolyChoices -> PolyRhythmBasis -> [a] -> Double
rhythmicityPolyWeightedF30 :: Ord a => Double -> Int -> PolyChoices -> PolyRhythmBasis -> [a] -> Double
data ParseChRh
- = P0 String
- | P1 Choices RhythmBasis Int
- | P2 PolyChoices PolyRhythmBasis Int Int
isChRhString :: ParseChRh -> Bool
isChRh3 :: ParseChRh -> Bool
isChRhPoly :: ParseChRh -> Bool
readRhythmicity :: String -> Maybe ParseChRh

Documentation

data Marker4s Source #

Constructors

D
E
F
G

Instances

Instances details

Eq Marker4s Source #
Instance details Defined in Rhythmicity.PolyRhythm Methods (==) :: Marker4s -> Marker4s -> Bool # (/=) :: Marker4s -> Marker4s -> Bool #
Ord Marker4s Source #
Instance details Defined in Rhythmicity.PolyRhythm Methods compare :: Marker4s -> Marker4s -> Ordering # (<) :: Marker4s -> Marker4s -> Bool # (<=) :: Marker4s -> Marker4s -> Bool # (>) :: Marker4s -> Marker4s -> Bool # (>=) :: Marker4s -> Marker4s -> Bool # max :: Marker4s -> Marker4s -> Marker4s # min :: Marker4s -> Marker4s -> Marker4s #
Show Marker4s Source #
Instance details Defined in Rhythmicity.PolyRhythm Methods showsPrec :: Int -> Marker4s -> ShowS # show :: Marker4s -> String # showList :: [Marker4s] -> ShowS #

newtype PolyMarkers Source #

Constructors

PolyMs Char

Instances

Instances details

Eq PolyMarkers Source #
Instance details Defined in Rhythmicity.PolyRhythm Methods (==) :: PolyMarkers -> PolyMarkers -> Bool # (/=) :: PolyMarkers -> PolyMarkers -> Bool #
Ord PolyMarkers Source #
Instance details Defined in Rhythmicity.PolyRhythm Methods compare :: PolyMarkers -> PolyMarkers -> Ordering # (<) :: PolyMarkers -> PolyMarkers -> Bool # (<=) :: PolyMarkers -> PolyMarkers -> Bool # (>) :: PolyMarkers -> PolyMarkers -> Bool # (>=) :: PolyMarkers -> PolyMarkers -> Bool # max :: PolyMarkers -> PolyMarkers -> PolyMarkers # min :: PolyMarkers -> PolyMarkers -> PolyMarkers #
Show PolyMarkers Source #
Instance details Defined in Rhythmicity.PolyRhythm Methods showsPrec :: Int -> PolyMarkers -> ShowS # show :: PolyMarkers -> String # showList :: [PolyMarkers] -> ShowS #

data PolyMrks Source #

Constructors

R4 Marker4s
RP PolyMarkers

Instances

Instances details

Eq PolyMrks Source #
Instance details Defined in Rhythmicity.PolyRhythm Methods (==) :: PolyMrks -> PolyMrks -> Bool # (/=) :: PolyMrks -> PolyMrks -> Bool #
Ord PolyMrks Source #
Instance details Defined in Rhythmicity.PolyRhythm Methods compare :: PolyMrks -> PolyMrks -> Ordering # (<) :: PolyMrks -> PolyMrks -> Bool # (<=) :: PolyMrks -> PolyMrks -> Bool # (>) :: PolyMrks -> PolyMrks -> Bool # (>=) :: PolyMrks -> PolyMrks -> Bool # max :: PolyMrks -> PolyMrks -> PolyMrks # min :: PolyMrks -> PolyMrks -> PolyMrks #
Show PolyMrks Source #
Instance details Defined in Rhythmicity.PolyRhythm Methods showsPrec :: Int -> PolyMrks -> ShowS # show :: PolyMrks -> String # showList :: [PolyMrks] -> ShowS #

is4s :: PolyMrks -> Bool Source #

isPoly :: PolyMrks -> Bool Source #

data PolyRhythmBasis Source #

Data to specify some quantitative information of the structure of rhythmicity.

Constructors

PolyRhythm [Int]

Instances

Instances details

Eq PolyRhythmBasis Source #
Instance details Defined in Rhythmicity.PolyRhythm Methods (==) :: PolyRhythmBasis -> PolyRhythmBasis -> Bool # (/=) :: PolyRhythmBasis -> PolyRhythmBasis -> Bool #
Show PolyRhythmBasis Source #
Instance details Defined in Rhythmicity.PolyRhythm Methods showsPrec :: Int -> PolyRhythmBasis -> ShowS # show :: PolyRhythmBasis -> String # showList :: [PolyRhythmBasis] -> ShowS #

vals :: PolyRhythmBasis -> [Int] Source #

data PolyChoices Source #

Data to specify (mostly) the qualitative information of the structure of rhythmicity.

Constructors

PolyCh
Fields xn :: [Bool] the `True` corresponds to maximums, `False` -- to minimums pqty :: Int general quantity of the elements to be taken as one period. Must be not less than the sum of `cheis` and `chbis`. Symbolically, it must be `sum` . `vals` . `PolyRhythm` $ [`Int`] = `PolyCh` `pqty`.

Instances

Instances details

Eq PolyChoices Source #
Instance details Defined in Rhythmicity.PolyRhythm Methods (==) :: PolyChoices -> PolyChoices -> Bool # (/=) :: PolyChoices -> PolyChoices -> Bool #

validPolyChRhPair :: PolyChoices -> PolyRhythmBasis -> Bool Source #

The predicate to check whether the two given arguments can be used together to get meaningful results.

data Intermediate a Source #

Constructors

J a
I PolyMarkers

Instances

Instances details

Eq a => Eq (Intermediate a) Source #
Instance details Defined in Rhythmicity.PolyRhythm Methods (==) :: Intermediate a -> Intermediate a -> Bool # (/=) :: Intermediate a -> Intermediate a -> Bool #
Ord a => Ord (Intermediate a) Source #
Instance details Defined in Rhythmicity.PolyRhythm Methods compare :: Intermediate a -> Intermediate a -> Ordering # (<) :: Intermediate a -> Intermediate a -> Bool # (<=) :: Intermediate a -> Intermediate a -> Bool # (>) :: Intermediate a -> Intermediate a -> Bool # (>=) :: Intermediate a -> Intermediate a -> Bool # max :: Intermediate a -> Intermediate a -> Intermediate a # min :: Intermediate a -> Intermediate a -> Intermediate a #

isJI :: Intermediate a -> Bool Source #

fromIntermediate :: Intermediate a -> Maybe PolyMrks Source #

getPolyChRhData Source #

Arguments

:: Ord a
=> Char	The start of the `RP` `PolyMarkers` count in case of `PolyMrks` with `Char`s. The usual one can be 'a' or 'h'.
-> Int	If the argument is less or equal to 4, then `Marker4s` is used, if it is greater than 4, then `PolyMarkers` is used.
-> PolyChoices
-> PolyRhythmBasis
-> [a]
-> [[PolyMrks]]

increasingF :: Int -> Double -> Double Source #

increasingF1 :: Int -> Double -> Double Source #

increasingFG :: Int -> Double -> (Int -> Double -> Double -> Double) -> Double -> Double Source #

decreasingF1 :: Int -> Double -> Double Source #

decreasingFG :: Int -> Double -> (Int -> Double -> Double -> Double) -> Double -> Double Source #

decreasingFG2 :: Int -> Double -> (Double -> Double -> Double) -> Double -> Double Source #

increasingFG2 :: Int -> Double -> (Double -> Double -> Double) -> Double -> Double Source #

decreasingF :: Int -> Double -> Double Source #

similarityF1 Source #

Arguments

:: Char	The start of the counting.
-> PolyMrks
-> PolyMrks
-> Double	The initial value.
-> Double

similarityF0 Source #

Arguments

:: Char	The start of the counting.
-> PolyMrks
-> PolyMrks
-> Double	The initial value.
-> Double

The more straightforward variant of the similarityF1 function.

similarityFGE1 :: Double -> Either (Double -> Double -> Double) (Int -> Double -> Double -> Double) -> Char -> PolyMrks -> PolyMrks -> Double -> Double Source #

similarityFG1 :: Double -> (Int -> Double -> Double -> Double) -> Char -> PolyMrks -> PolyMrks -> Double -> Double Source #

similarityFG12 :: Double -> (Double -> Double -> Double) -> Char -> PolyMrks -> PolyMrks -> Double -> Double Source #

similarityFGE0 :: Double -> Either (Double -> Double -> Double) (Int -> Double -> Double -> Double) -> Char -> PolyMrks -> PolyMrks -> Double -> Double Source #

similarityFG0 :: Double -> (Int -> Double -> Double -> Double) -> Char -> PolyMrks -> PolyMrks -> Double -> Double Source #

similarityFG02 :: Double -> (Double -> Double -> Double) -> Char -> PolyMrks -> PolyMrks -> Double -> Double Source #

similarityLogics Source #

Arguments

:: Char	The start of the counting.
-> Double	An initial value.
-> [PolyMrks]
-> [PolyMrks]
-> Double	The greater one corresponds to (probably) more rhythmic list.

The function that uses a simple arithmetic logics to calculate the similarity of the two equal by length (if not they are truncated to the least one) lists of PolyMrks. Uses both increasing and decreasing functions.

similarityLogics0 Source #

Arguments

:: Char	The start of the counting.
-> Double	An initial value.
-> [PolyMrks]
-> [PolyMrks]
-> Double	The greater one corresponds to (probably) more rhythmic list.

The more straightforward variant of the similarityLogics function.

similarityLogicsGE Source #

Arguments

:: Double
-> Either (Double -> Double -> Double) (Int -> Double -> Double -> Double)
-> Char	The start of the counting.
-> Double	An initial value.
-> [PolyMrks]
-> [PolyMrks]
-> Double

similarityLogicsG1 Source #

Arguments

:: Double
-> (Int -> Double -> Double -> Double)
-> Char	The start of the counting.
-> Double	An initial value.
-> [PolyMrks]
-> [PolyMrks]
-> Double

similarityLogicsG12 Source #

Arguments

:: Double
-> (Double -> Double -> Double)
-> Char	The start of the counting.
-> Double	An initial value.
-> [PolyMrks]
-> [PolyMrks]
-> Double

similarityLogicsGE0 Source #

Arguments

:: Double
-> Either (Double -> Double -> Double) (Int -> Double -> Double -> Double)
-> Char	The start of the counting.
-> Double	An initial value.
-> [PolyMrks]
-> [PolyMrks]
-> Double

The more straightforward variant of the similarityLogicsGE function.

similarityLogicsG0 Source #

Arguments

:: Double
-> (Int -> Double -> Double -> Double)
-> Char	The start of the counting.
-> Double	An initial value.
-> [PolyMrks]
-> [PolyMrks]
-> Double

similarityLogicsG02 Source #

Arguments

:: Double
-> (Double -> Double -> Double)
-> Char	The start of the counting.
-> Double	An initial value.
-> [PolyMrks]
-> [PolyMrks]
-> Double

similarityPoly Source #

Arguments

:: Char	The start of the counting.
-> Double	The initial value starting from which it counts. Usually, equals to 1.0.
-> [[PolyMrks]]
-> Double	The greater one corresponds to (probably) more rhythmic list.

The function that uses a simple arithmetic logics to calculate the similarity of the two equal by length (if not they are truncated to the least one) lists of PolyMrks. Uses similarityLogics inside.

similarityPoly2 Source #

Arguments

:: [PolyMrks]
-> Char	The start of the counting.
-> Double	The initial value starting from which it counts. Usually, equals to 1.0.
-> [[PolyMrks]]
-> Double

similarityPolyGEE Source #

Arguments

:: (Int, [PolyMrks])
-> Either (Double -> Double -> Double) (Int -> Double -> Double -> Double)
-> Char	The start of the counting.
-> Double	The initial value starting from which it counts. Usually, equals to 1.0.
-> [(Int, [PolyMrks])]
-> Double

similarityPolyGE Source #

Arguments

:: Either (Double -> Double -> Double) (Int -> Double -> Double -> Double)
-> Char	The start of the counting.
-> Double	The initial value starting from which it counts. Usually, equals to 1.0.
-> [(Int, [PolyMrks])]
-> Double

similarityPolyG1 Source #

Arguments

:: (Int -> Double -> Double -> Double)
-> Char	The start of the counting.
-> Double	The initial value starting from which it counts. Usually, equals to 1.0.
-> [(Int, [PolyMrks])]
-> Double

similarityPolyG12 Source #

Arguments

:: (Double -> Double -> Double)
-> Char	The start of the counting.
-> Double	The initial value starting from which it counts. Usually, equals to 1.0.
-> [(Int, [PolyMrks])]
-> Double

similarityPoly0 Source #

Arguments

:: Char	The start of the counting.
-> Double	The initial value starting from which it counts. Usually, equals to 1.0.
-> [[PolyMrks]]
-> Double	The greater one corresponds to (probably) more rhythmic list.

The function that uses a simple arithmetic logics to calculate the similarity of the two equal by length (if not they are truncated to the least one) lists of PolyMrks. Uses similarityLogics0 inside. The more straightforward variant of the similarityPoly function.

similarityPoly20 Source #

Arguments

:: [PolyMrks]
-> Char	The start of the counting.
-> Double	The initial value starting from which it counts. Usually, equals to 1.0.
-> [[PolyMrks]]
-> Double

similarityPolyGEE0 Source #

Arguments

:: (Int, [PolyMrks])
-> Either (Double -> Double -> Double) (Int -> Double -> Double -> Double)
-> Char	The start of the counting.
-> Double	The initial value starting from which it counts. Usually, equals to 1.0.
-> [(Int, [PolyMrks])]
-> Double

similarityPolyGE0 Source #

Arguments

:: Either (Double -> Double -> Double) (Int -> Double -> Double -> Double)
-> Char	The start of the counting.
-> Double	The initial value starting from which it counts. Usually, equals to 1.0.
-> [(Int, [PolyMrks])]
-> Double

similarityPolyG0 Source #

Arguments

:: (Int -> Double -> Double -> Double)
-> Char	The start of the counting.
-> Double	The initial value starting from which it counts. Usually, equals to 1.0.
-> [(Int, [PolyMrks])]
-> Double

similarityPolyG02 Source #

Arguments

:: (Double -> Double -> Double)
-> Char	The start of the counting.
-> Double	The initial value starting from which it counts. Usually, equals to 1.0.
-> [(Int, [PolyMrks])]
-> Double

rhythmicityPoly Source #

Arguments

:: Ord a
=> Double	The initial value starting from which it counts. Usually, equals to 1.0.
-> Int	If the argument is less or equal to 4, then `Marker4s` is used, if it is greater than 4, then `PolyMarkers` is used.
-> PolyChoices
-> PolyRhythmBasis
-> [a]
-> Double	The greater one corresponds to (probably) more rhythmic list.

General function to estimate the inner rhythmicity of the Ordered list of values. For many cases its arguments can be guessed or approximated by some reasonable values. Nevertheless, it is a highly experimental one.

rhythmicityPolyGE Source #

Arguments

:: Ord a
=> Either (Double -> Double -> Double) (Int -> Double -> Double -> Double)
-> Double	The initial value starting from which it counts. Usually, equals to 1.0.
-> Int	If the argument is less or equal to 4, then `Marker4s` is used, if it is greater than 4, then `PolyMarkers` is used.
-> PolyChoices
-> PolyRhythmBasis
-> [a]
-> Double

General function to estimate the inner rhythmicity of the Ordered list of values. For many cases its arguments can be guessed or approximated by some reasonable values. Nevertheless, it is a highly experimental one.

rhythmicityPolyG1 Source #

Arguments

:: Ord a
=> (Int -> Double -> Double -> Double)
-> Double	The initial value starting from which it counts. Usually, equals to 1.0.
-> Int	If the argument is less or equal to 4, then `Marker4s` is used, if it is greater than 4, then `PolyMarkers` is used.
-> PolyChoices
-> PolyRhythmBasis
-> [a]
-> Double

rhythmicityPolyG12 Source #

Arguments

:: Ord a
=> (Double -> Double -> Double)
-> Double	The initial value starting from which it counts. Usually, equals to 1.0.
-> Int	If the argument is less or equal to 4, then `Marker4s` is used, if it is greater than 4, then `PolyMarkers` is used.
-> PolyChoices
-> PolyRhythmBasis
-> [a]
-> Double

rhythmicityPolyGE0 Source #

Arguments

:: Ord a
=> Either (Double -> Double -> Double) (Int -> Double -> Double -> Double)
-> Double	The initial value starting from which it counts. Usually, equals to 1.0.
-> Int	If the argument is less or equal to 4, then `Marker4s` is used, if it is greater than 4, then `PolyMarkers` is used.
-> PolyChoices
-> PolyRhythmBasis
-> [a]
-> Double

General function to estimate the inner rhythmicity of the Ordered list of values. For many cases its arguments can be guessed or approximated by some reasonable values. Nevertheless, it is a highly experimental one.

rhythmicityPolyG01 Source #

Arguments

:: Ord a
=> (Int -> Double -> Double -> Double)
-> Double	The initial value starting from which it counts. Usually, equals to 1.0.
-> Int	If the argument is less or equal to 4, then `Marker4s` is used, if it is greater than 4, then `PolyMarkers` is used.
-> PolyChoices
-> PolyRhythmBasis
-> [a]
-> Double

rhythmicityPolyG02 Source #

Arguments

:: Ord a
=> (Double -> Double -> Double)
-> Double	The initial value starting from which it counts. Usually, equals to 1.0.
-> Int	If the argument is less or equal to 4, then `Marker4s` is used, if it is greater than 4, then `PolyMarkers` is used.
-> PolyChoices
-> PolyRhythmBasis
-> [a]
-> Double

rhythmicityPoly0 Source #

Arguments

:: Ord a
=> Double	The initial value starting from which it counts. Usually, equals to 1.0.
-> Int	If the argument is less or equal to 4, then `Marker4s` is used, if it is greater than 4, then `PolyMarkers` is used.
-> PolyChoices
-> PolyRhythmBasis
-> [a]
-> Double	The greater one corresponds to (probably) more rhythmic list.

General function to estimate the inner rhythmicity of the Ordered list of values. For many cases its arguments can be guessed or approximated by some reasonable values. Nevertheless, it is a highly experimental one. The more straightforward variant of the rhythmicityPoly function.

simpleF2 :: Double -> Double -> Double Source #

This function tries to increase the importance of the beginning of the line and decreases the importance of the ending of the line. It is not linear one.

simpleF3 :: Int -> Double -> Double -> Double Source #

rhythmicityPolyWeightedF2 Source #

Arguments

:: Ord a
=> Double	The initial value starting from which it counts. Usually, equals to 1.0.
-> Int	If the argument is less or equal to 4, then `Marker4s` is used, if it is greater than 4, then `PolyMarkers` is used.
-> PolyChoices
-> PolyRhythmBasis
-> [a]
-> Double

rhythmicityPolyWeightedF3 Source #

Arguments

:: Ord a
=> Double	The initial value starting from which it counts. Usually, equals to 1.0.
-> Int	If the argument is less or equal to 4, then `Marker4s` is used, if it is greater than 4, then `PolyMarkers` is used.
-> PolyChoices
-> PolyRhythmBasis
-> [a]
-> Double

rhythmicityPolyWeightedF20 Source #

Arguments

:: Ord a
=> Double	The initial value starting from which it counts. Usually, equals to 1.0.
-> Int	If the argument is less or equal to 4, then `Marker4s` is used, if it is greater than 4, then `PolyMarkers` is used.
-> PolyChoices
-> PolyRhythmBasis
-> [a]
-> Double

rhythmicityPolyWeightedF30 Source #

Arguments

:: Ord a
=> Double	The initial value starting from which it counts. Usually, equals to 1.0.
-> Int	If the argument is less or equal to 4, then `Marker4s` is used, if it is greater than 4, then `PolyMarkers` is used.
-> PolyChoices
-> PolyRhythmBasis
-> [a]
-> Double

data ParseChRh Source #

Data type that is used to implement some parameter language to encode in the String argument information that is sufficient to transform the String into Double using the needed additional information provided by some other means.

Constructors

P0 String
P1 Choices RhythmBasis Int	The number of the one of the functions to convert the phonetic languages elements into `Double` values (usually, durations).
P2
Fields PolyChoices PolyRhythmBasis Int The value for the `Int` parameter in the `getPolyChRhData` function that uses two previous arguments. Int The number of the one of the functions to convert the phonetic languages elements into `Double` values (usually, durations).

Instances

Instances details

Eq ParseChRh Source #
Instance details Defined in Rhythmicity.PolyRhythm Methods (==) :: ParseChRh -> ParseChRh -> Bool # (/=) :: ParseChRh -> ParseChRh -> Bool #

isChRhString :: ParseChRh -> Bool Source #

isChRh3 :: ParseChRh -> Bool Source #

isChRhPoly :: ParseChRh -> Bool Source #

readRhythmicity :: String -> Maybe ParseChRh Source #

A parser function to get the ParseChRh data. In case of success returns Just ParseChRh value. Nevertheless, the further checks (e. g. validPolyChRhPair or validChRhPair) is not applied by it, so they must be applied further during the usage. Examples of the usage: "c114+112=2" returns Just P1 (Ch 1 1 4) (Rhythm 1 1 2) 2 "ctttff7+112111=7*3" returns Just P2 (PolyCh [True,True,True,False,False] 7) (PolyRhythm [1,1,2,1,1,1]) 7 3.