{-# OPTIONS_HADDOCK show-extensions #-}
-- |
-- Module : Phonetic.Languages.Array.General.PropertiesSyllablesG2
-- Copyright : (c) OleksandrZhabenko 2020-2022
-- License : MIT
-- Stability : Experimental
-- Maintainer : olexandr543@yahoo.com
--
-- Generalization and extension of the functionality of the DobutokO.Poetry.Norms
-- and DobutokO.Poetry.Norms.Extended modules
-- from the @dobutokO-poetry@ package and more recent package @phonetic-languages-simplified-properties-array@.
-- Uses syllables information.
-- Instead of the vector-related, uses arrays.
-- If you use the functionality of the Phonetic.Languages.Array.Ukrainian.PropertiesSyllablesG2 module,
-- then import it qualified (or this module) because they have many common data. Is provided as a standalone one
-- to reduce dependencies list in general case.
{-# LANGUAGE CPP, BangPatterns, MultiWayIf #-}
module Phonetic.Languages.Array.General.PropertiesSyllablesG2 (
-- * Newtype to work with
CoeffTwo(..)
, Coeffs2
, isEmpty
, isPair
, fstCF
, sndCF
, readCF
-- * Mapping function data type
, MappingFunctionPL(..)
, isPhoPaaW
, isSaaW
, fromPhoPaaW
, fromSaaW
-- * Rhythmicity properties (semi-empirical)
-- ** Simple one
, rhythmicity0i
, rhythmicity0Fi
-- ** With weight coefficients
, rhythmicityKi
, rhythmicityKFi
-- * General
, rhythmicityG
, rhythmicity
) where
#ifdef __GLASGOW_HASKELL__
#if __GLASGOW_HASKELL__>=710
/* code that applies only to GHC 7.10.* and higher versions */
import GHC.Base (mconcat)
#endif
#endif
import Languages.Rhythmicity
import Languages.Rhythmicity.Factor
import Rhythmicity.TwoFourth
import Rhythmicity.PolyRhythm
import Data.Phonetic.Languages.Base
import Data.Phonetic.Languages.Syllables
import Data.Maybe (isNothing,fromMaybe,fromJust)
import Text.Read (readMaybe)
import Phonetic.Languages.EmphasisG
import GHC.Int (Int8)
#ifdef __GLASGOW_HASKELL__
#if __GLASGOW_HASKELL__==708
/* code that applies only to GHC 7.8.* */
mconcat = concat
#endif
#endif
data CoeffTwo a = CF0 | CF2 (Maybe a) (Maybe a) deriving (Eq)
isEmpty :: CoeffTwo a -> Bool
isEmpty CF0 = True
isEmpty _ = False
isPair :: CoeffTwo a -> Bool
isPair CF0 = False
isPair _ = True
fstCF :: CoeffTwo a -> Maybe a
fstCF (CF2 x _) = x
fstCF _ = Nothing
sndCF :: CoeffTwo a -> Maybe a
sndCF (CF2 _ y) = y
sndCF _ = Nothing
readCF :: String -> Coeffs2
readCF xs
| any (== '_') xs = let (!ys,!zs) = (\(ks,ts) -> (readMaybe ks::Maybe Double,readMaybe (drop 1 ts)::Maybe Double)) . break (== '_') $ xs in
if (isNothing ys && isNothing zs) then CF0 else CF2 ys zs
| otherwise = CF0
-- | A data type that is used to represent the coefficients of the rhythmicity functions as a one argument value.
type Coeffs2 = CoeffTwo Double
--------------------------------------------------------------------------------------------
eval23 = evalRhythmicity23 . mconcat
{-# INLINE eval23 #-}
eval23K k2 k3 = evalRhythmicity23K k2 k3 . mconcat
{-# INLINE eval23K #-}
eval23F k = evalRhythmicity23F k . mconcat
{-# INLINE eval23F #-}
eval23KF k k2 k3 = evalRhythmicity23KF k k2 k3 . mconcat
{-# INLINE eval23KF #-}
--------------------------------------------------------------------------------------------
data MappingFunctionPL = PhoPaaW ([[[PRS]]] -> [[Double]]) | SaaW ([[[Int8]]] -> [[Double]])
isPhoPaaW :: MappingFunctionPL -> Bool
isPhoPaaW (PhoPaaW _) = True
isPhoPaaW _ = False
isSaaW :: MappingFunctionPL -> Bool
isSaaW (SaaW _) = True
isSaaW _ = False
fromPhoPaaW :: MappingFunctionPL -> Maybe ([[[PRS]]] -> [[Double]])
fromPhoPaaW (PhoPaaW f) = Just f
fromPhoPaaW _ = Nothing
fromSaaW :: MappingFunctionPL -> Maybe ([[[Int8]]] -> [[Double]])
fromSaaW (SaaW f) = Just f
fromSaaW _ = Nothing
rhythmicityG
:: MappingFunctionPL-- ^ A function that specifies the syllables durations, analogue of the
-- syllableDurationsD functions from the @ukrainian-phonetics-basics-array@ package.
-> ([[Double]] -> Double) -- ^ Usually some kind of flattening of the double list into a single value.
-> String -- ^ The starting 'String' which creates the order for the 'FSLG' representation
-> GWritingSystemPRPLX -- ^ Data used to obtain the phonetic language representation of the text.
-> [(Char,Char)] -- ^ The pairs of the 'Char' that corresponds to the similar phonetic languages consonant phenomenon
-- (e. g. allophones). Must be sorted in the ascending order to be used correctly.
-> CharPhoneticClassification -- ^ The 'Array' 'Int' 'PRS' must be sorted in the ascending order to be used in the module correctly.
-> SegmentRulesG
-> String -- ^ Corresponds to the \'0\' symbol delimiter in the @ukrainian-phonetics-basic-array@ package.
-> String -- ^ Corresponds to the \'1\' and \'-\' symbol delimiters in the @ukrainian-phonetics-basic-array@ package.
-> ReadyForConstructionPL
-> Double
rhythmicityG f g bbs wrs ks arr hs us vs xs@(FSLG tsss)
| null tsss = -1.0
| isSaaW f = g . (fromJust (fromSaaW f)) $ tsss
| otherwise = -3.0
rhythmicityG f g bbs wrs ks arr hs us vs xs@(StrG ys)
| null ys = -2.0
| isPhoPaaW f = g . (fromJust (fromPhoPaaW f)) . createSyllablesPL wrs ks arr hs us vs $ ys
| otherwise = g . (fromJust (fromSaaW f)) . convFI wrs ks arr hs us vs bbs $ ys
{-# INLINE rhythmicityG #-}
-------------------------------------------------------
rhythmicity0i
:: MappingFunctionPL -- ^ A function that specifies the syllables durations, analogue of the
-- syllableDurationsD functions from the @ukrainian-phonetics-basics-array@ package.
-> String
-> GWritingSystemPRPLX -- ^ Data used to obtain the phonetic language representation of the text.
-> [(Char,Char)] -- ^ The pairs of the 'Char' that corresponds to the similar phonetic languages consonant phenomenon
-- (e. g. allophones). Must be sorted in the ascending order to be used correctly.
-> CharPhoneticClassification -- ^ The 'Array' 'Int' 'PRS' must be sorted in the ascending order to be used in the module correctly.
-> SegmentRulesG
-> String -- ^ Corresponds to the \'0\' symbol delimiter in the @ukrainian-phonetics-basic-array@ package.
-> String -- ^ Corresponds to the \'1\' and \'-\' symbol delimiters in the @ukrainian-phonetics-basic-array@ package.
-> ReadyForConstructionPL
-> Double
rhythmicity0i f = rhythmicityG f eval23
{-# INLINE rhythmicity0i #-}
-------------------------------------------------------
rhythmicityKi
:: MappingFunctionPL -- ^ A function that specifies the syllables durations, analogue of the
-- syllableDurationsD functions from the @ukrainian-phonetics-basics-array@ package.
-> Double
-> Double
-> String
-> GWritingSystemPRPLX -- ^ Data used to obtain the phonetic language representation of the text.
-> [(Char,Char)] -- ^ The pairs of the 'Char' that corresponds to the similar phonetic languages consonant phenomenon
-- (e. g. allophones). Must be sorted in the ascending order to be used correctly.
-> CharPhoneticClassification -- ^ The 'Array' 'Int' 'PRS' must be sorted in the ascending order to be used in the module correctly.
-> SegmentRulesG
-> String -- ^ Corresponds to the \'0\' symbol delimiter in the @ukrainian-phonetics-basic-array@ package.
-> String -- ^ Corresponds to the \'1\' and \'-\' symbol delimiters in the @ukrainian-phonetics-basic-array@ package.
-> ReadyForConstructionPL
-> Double
rhythmicityKi f k2 k3 = rhythmicityG f (eval23K k2 k3)
{-# INLINE rhythmicityKi #-}
--------------------------------------------------------
rhythmicity0Fi
:: MappingFunctionPL -- ^ A function that specifies the syllables durations, analogue of the
-- syllableDurationsD functions from the @ukrainian-phonetics-basics-array@ package.
-> Double
-> String
-> GWritingSystemPRPLX -- ^ Data used to obtain the phonetic language representation of the text.
-> [(Char,Char)] -- ^ The pairs of the 'Char' that corresponds to the similar phonetic languages consonant phenomenon
-- (e. g. allophones). Must be sorted in the ascending order to be used correctly.
-> CharPhoneticClassification -- ^ The 'Array' 'Int' 'PRS' must be sorted in the ascending order to be used in the module correctly.
-> SegmentRulesG
-> String -- ^ Corresponds to the \'0\' symbol delimiter in the @ukrainian-phonetics-basic-array@ package.
-> String -- ^ Corresponds to the \'1\' and \'-\' symbol delimiters in the @ukrainian-phonetics-basic-array@ package.
-> ReadyForConstructionPL
-> Double
rhythmicity0Fi f k = rhythmicityG f (eval23F k)
{-# INLINE rhythmicity0Fi #-}
--------------------------------------------------------
rhythmicityKFi
:: MappingFunctionPL -- ^ A function that specifies the syllables durations, analogue of the
-- syllableDurationsD functions from the @ukrainian-phonetics-basics-array@ package.
-> Double
-> Double
-> Double
-> String
-> GWritingSystemPRPLX -- ^ Data used to obtain the phonetic language representation of the text.
-> [(Char,Char)] -- ^ The pairs of the 'Char' that corresponds to the similar phonetic languages consonant phenomenon
-- (e. g. allophones). Must be sorted in the ascending order to be used correctly.
-> CharPhoneticClassification -- ^ The 'Array' 'Int' 'PRS' must be sorted in the ascending order to be used in the module correctly.
-> SegmentRulesG
-> String -- ^ Corresponds to the \'0\' symbol delimiter in the @ukrainian-phonetics-basic-array@ package.
-> String -- ^ Corresponds to the \'1\' and \'-\' symbol delimiters in the @ukrainian-phonetics-basic-array@ package.
-> ReadyForConstructionPL
-> Double
rhythmicityKFi f k k2 k3 = rhythmicityG f (eval23KF k k2 k3)
{-# INLINE rhythmicityKFi #-}
--------------------------------------------------------
-- | It is intended to provide different functions :: 'Double' -> 'String' -> ([[['PRS']]] -> [['Double']]) for at least the
-- following values: \"0z\", \"02z\", \"03z\", \"04z\", \"0y\", \"02y\", \"03y\" and the default one for other variants.
-- The \"z\"-line uses \'F\' functions.
rhythmicity
:: Double
-> String -- ^ Is intended to be one of the following strings: \"02y\", \"02z\", \"03y\", \"03z\", \"04y\", \"04z\",
-- \"0y\", \"0z\", \"y\", \"y0\", \"y2\", \"y3\", \"y4\", \"yy\", \"yy2\", \"yy3\", \"z\", \"z2\", \"z3\", \"z4\",
-- \"zz\", \"zz2\", \"zz3\", \"zz4\" or some other one (that is the default one). Since the version 0.3.0.0 you
-- can also use \"w\" or \"x\"-based lines. Specifies the applied properties
-- to get the result. The \"z\"-line uses \'F\' functions.
-> (Double -> String -> MappingFunctionPL) -- ^ The function that is needed in the 'procRhythmicity23F' function.
-- Specifies a way how the syllables represented in the phonetic language approach transforms into their durations and
-- depends on two parameters.
-> Coeffs2
-> String
-> GWritingSystemPRPLX -- ^ Data used to obtain the phonetic language representation of the text.
-> [(Char,Char)] -- ^ The pairs of the 'Char' that corresponds to the similar phonetic languages consonant phenomenon
-- (e. g. allophones). Must be sorted in the ascending order to be used correctly.
-> CharPhoneticClassification -- ^ The 'Array' 'Int' 'PRS' must be sorted in the ascending order to be used in the module correctly.
-> SegmentRulesG
-> String
-> String
-> ReadyForConstructionPL
-> Double
rhythmicity k choice h CF0
| choice `elem` ["0z","02z","03z","04z"] = rhythmicity0Fi f k
| take 1 choice == "w" = case take 2 choice of
"w0" -> w0F (Ch 1 1 4) (Rhythm 1 1 2)
"w1" -> w0F (Ch 1 0 4) (Rhythm 2 1 1)
"w2" -> w0F (Ch 0 1 4) (Rhythm 1 2 1)
"w3" -> w0F (Ch 0 0 4) (Rhythm 1 1 2)
_ -> w0F (Ch 0 0 4) (Rhythm 1 1 2)
| take 1 choice == "x" = case take 2 choice of
"x0" -> x0F (Ch 1 1 4) (Rhythm 1 1 2)
"x1" -> x0F (Ch 1 0 4) (Rhythm 2 1 1)
"x2" -> x0F (Ch 0 1 4) (Rhythm 1 2 1)
"x3" -> x0F (Ch 0 0 4) (Rhythm 1 1 2)
_ -> x0F (Ch 0 0 4) (Rhythm 1 1 2)
| take 1 choice `elem` ["c","M","N"] || (take 1 choice >= "A" && take 1 choice <= "F") = let just_probe = readRhythmicity choice in
case just_probe of
Just (P1 ch rh _) -> rhythmicityG f (rhythmicityABC 1.0 2.0 0.125 ch rh . mconcat)
Just (P2 ch rh r _) -> rhythmicityG f ((helperF5 (take 1 choice)) 1.0 r ch rh . mconcat)
_ -> rhythmicity0i f
| (take 1 choice >= "b" && take 1 choice <= "v") || (take 1 choice >= "I" && take 1 choice <= "Z") = if
| (drop 1 . take 2 $ choice) >= "0" && (drop 1 . take 2 $ choice) <= "3" ->
let u0F rs = rhythmicityG f ((helperF6 (take 1 choice)) 1.0 4 (PolyCh rs 5) (PolyRhythm [1,2,1,1]) . mconcat) in
case drop 1 . take 2 $ choice of
"0" -> u0F [True,True,True]
"1" -> u0F [True,True,False]
"2" -> u0F [True,False,True]
_ -> u0F [True,False,False]
| (drop 1 . take 2 $ choice) >= "4" && (drop 1 . take 2 $ choice) <= "7" ->
let u0F rs = rhythmicityG f ((helperF6 (take 1 choice)) 1.0 4 (PolyCh rs 5) (PolyRhythm [2,1,1,1]) . mconcat) in
case drop 1 . take 2 $ choice of
"4" -> u0F [True,True,True]
"5" -> u0F [True,True,False]
"6" -> u0F [True,False,True]
~"7" -> u0F [True,False,False]
| otherwise -> rhythmicity0i f
| otherwise = rhythmicity0i f
where f = h k choice
w0F ch rh = rhythmicityG f (rhythmicityABC 1.0 2.0 0.125 ch rh . mconcat)
x0F ch rh = rhythmicityG f (rhythmicityABC0 1.0 2.0 0.125 ch rh . mconcat)
{-# INLINE w0F #-}
{-# INLINE x0F #-}
rhythmicity k choice h (CF2 x y)
| choice `elem` ["0z","02z","03z","04z"] = rhythmicityKFi f k (fromMaybe 1.0 x) (fromMaybe 1.0 y)
| take 1 choice == "w" = if
| choice `elem` ["w01","w02","w03","w04"] -> w0F (Ch 1 1 4) (Rhythm 1 1 2)
| choice `elem` ["w11","w12","w13","w14"] -> w0F (Ch 1 0 4) (Rhythm 2 1 1)
| choice `elem` ["w21","w22","w23","w24"] -> w0F (Ch 0 1 4) (Rhythm 1 2 1)
| choice `elem` ["w31","w32","w33","w34"] -> w0F (Ch 0 0 4) (Rhythm 1 1 2)
| otherwise -> w0F (Ch 1 0 4) (Rhythm 1 1 2)
| take 1 choice == "x" = if
| choice `elem` ["x01","x02","x03","x04"] -> x0F (Ch 1 1 4) (Rhythm 1 1 2)
| choice `elem` ["x11","x12","x13","x14"] -> x0F (Ch 1 0 4) (Rhythm 2 1 1)
| choice `elem` ["x21","x22","x23","x24"] -> x0F (Ch 0 1 4) (Rhythm 1 2 1)
| choice `elem` ["x31","x32","x33","x34"] -> x0F (Ch 0 0 4) (Rhythm 1 1 2)
| otherwise -> x0F (Ch 1 0 4) (Rhythm 1 1 2)
| take 1 choice == "c" || (take 1 choice >= "A" && take 1 choice <= "Z" && take 1 choice `notElem` ["G","H"]) = rhythmicity k choice h CF0
| take 1 choice >= "b" && take 1 choice <= "v" = rhythmicity k choice h CF0
| otherwise = rhythmicityKi f (fromMaybe 1.0 x) (fromMaybe 1.0 y)
where f = h k choice
w0F ch rh = rhythmicityG f (rhythmicityABC 1.0 (fromMaybe 2.0 x) (fromMaybe 0.125 y) ch rh . mconcat)
x0F ch rh = rhythmicityG f (rhythmicityABC0 1.0 (fromMaybe 2.0 x) (fromMaybe 0.125 y) ch rh . mconcat)
{-# INLINE w0F #-}
{-# INLINE x0F #-}
helperF5 xs
| xs == "A" = rhythmicityPolyWeightedLEF2
| xs == "D" = rhythmicityPolyWeightedLF2
| xs == "E" = rhythmicityPolyWeightedLEF3
| xs == "F" = rhythmicityPolyWeightedLF3
| xs == "B" = rhythmicityPolyWeightedEF2
| xs == "C" = rhythmicityPolyWeightedF2
| xs == "M" = rhythmicityPolyWeightedEF3
| xs == "N" = rhythmicityPolyWeightedF3
| otherwise = rhythmicityPoly
helperF6 xs
| xs == "s" || xs == "u" = rhythmicityPoly
| xs == "t" || xs == "v" = rhythmicityPoly0
| xs == "S" || xs == "U" = rhythmicityPolyWeightedF2
| xs == "T" || xs == "V" = rhythmicityPolyWeightedF20
| xs == "Y" || xs == "W" = rhythmicityPolyWeightedF3
| xs == "X" || xs == "Z" = rhythmicityPolyWeightedF30
| xs == "O" || xs == "Q" = rhythmicityPolyWeightedEF2
| xs == "P" || xs == "R" = rhythmicityPolyWeightedEF20
| xs == "I" || xs == "K" = rhythmicityPolyWeightedEF3
| xs == "J" || xs == "L" = rhythmicityPolyWeightedEF30
| xs == "o" || xs == "q" = rhythmicityPolyWeightedLF2
| xs == "p" || xs == "r" = rhythmicityPolyWeightedLF20
| xs == "k" || xs == "m" = rhythmicityPolyWeightedLF3
| xs == "l" || xs == "n" = rhythmicityPolyWeightedLF30
| xs == "g" || xs == "i" = rhythmicityPolyWeightedLEF2
| xs == "h" || xs == "j" = rhythmicityPolyWeightedLEF20
| xs == "b" || xs == "e" = rhythmicityPolyWeightedLEF3
| xs == "d" || xs == "f" = rhythmicityPolyWeightedLEF30
| otherwise = rhythmicityPoly