phladiprelio-general-datatype-0.7.0.0: Extended functionality of PhLADiPreLiO
Safe HaskellNone
LanguageHaskell2010

Phladiprelio.General.Datatype3

Synopsis

Documentation

data Read0 Source #

Instances

Instances details
Show Read0 Source # 
Instance details

Defined in Phladiprelio.General.Datatype3

Methods

showsPrec :: Int -> Read0 -> ShowS #

show :: Read0 -> String #

showList :: [Read0] -> ShowS #

Eq Read0 Source # 
Instance details

Defined in Phladiprelio.General.Datatype3

Methods

(==) :: Read0 -> Read0 -> Bool #

(/=) :: Read0 -> Read0 -> Bool #

readU2 :: String -> Double Source #

Is a way to read duration of the additional added time period into the line.

readSimple3 Source #

Arguments

:: (String -> Bool)

A special function to check whether the String contains needed information. Must return True for the String that contains the needed for usual processment information, otherwise — False.

-> Double 
-> (String -> [Double]) 
-> Seq Read0

Is should be obtained using basicSplit function here.

-> [Double] 

basicSplit :: String -> Seq Read0 Source #

A preparatory function for the further ones here.

line2Strings Source #

Arguments

:: (String -> Bool)

A special function to check whether the String contains needed information. Must return True for the String that contains the needed for usual processment information, otherwise — False.

-> (String -> [String]) 
-> Seq Read0

Is should be obtained using basicSplit function here.

-> [String] 

read3 Source #

Arguments

:: (String -> Bool)

A special function to check whether the String contains needed information. Must return True for the String that contains the needed for usual processment information, otherwise — False.

-> Double 
-> (String -> [Double]) 
-> String 
-> [Double] 

readEq4G Source #

Arguments

:: (String -> Bool)

A special function to check whether the String contains needed information. Must return True for the String that contains the needed for usual processment information, otherwise — False.

-> (String -> [Double]) 
-> (String -> [String]) 
-> Seq Read0

Is should be obtained using basicSplit function here.

-> [(String, Double)] 

Is intended to be used in the "music" mode for PhLADiPreLiO.

readEq4 Source #

Arguments

:: (String -> [Double]) 
-> (String -> [String]) 
-> Seq Read0

Is should be obtained using basicSplit function here.

-> [(String, Double)]