{-# OPTIONS_GHC -threaded -rtsopts #-}
{-# OPTIONS_HADDOCK show-extensions #-}
{-# LANGUAGE BangPatterns, FlexibleContexts #-}

-- |
-- Module      :  Phonetic.Languages.GetTextualInfo
-- Copyright   :  (c) OleksandrZhabenko 2020-2021
-- License     :  MIT
-- Stability   :  Experimental
-- Maintainer  :  olexandr543@yahoo.com
--
-- Library module that contains functions used by the propertiesTextG3
-- executable.

module Phonetic.Languages.GetTextualInfo (
  generalProc
  , linesFromArgs1
  , linesFromArgsG
  , getData3
  , process1Line
) where

import Data.SubG hiding (takeWhile,dropWhile)
import System.IO
import Control.Concurrent
import Control.Exception
import Control.Parallel.Strategies
import Data.Maybe (fromMaybe)
import Data.List (sort)
import Text.Read (readMaybe)
import GHC.Arr
import Melodics.ByteString.Ukrainian.Arr
import Phonetic.Languages.Ukrainian.PrepareText
import Numeric (showFFloat)
import Phonetic.Languages.Filters
import Data.Char (isAlpha)
import Data.Statistics.RulesIntervalsPlus
import Data.MinMax.Preconditions
import Phonetic.Languages.Array.Ukrainian.PropertiesSyllablesG2
import Phonetic.Languages.Simplified.StrictVG.Base
import Phonetic.Languages.Permutations.Arr
import Phonetic.Languages.Simplified.DataG.Base
import Phonetic.Languages.Simplified.Array.Ukrainian.FuncRep2RelatedG2
import Languages.UniquenessPeriods.Array.Constraints.Encoded
import Phonetic.Languages.Simplified.SimpleConstraints
import Phonetic.Languages.Common

{-| @ since 0.5.0.0 -- The meaning of the first command line argument (and 'Coeffs2' here everywhere in the module)
depends on the 'String' argument -- whether it starts with \'w\', \'x\' or otherwise. In the first case it represents
the k1 and k2 coefficients (default ones equal to 2.0 and 0.125) for the functions from the Rhythmicity.TwoFourth module.
Otherwise, it is used for the functions to specify the level of emphasizing the two-based and three-based periods
(the default values here are 1.0 both).
@ since 0.6.0.0 -- There is also the possibility to use \'line growing\' that is to use the 'prepereGrowTextMN' function
with the 'Int' arguments from the first argument tuple. This allows to rearrange the given text and then
to rewrite it.
Besides there are new lines of the arguments for the 'String' argument that can begin with \"c\", \"s\", \"t\",
\"u\", \"v\" letters. For more information, please, refer to the 'Phonetic.Languages.Array.Ukrainian.PropertiesSyllablesG2.rhythmicity'.
-}
generalProc :: (Int,Int) -> Bool -> [String] -> [String] -> Coeffs2 -> Coeffs2 -> FilePath -> String -> Int -> Int -> String -> IO ()
generalProc :: (Int, Int)
-> Bool
-> [String]
-> [String]
-> Coeffs2
-> Coeffs2
-> String
-> String
-> Int
-> Int
-> String
-> IO ()
generalProc (Int
gr1,Int
gr2) Bool
lstW [String]
multiples2 [String]
lInes Coeffs2
coeffs Coeffs2
coeffsWX String
file String
gzS Int
printLine Int
toOneLine String
choice
 | [String] -> Bool
forall (t :: * -> *) a. Foldable t => t a -> Bool
null [String]
lInes = do
    String
contents <- String -> IO String
readFile String
file
    let !flines :: [String]
flines
          | Int
gr1 Int -> Int -> Bool
forall a. Eq a => a -> a -> Bool
== Int
0 = Int -> String -> [String]
fLines Int
toOneLine String
contents
          | Bool
otherwise = Int -> Int -> String -> [String]
prepareGrowTextMN Int
gr1 Int
gr2 (String -> [String]) -> (String -> String) -> String -> [String]
forall b c a. (b -> c) -> (a -> b) -> a -> c
. [String] -> String
unlines ([String] -> String) -> (String -> [String]) -> String -> String
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Int -> String -> [String]
fLines Int
toOneLine (String -> [String]) -> String -> [String]
forall a b. (a -> b) -> a -> b
$ String
contents
    Bool
-> Coeffs2
-> Coeffs2
-> Int
-> Int
-> String
-> [String]
-> [String]
-> IO ()
getData3 Bool
lstW Coeffs2
coeffs Coeffs2
coeffsWX (Bool -> String -> [String] -> Int
getIntervalsNS Bool
lstW String
gzS [String]
flines) Int
printLine String
choice [String]
multiples2 [String]
flines
 | Bool
otherwise = do
    String
contents <- String -> IO String
readFile String
file
    let !flines :: [String]
flines = (if Int
gr1 Int -> Int -> Bool
forall a. Eq a => a -> a -> Bool
== Int
0 then [String] -> [String]
forall a. a -> a
id else Int -> Int -> String -> [String]
prepareGrowTextMN Int
gr1 Int
gr2 (String -> [String])
-> ([String] -> String) -> [String] -> [String]
forall b c a. (b -> c) -> (a -> b) -> a -> c
. [String] -> String
unlines) ([String] -> [String])
-> (String -> [String]) -> String -> [String]
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Int -> String -> [String]
fLines Int
toOneLine (String -> [String]) -> (String -> String) -> String -> [String]
forall b c a. (b -> c) -> (a -> b) -> a -> c
. [String] -> String
unlines ([String] -> String) -> (String -> [String]) -> String -> String
forall b c a. (b -> c) -> (a -> b) -> a -> c
. [String] -> [String] -> [String]
linesFromArgsG [String]
lInes ([String] -> [String])
-> (String -> [String]) -> String -> [String]
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Int -> String -> [String]
fLines Int
0 (String -> [String]) -> String -> [String]
forall a b. (a -> b) -> a -> b
$ String
contents
    Bool
-> Coeffs2
-> Coeffs2
-> Int
-> Int
-> String
-> [String]
-> [String]
-> IO ()
getData3 Bool
lstW Coeffs2
coeffs Coeffs2
coeffsWX (Bool -> String -> [String] -> Int
getIntervalsNS Bool
lstW String
gzS [String]
flines) Int
printLine String
choice [String]
multiples2 [String]
flines

linesFromArgs1 :: Int -> String -> [String] -> [String]
linesFromArgs1 :: Int -> String -> [String] -> [String]
linesFromArgs1 Int
n String
xs [String]
yss =
  let (!String
ys,!String
zs) = (\(String
x,String
z) -> (String
x, Int -> String -> String
forall a. Int -> [a] -> [a]
drop Int
1 String
z)) ((String, String) -> (String, String))
-> (String -> (String, String)) -> String -> (String, String)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (Char -> Bool) -> String -> (String, String)
forall a. (a -> Bool) -> [a] -> ([a], [a])
break (Char -> Char -> Bool
forall a. Eq a => a -> a -> Bool
== Char
':') (String -> (String, String)) -> String -> (String, String)
forall a b. (a -> b) -> a -> b
$ String
xs
      !ts :: [Int]
ts = [Int] -> [Int]
forall a. Ord a => [a] -> [a]
sort ([Int] -> [Int]) -> ([Int] -> [Int]) -> [Int] -> [Int]
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (Int -> Int) -> [Int] -> [Int]
forall a b. (a -> b) -> [a] -> [b]
map (Int -> Int -> Int
forall a. Ord a => a -> a -> a
min Int
n (Int -> Int) -> (Int -> Int) -> Int -> Int
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Int -> Int
forall a. Num a => a -> a
abs) ([Int] -> [Int]) -> [Int] -> [Int]
forall a b. (a -> b) -> a -> b
$ [Int -> Maybe Int -> Int
forall a. a -> Maybe a -> a
fromMaybe Int
1 (String -> Maybe Int
forall a. Read a => String -> Maybe a
readMaybe String
ys::Maybe Int), Int -> Maybe Int -> Int
forall a. a -> Maybe a -> a
fromMaybe Int
n (String -> Maybe Int
forall a. Read a => String -> Maybe a
readMaybe String
zs::Maybe Int)] in
        Int -> [String] -> [String]
forall a. Int -> [a] -> [a]
drop ([Int] -> Int
forall a. [a] -> a
head [Int]
ts Int -> Int -> Int
forall a. Num a => a -> a -> a
- Int
1) ([String] -> [String])
-> ([String] -> [String]) -> [String] -> [String]
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Int -> [String] -> [String]
forall a. Int -> [a] -> [a]
take ([Int] -> Int
forall a. [a] -> a
last [Int]
ts) ([String] -> [String]) -> [String] -> [String]
forall a b. (a -> b) -> a -> b
$ [String]
yss

linesFromArgsG :: [String] -> [String] -> [String]
linesFromArgsG :: [String] -> [String] -> [String]
linesFromArgsG [String]
xss [String]
yss = let n :: Int
n = [String] -> Int
forall (t :: * -> *) a. Foldable t => t a -> Int
length [String]
yss in (String -> [String]) -> [String] -> [String]
forall (t :: * -> *) a b. Foldable t => (a -> [b]) -> t a -> [b]
concatMap (\String
ts -> Int -> String -> [String] -> [String]
linesFromArgs1 Int
n String
ts [String]
yss) [String]
xss

getData3 :: Bool -> Coeffs2 -> Coeffs2 -> Int -> Int -> String -> [String] -> [String] -> IO ()
getData3 :: Bool
-> Coeffs2
-> Coeffs2
-> Int
-> Int
-> String
-> [String]
-> [String]
-> IO ()
getData3 Bool
lstW Coeffs2
coeffs Coeffs2
coeffsWX Int
gz Int
printLine String
choice [String]
multiples3 [String]
zss = let !permsV4 :: Array Int [Array Int Int]
permsV4 = Array Int [Array Int Int]
genPermutationsArrL in String -> IO ()
putStrLn (Int -> Char -> String
forall a. Int -> a -> [a]
replicate ([String] -> Int
forall (t :: * -> *) a. Foldable t => t a -> Int
length [String]
multiples3 Int -> Int -> Int
forall a. Num a => a -> a -> a
+ Int
1) Char
'\t' String -> String -> String
forall a. Monoid a => a -> a -> a
`mappend` Int -> String
forall a. Show a => a -> String
show Int
gz) IO () -> IO () -> IO ()
forall (m :: * -> *) a b. Monad m => m a -> m b -> m b
>> (String -> IO ()) -> [String] -> IO ()
forall (t :: * -> *) (m :: * -> *) a b.
(Foldable t, Monad m) =>
(a -> m b) -> t a -> m ()
mapM_ (Bool
-> Coeffs2
-> Coeffs2
-> Int
-> Int
-> String
-> [String]
-> Array Int [Array Int Int]
-> String
-> IO ()
process1Line Bool
lstW Coeffs2
coeffs Coeffs2
coeffsWX Int
gz Int
printLine String
choice [String]
multiples3 Array Int [Array Int Int]
permsV4) [String]
zss

process1Line :: Bool -> Coeffs2 -> Coeffs2 -> Int -> Int -> String -> [String] -> Array Int [Array Int Int] -> String -> IO ()
process1Line :: Bool
-> Coeffs2
-> Coeffs2
-> Int
-> Int
-> String
-> [String]
-> Array Int [Array Int Int]
-> String
-> IO ()
process1Line Bool
lstW Coeffs2
coeffs Coeffs2
coeffsWX Int
gz Int
printLine String
choice [String]
multiples4 !Array Int [Array Int Int]
permsV50 String
v
 | [String] -> Bool
forall (t :: * -> *) a. Foldable t => t a -> Bool
null [String]
multiples4 = IO ThreadId -> (ThreadId -> IO ()) -> (ThreadId -> IO ()) -> IO ()
forall a b c. IO a -> (a -> IO b) -> (a -> IO c) -> IO c
bracket (do {
    ThreadId
myThread <- IO () -> IO ThreadId
forkIO (do
     let !v2 :: [String]
v2 = String -> [String]
words String
v
         !l2 :: Int
l2 = [String] -> Int
forall (t :: * -> *) a. Foldable t => t a -> Int
length [String]
v2 Int -> Int -> Int
forall a. Num a => a -> a -> a
- Int
2
     if Int
l2 Int -> Int -> Bool
forall a. Ord a => a -> a -> Bool
>= (if Bool
lstW then Int
1 else Int
0) then do
      let !permsV5 :: [Array Int Int]
permsV5 = EncodedCnstrs -> [Array Int Int] -> [Array Int Int]
forall (t :: * -> *).
(InsertLeft t (Array Int Int), Monoid (t (Array Int Int))) =>
EncodedCnstrs -> t (Array Int Int) -> t (Array Int Int)
decodeConstraint1 (EncodedCnstrs -> Maybe EncodedCnstrs -> EncodedCnstrs
forall a. a -> Maybe a -> a
fromMaybe (Int -> EncodedCnstrs
forall a b. a -> EncodedContraints a b
E Int
1) (Maybe EncodedCnstrs -> EncodedCnstrs)
-> (Bool -> Maybe EncodedCnstrs) -> Bool -> EncodedCnstrs
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Int -> String -> Maybe EncodedCnstrs
readMaybeECG (Int
l2 Int -> Int -> Int
forall a. Num a => a -> a -> a
+ Int
1) (String -> Maybe EncodedCnstrs)
-> (Bool -> String) -> Bool -> Maybe EncodedCnstrs
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Int -> Bool -> String
showB (Int
l2 Int -> Int -> Int
forall a. Num a => a -> a -> a
+ Int
2) (Bool -> EncodedCnstrs) -> Bool -> EncodedCnstrs
forall a b. (a -> b) -> a -> b
$ Bool
lstW) ([Array Int Int] -> [Array Int Int])
-> (Int -> [Array Int Int]) -> Int -> [Array Int Int]
forall b c a. (b -> c) -> (a -> b) -> a -> c
.
            Array Int [Array Int Int] -> Int -> [Array Int Int]
forall i e. Array i e -> Int -> e
unsafeAt Array Int [Array Int Int]
permsV50 (Int -> [Array Int Int]) -> Int -> [Array Int Int]
forall a b. (a -> b) -> a -> b
$ Int
l2
          ((!Double
minE,!Double
maxE),!Double
data2) = Eval ((Double, Double), Double) -> ((Double, Double), Double)
forall a. Eval a -> a
runEval (Strategy (Double, Double)
-> Strategy Double -> Strategy ((Double, Double), Double)
forall a b. Strategy a -> Strategy b -> Strategy (a, b)
parTuple2 Strategy (Double, Double)
forall a. Strategy a
rpar Strategy Double
forall a. Strategy a
rpar ([Double] -> (Double, Double)
forall a (t :: * -> *).
(Ord a, InsertLeft t a, Monoid (t a)) =>
t a -> (a, a)
minMax11C ([Double] -> (Double, Double))
-> ([String] -> [Double]) -> [String] -> (Double, Double)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (String -> Double) -> [String] -> [Double]
forall a b. (a -> b) -> [a] -> [b]
map (FuncRep2 String Double Double -> String -> Double
forall (t :: * -> *) a b c. FuncRep2 (t a) b c -> t a -> c
toTransPropertiesF' (if Int -> String -> String
forall a. Int -> [a] -> [a]
take Int
1 String
choice String -> String -> Bool
forall a. Eq a => a -> a -> Bool
== String
"x" Bool -> Bool -> Bool
|| Int -> String -> String
forall a. Int -> [a] -> [a]
take Int
1 String
choice String -> String -> Bool
forall a. Eq a => a -> a -> Bool
== String
"w" then (Double -> Double)
-> Coeffs2 -> String -> FuncRep2 String Double Double
forall c.
Ord c =>
(Double -> c) -> Coeffs2 -> String -> FuncRep2 String Double c
chooseMax Double -> Double
forall a. a -> a
id Coeffs2
coeffsWX String
choice else (Double -> Double)
-> Coeffs2 -> String -> FuncRep2 String Double Double
forall c.
Ord c =>
(Double -> c) -> Coeffs2 -> String -> FuncRep2 String Double c
chooseMax Double -> Double
forall a. a -> a
id Coeffs2
coeffs String
choice)) ([String] -> [Double])
-> ([String] -> [String]) -> [String] -> [Double]
forall b c a. (b -> c) -> (a -> b) -> a -> c
.
                Char
-> (String -> String)
-> ([String] -> [String])
-> (String -> String)
-> [Array Int Int]
-> [String]
-> [String]
forall a (t :: * -> *).
(Eq a, Foldable t, InsertLeft t a, Monoid (t a),
 Monoid (t (t a))) =>
a
-> (t a -> [a])
-> (t (t a) -> [[a]])
-> ([a] -> t a)
-> [Array Int Int]
-> t (t a)
-> [t a]
uniquenessVariants2GNBL Char
' ' String -> String
forall a. a -> a
id [String] -> [String]
forall a. a -> a
id String -> String
forall a. a -> a
id [Array Int Int]
permsV5 ([String] -> (Double, Double)) -> [String] -> (Double, Double)
forall a b. (a -> b) -> a -> b
$ [String]
v2, FuncRep2 String Double Double -> String -> Double
forall (t :: * -> *) a b c. FuncRep2 (t a) b c -> t a -> c
toTransPropertiesF' (if Int -> String -> String
forall a. Int -> [a] -> [a]
take Int
1 String
choice String -> String -> Bool
forall a. Eq a => a -> a -> Bool
== String
"x" Bool -> Bool -> Bool
|| Int -> String -> String
forall a. Int -> [a] -> [a]
take Int
1 String
choice String -> String -> Bool
forall a. Eq a => a -> a -> Bool
== String
"w" then (Double -> Double)
-> Coeffs2 -> String -> FuncRep2 String Double Double
forall c.
Ord c =>
(Double -> c) -> Coeffs2 -> String -> FuncRep2 String Double c
chooseMax Double -> Double
forall a. a -> a
id Coeffs2
coeffsWX String
choice else (Double -> Double)
-> Coeffs2 -> String -> FuncRep2 String Double Double
forall c.
Ord c =>
(Double -> c) -> Coeffs2 -> String -> FuncRep2 String Double c
chooseMax Double -> Double
forall a. a -> a
id Coeffs2
coeffs String
choice) (String -> Double) -> (String -> String) -> String -> Double
forall b c a. (b -> c) -> (a -> b) -> a -> c
. [String] -> String
unwords ([String] -> String) -> (String -> [String]) -> String -> String
forall b c a. (b -> c) -> (a -> b) -> a -> c
. String -> String -> [String]
forall (t :: * -> *) a.
(InsertLeft t a, Monoid (t a), Monoid (t (t a))) =>
t a -> t a -> t (t a)
subG String
" 01-" (String -> Double) -> String -> Double
forall a b. (a -> b) -> a -> b
$ String
v))
          (!Int
wordsN,!Int
intervalN) = (Int
l2 Int -> Int -> Int
forall a. Num a => a -> a -> a
+ Int
2, Double -> Double -> Int -> Double -> Int
forall b c. (RealFrac b, Integral c) => b -> b -> c -> b -> c
intervalNRealFrac Double
minE Double
maxE Int
gz Double
data2)
          !ratio :: Double
ratio = if Double
maxE Double -> Double -> Bool
forall a. Eq a => a -> a -> Bool
== Double
0.0 then Double
0.0 else Double
2.0 Double -> Double -> Double
forall a. Num a => a -> a -> a
* Double
data2 Double -> Double -> Double
forall a. Fractional a => a -> a -> a
/ (Double
minE Double -> Double -> Double
forall a. Num a => a -> a -> a
+ Double
maxE)
      Handle -> String -> IO ()
hPutStr Handle
stdout (String -> IO ()) -> (String -> String) -> String -> IO ()
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Maybe Int -> Double -> String -> String
forall a. RealFloat a => Maybe Int -> a -> String -> String
showFFloat (String -> Maybe Int
precChoice String
choice) Double
minE (String -> IO ()) -> String -> IO ()
forall a b. (a -> b) -> a -> b
$ String
"\t"
      Handle -> String -> IO ()
hPutStr Handle
stdout (String -> IO ()) -> (String -> String) -> String -> IO ()
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Maybe Int -> Double -> String -> String
forall a. RealFloat a => Maybe Int -> a -> String -> String
showFFloat (String -> Maybe Int
precChoice String
choice) Double
data2 (String -> IO ()) -> String -> IO ()
forall a b. (a -> b) -> a -> b
$ String
"\t"
      Handle -> String -> IO ()
hPutStr Handle
stdout (String -> IO ()) -> (String -> String) -> String -> IO ()
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Maybe Int -> Double -> String -> String
forall a. RealFloat a => Maybe Int -> a -> String -> String
showFFloat (String -> Maybe Int
precChoice String
choice) Double
maxE (String -> IO ()) -> String -> IO ()
forall a b. (a -> b) -> a -> b
$ String
"\t"
      Handle -> String -> IO ()
hPutStr Handle
stdout (String -> IO ()) -> (String -> String) -> String -> IO ()
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Maybe Int -> Double -> String -> String
forall a. RealFloat a => Maybe Int -> a -> String -> String
showFFloat (Int -> Maybe Int
forall a. a -> Maybe a
Just Int
4) (Double
data2 Double -> Double -> Double
forall a. Fractional a => a -> a -> a
/ Double
minE) (String -> IO ()) -> String -> IO ()
forall a b. (a -> b) -> a -> b
$ String
"\t"
      Handle -> String -> IO ()
hPutStr Handle
stdout (String -> IO ()) -> (String -> String) -> String -> IO ()
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Maybe Int -> Double -> String -> String
forall a. RealFloat a => Maybe Int -> a -> String -> String
showFFloat (Int -> Maybe Int
forall a. a -> Maybe a
Just Int
4) (Double
maxE Double -> Double -> Double
forall a. Fractional a => a -> a -> a
/ Double
minE) (String -> IO ()) -> String -> IO ()
forall a b. (a -> b) -> a -> b
$ String
"\t"
      Handle -> String -> IO ()
hPutStr Handle
stdout (String -> IO ()) -> (String -> String) -> String -> IO ()
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Maybe Int -> Double -> String -> String
forall a. RealFloat a => Maybe Int -> a -> String -> String
showFFloat (Int -> Maybe Int
forall a. a -> Maybe a
Just Int
4) (Double
maxE Double -> Double -> Double
forall a. Fractional a => a -> a -> a
/ Double
data2) (String -> IO ()) -> String -> IO ()
forall a b. (a -> b) -> a -> b
$ String
"\t"
      Handle -> String -> IO ()
hPutStr Handle
stdout (String -> IO ()) -> (String -> String) -> String -> IO ()
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Maybe Int -> Double -> String -> String
forall a. RealFloat a => Maybe Int -> a -> String -> String
showFFloat (Int -> Maybe Int
forall a. a -> Maybe a
Just Int
8) Double
ratio (String -> IO ()) -> String -> IO ()
forall a b. (a -> b) -> a -> b
$ String
"\t"
      Handle -> String -> IO ()
hPutStr Handle
stdout (Char
'\t'Char -> String -> String
forall a. a -> [a] -> [a]
:Int -> String
forall a. Show a => a -> String
show (Int
wordsN::Int))
      Handle -> String -> IO ()
hPutStr Handle
stdout (Char
'\t'Char -> String -> String
forall a. a -> [a] -> [a]
:Int -> String
forall a. Show a => a -> String
show (Int
intervalN::Int))
      Handle -> String -> IO ()
hPutStrLn Handle
stdout (if Int
printLine Int -> Int -> Bool
forall a. Eq a => a -> a -> Bool
== Int
1 then Char
'\t'Char -> String -> String
forall a. a -> [a] -> [a]
:String
v else String
"")
     else String -> IO ()
putStrLn (Int -> Char -> String
forall a. Int -> a -> [a]
replicate ([String] -> Int
forall (t :: * -> *) a. Foldable t => t a -> Int
length [String]
multiples4) Char
'\t' String -> String -> String
forall a. [a] -> [a] -> [a]
++ if Int
printLine Int -> Int -> Bool
forall a. Eq a => a -> a -> Bool
== Int
1 then Char
'\t'Char -> String -> String
forall a. a -> [a] -> [a]
:String
v else String
""))
   ; ThreadId -> IO ThreadId
forall (m :: * -> *) a. Monad m => a -> m a
return ThreadId
myThread }) (ThreadId -> IO ()
killThread) (\ThreadId
_ -> String -> IO ()
putStr String
"")
 | Bool
otherwise = IO ThreadId -> (ThreadId -> IO ()) -> (ThreadId -> IO ()) -> IO ()
forall a b c. IO a -> (a -> IO b) -> (a -> IO c) -> IO c
bracket (do {
   ThreadId
myThread <- IO () -> IO ThreadId
forkIO (do
    let !v2 :: [String]
v2 = String -> [String]
words String
v
        !l2 :: Int
l2 = [String] -> Int
forall (t :: * -> *) a. Foldable t => t a -> Int
length [String]
v2 Int -> Int -> Int
forall a. Num a => a -> a -> a
- Int
2
    if Int
l2 Int -> Int -> Bool
forall a. Ord a => a -> a -> Bool
>= (if Bool
lstW then Int
1 else Int
0) then do
     let !permsV5 :: [Array Int Int]
permsV5 = EncodedCnstrs -> [Array Int Int] -> [Array Int Int]
forall (t :: * -> *).
(InsertLeft t (Array Int Int), Monoid (t (Array Int Int))) =>
EncodedCnstrs -> t (Array Int Int) -> t (Array Int Int)
decodeConstraint1 (EncodedCnstrs -> Maybe EncodedCnstrs -> EncodedCnstrs
forall a. a -> Maybe a -> a
fromMaybe (Int -> EncodedCnstrs
forall a b. a -> EncodedContraints a b
E Int
1) (Maybe EncodedCnstrs -> EncodedCnstrs)
-> (Bool -> Maybe EncodedCnstrs) -> Bool -> EncodedCnstrs
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Int -> String -> Maybe EncodedCnstrs
readMaybeECG (Int
l2 Int -> Int -> Int
forall a. Num a => a -> a -> a
+ Int
1) (String -> Maybe EncodedCnstrs)
-> (Bool -> String) -> Bool -> Maybe EncodedCnstrs
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Int -> Bool -> String
showB (Int
l2 Int -> Int -> Int
forall a. Num a => a -> a -> a
+ Int
2) (Bool -> EncodedCnstrs) -> Bool -> EncodedCnstrs
forall a b. (a -> b) -> a -> b
$ Bool
lstW) ([Array Int Int] -> [Array Int Int])
-> (Int -> [Array Int Int]) -> Int -> [Array Int Int]
forall b c a. (b -> c) -> (a -> b) -> a -> c
.
            Array Int [Array Int Int] -> Int -> [Array Int Int]
forall i e. Array i e -> Int -> e
unsafeAt Array Int [Array Int Int]
permsV50 (Int -> [Array Int Int]) -> Int -> [Array Int Int]
forall a b. (a -> b) -> a -> b
$ Int
l2
         rs :: [((Double, Double), Double, Int)]
rs = Strategy ((Double, Double), Double, Int)
-> (String -> ((Double, Double), Double, Int))
-> [String]
-> [((Double, Double), Double, Int)]
forall b a. Strategy b -> (a -> b) -> [a] -> [b]
parMap Strategy ((Double, Double), Double, Int)
forall a. Strategy a
rpar (\String
choiceMMs -> ([Double] -> (Double, Double)
forall a (t :: * -> *).
(Ord a, InsertLeft t a, Monoid (t a)) =>
t a -> (a, a)
minMax11C ([Double] -> (Double, Double))
-> ([String] -> [Double]) -> [String] -> (Double, Double)
forall b c a. (b -> c) -> (a -> b) -> a -> c
.
           (String -> Double) -> [String] -> [Double]
forall a b. (a -> b) -> [a] -> [b]
map (FuncRep2 String Double Double -> String -> Double
forall (t :: * -> *) a b c. FuncRep2 (t a) b c -> t a -> c
toTransPropertiesF' (if Int -> String -> String
forall a. Int -> [a] -> [a]
take Int
1 String
choiceMMs String -> String -> Bool
forall a. Eq a => a -> a -> Bool
== String
"x" Bool -> Bool -> Bool
|| Int -> String -> String
forall a. Int -> [a] -> [a]
take Int
1 String
choiceMMs String -> String -> Bool
forall a. Eq a => a -> a -> Bool
== String
"w" then (Double -> Double)
-> Coeffs2 -> String -> FuncRep2 String Double Double
forall c.
Ord c =>
(Double -> c) -> Coeffs2 -> String -> FuncRep2 String Double c
chooseMax Double -> Double
forall a. a -> a
id Coeffs2
coeffsWX String
choiceMMs else (Double -> Double)
-> Coeffs2 -> String -> FuncRep2 String Double Double
forall c.
Ord c =>
(Double -> c) -> Coeffs2 -> String -> FuncRep2 String Double c
chooseMax Double -> Double
forall a. a -> a
id Coeffs2
coeffs String
choiceMMs)) ([String] -> [Double])
-> ([String] -> [String]) -> [String] -> [Double]
forall b c a. (b -> c) -> (a -> b) -> a -> c
.
             Char
-> (String -> String)
-> ([String] -> [String])
-> (String -> String)
-> [Array Int Int]
-> [String]
-> [String]
forall a (t :: * -> *).
(Eq a, Foldable t, InsertLeft t a, Monoid (t a),
 Monoid (t (t a))) =>
a
-> (t a -> [a])
-> (t (t a) -> [[a]])
-> ([a] -> t a)
-> [Array Int Int]
-> t (t a)
-> [t a]
uniquenessVariants2GNBL Char
' ' String -> String
forall a. a -> a
id [String] -> [String]
forall a. a -> a
id String -> String
forall a. a -> a
id [Array Int Int]
permsV5 ([String] -> (Double, Double)) -> [String] -> (Double, Double)
forall a b. (a -> b) -> a -> b
$ [String]
v2,
               FuncRep2 String Double Double -> String -> Double
forall (t :: * -> *) a b c. FuncRep2 (t a) b c -> t a -> c
toTransPropertiesF' (if Int -> String -> String
forall a. Int -> [a] -> [a]
take Int
1 String
choiceMMs String -> String -> Bool
forall a. Eq a => a -> a -> Bool
== String
"x" Bool -> Bool -> Bool
|| Int -> String -> String
forall a. Int -> [a] -> [a]
take Int
1 String
choiceMMs String -> String -> Bool
forall a. Eq a => a -> a -> Bool
== String
"w" then (Double -> Double)
-> Coeffs2 -> String -> FuncRep2 String Double Double
forall c.
Ord c =>
(Double -> c) -> Coeffs2 -> String -> FuncRep2 String Double c
chooseMax Double -> Double
forall a. a -> a
id Coeffs2
coeffsWX String
choiceMMs else (Double -> Double)
-> Coeffs2 -> String -> FuncRep2 String Double Double
forall c.
Ord c =>
(Double -> c) -> Coeffs2 -> String -> FuncRep2 String Double c
chooseMax Double -> Double
forall a. a -> a
id Coeffs2
coeffs String
choiceMMs) (String -> Double) -> (String -> String) -> String -> Double
forall b c a. (b -> c) -> (a -> b) -> a -> c
.
                 [String] -> String
unwords ([String] -> String) -> (String -> [String]) -> String -> String
forall b c a. (b -> c) -> (a -> b) -> a -> c
. String -> String -> [String]
forall (t :: * -> *) a.
(InsertLeft t a, Monoid (t a), Monoid (t (t a))) =>
t a -> t a -> t (t a)
subG String
" 01-" (String -> Double) -> String -> Double
forall a b. (a -> b) -> a -> b
$ String
v,Int
gz)) [String]
multiples4
         (!Int
wordsN,![Int]
intervalNs) = (Int
l2 Int -> Int -> Int
forall a. Num a => a -> a -> a
+ Int
2, (((Double, Double), Double, Int) -> Int)
-> [((Double, Double), Double, Int)] -> [Int]
forall a b. (a -> b) -> [a] -> [b]
map (\((!Double
x,!Double
y),!Double
z,!Int
t) -> Double -> Double -> Int -> Double -> Int
forall b c. (RealFrac b, Integral c) => b -> b -> c -> b -> c
intervalNRealFrac Double
x Double
y Int
t Double
z) [((Double, Double), Double, Int)]
rs)
           in do
            Handle -> String -> IO ()
hPutStr Handle
stdout (Int -> String
forall a. Show a => a -> String
show (Int
wordsN::Int))
            (Int -> IO ()) -> [Int] -> IO ()
forall (t :: * -> *) (m :: * -> *) a b.
(Foldable t, Monad m) =>
(a -> m b) -> t a -> m ()
mapM_ (\Int
i -> Handle -> String -> IO ()
hPutStr Handle
stdout (Char
'\t'Char -> String -> String
forall a. a -> [a] -> [a]
:Int -> String
forall a. Show a => a -> String
show (Int
i::Int))) [Int]
intervalNs
            Handle -> String -> IO ()
hPutStrLn Handle
stdout (if Int
printLine Int -> Int -> Bool
forall a. Eq a => a -> a -> Bool
== Int
1 then Char
'\t'Char -> String -> String
forall a. a -> [a] -> [a]
:String
v else String
"")
    else String -> IO ()
putStrLn (Int -> Char -> String
forall a. Int -> a -> [a]
replicate ([String] -> Int
forall (t :: * -> *) a. Foldable t => t a -> Int
length [String]
multiples4) Char
'\t' String -> String -> String
forall a. [a] -> [a] -> [a]
++ if Int
printLine Int -> Int -> Bool
forall a. Eq a => a -> a -> Bool
== Int
1 then Char
'\t'Char -> String -> String
forall a. a -> [a] -> [a]
:String
v else String
""))
  ; ThreadId -> IO ThreadId
forall (m :: * -> *) a. Monad m => a -> m a
return ThreadId
myThread }) (ThreadId -> IO ()
killThread) (\ThreadId
_ -> String -> IO ()
putStr String
"")