Safe Haskell	Safe-Inferred
Language	Haskell2010

Phladiprelio.General.Datatype

Synopsis

data Phladiprelio t a b = Phl {
- inputData :: t a
- convF :: t a -> t b
}
data BasicLan a
- = L1 !a
- | L2 !Double
data BasicUkr
- = U1 !Char
- | U2 !Double
readBasic0 :: Double -> (String -> [a]) -> ([a] -> [Double]) -> String -> [Double]
readBasic :: (String -> [a]) -> ([a] -> [Double]) -> String -> [Double]
readBasic0G :: (String -> Bool) -> Double -> (String -> [a]) -> ([a] -> [Double]) -> String -> [Double]
readBasicG :: (String -> Bool) -> (String -> [a]) -> ([a] -> [Double]) -> String -> [Double]
readHead :: (String -> [a]) -> ([a] -> [Double]) -> String -> Double
splF :: [Char] -> [[Char]]
data Read2
- = D [Double]
- | S [Char]
readBasic1G :: String -> [Read2]
showDoubleAsInsert :: Double -> String
readBasic2G :: (String -> Bool) -> (String -> [a]) -> ([a] -> [Double]) -> [Read2] -> [Double]
readBasic3G :: (String -> Bool) -> (String -> [a]) -> ([a] -> [Double]) -> String -> [Double]
readBasic3 :: (String -> [a]) -> ([a] -> [Double]) -> String -> [Double]
readBasic4G :: (String -> Bool) -> (String -> [a]) -> ([a] -> [Double]) -> (String -> [b]) -> ([b] -> [String]) -> [Read2] -> [(String, Double)]
readBasic4 :: (String -> [a]) -> ([a] -> [Double]) -> (String -> [b]) -> ([b] -> [String]) -> [Read2] -> [(String, Double)]
readU2 :: String -> Double
readU3 :: Double -> String -> Double

Documentation

data Phladiprelio t a b Source #

Constructors

Phl
Fields inputData :: t a convF :: t a -> t b

data BasicLan a Source #

Universal data, can be used e. g. for phladiprelio-general series of packages.

Constructors

L1 !a
L2 !Double

Instances

Instances details

Eq a => Eq (BasicLan a) Source #
Instance details Defined in Phladiprelio.General.Datatype Methods (==) :: BasicLan a -> BasicLan a -> Bool # (/=) :: BasicLan a -> BasicLan a -> Bool #
Ord a => Ord (BasicLan a) Source #
Instance details Defined in Phladiprelio.General.Datatype Methods compare :: BasicLan a -> BasicLan a -> Ordering # (<) :: BasicLan a -> BasicLan a -> Bool # (<=) :: BasicLan a -> BasicLan a -> Bool # (>) :: BasicLan a -> BasicLan a -> Bool # (>=) :: BasicLan a -> BasicLan a -> Bool # max :: BasicLan a -> BasicLan a -> BasicLan a # min :: BasicLan a -> BasicLan a -> BasicLan a #

data BasicUkr Source #

Specific for Ukranian data type for phladiprelio-ukrainian series of packages.

Constructors

U1 !Char
U2 !Double

Instances

Instances details

Eq BasicUkr Source #
Instance details Defined in Phladiprelio.General.Datatype Methods (==) :: BasicUkr -> BasicUkr -> Bool # (/=) :: BasicUkr -> BasicUkr -> Bool #
Ord BasicUkr Source #
Instance details Defined in Phladiprelio.General.Datatype Methods compare :: BasicUkr -> BasicUkr -> Ordering # (<) :: BasicUkr -> BasicUkr -> Bool # (<=) :: BasicUkr -> BasicUkr -> Bool # (>) :: BasicUkr -> BasicUkr -> Bool # (>=) :: BasicUkr -> BasicUkr -> Bool # max :: BasicUkr -> BasicUkr -> BasicUkr # min :: BasicUkr -> BasicUkr -> BasicUkr #

readBasic0 :: Double -> (String -> [a]) -> ([a] -> [Double]) -> String -> [Double] Source #

readBasic :: (String -> [a]) -> ([a] -> [Double]) -> String -> [Double] Source #

readBasic0G 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 -> [a])
-> ([a] -> [Double])
-> String
-> [Double]

readBasicG :: (String -> Bool) -> (String -> [a]) -> ([a] -> [Double]) -> String -> [Double] Source #

readHead :: (String -> [a]) -> ([a] -> [Double]) -> String -> Double Source #

splF :: [Char] -> [[Char]] Source #

data Read2 Source #

Constructors

D [Double]
S [Char]

Instances

Instances details

Show Read2 Source #
Instance details Defined in Phladiprelio.General.Datatype Methods showsPrec :: Int -> Read2 -> ShowS # show :: Read2 -> String # showList :: [Read2] -> ShowS #
Eq Read2 Source #
Instance details Defined in Phladiprelio.General.Datatype Methods (==) :: Read2 -> Read2 -> Bool # (/=) :: Read2 -> Read2 -> Bool #

readBasic1G :: String -> [Read2] Source #

showDoubleAsInsert :: Double -> String Source #

readBasic2G 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 -> [a])
-> ([a] -> [Double])
-> [Read2]
-> [Double]

readBasic3G :: (String -> Bool) -> (String -> [a]) -> ([a] -> [Double]) -> String -> [Double] Source #

readBasic3 :: (String -> [a]) -> ([a] -> [Double]) -> String -> [Double] Source #

readBasic4G 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 -> [a])
-> ([a] -> [Double])
-> (String -> [b])
-> ([b] -> [String])
-> [Read2]
-> [(String, Double)]

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

readBasic4 :: (String -> [a]) -> ([a] -> [Double]) -> (String -> [b]) -> ([b] -> [String]) -> [Read2] -> [(String, Double)] Source #

readU2 :: String -> Double Source #

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

readU3 :: Double -> String -> Double Source #

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