DobutokO.Poetry.Data

Maintainer : [e-mail]

Helps to order the 7 or less Ukrainian words (or their concatenations) to obtain (to some extent) suitable for poetry or music text. This module contains data types needed for some generalizations.

Documentation

type Uniqueness = ([Int], Vector Int, String)

data PreApp a

The list in the PA variant represent the prepending String and the postpending one respectively. K constuctor actually means no prepending and postpending of the text. Are used basically to control the behaviour of the functions.

Constructors

K

PA [a] [a]

Instances

Eq a => Eq (PreApp a)

Defined in DobutokO.Poetry.Data

Methods

(==) :: PreApp a -> PreApp a -> Bool

(/=) :: PreApp a -> PreApp a -> Bool

G1 (PreApp Char) Char

Defined in DobutokO.Poetry.Data

Methods

get1m :: PreApp Char -> [Char]

get2m :: PreApp Char -> [Char]

getm :: Bool -> PreApp Char -> [Char]

preapp :: PreApp Char -> [[Char]] -> [[Char]]

setm :: [Char] -> [Char] -> PreApp Char

class G1 a b where

Minimal complete definition

get1m, get2m, preapp, setm

Methods

get1m :: a -> [b]

get2m :: a -> [b]

getm :: Bool -> a -> [b]

preapp :: a -> [[b]] -> [[b]]

setm :: [b] -> [b] -> a

Instances

G1 (PreApp Char) Char

Defined in DobutokO.Poetry.Data

Methods

get1m :: PreApp Char -> [Char]

get2m :: PreApp Char -> [Char]

getm :: Bool -> PreApp Char -> [Char]

preapp :: PreApp Char -> [[Char]] -> [[Char]]

setm :: [Char] -> [Char] -> PreApp Char

type Preapp = PreApp Char

isPA :: PreApp a -> Bool

isK :: PreApp a -> Bool

data UniquenessG a b

Is used to control whether to return data or only to print the needed information. The U contstuctor corresponds to the information printing and UL to returning also data. The last one so can be further used.

Constructors

U b

UL ([a], b)

Instances

(Eq b, Eq a) => Eq (UniquenessG a b)

Defined in DobutokO.Poetry.Data

Methods

(==) :: UniquenessG a b -> UniquenessG a b -> Bool

(/=) :: UniquenessG a b -> UniquenessG a b -> Bool

Show (UniquenessG String (Vector Uniqueness))

Defined in DobutokO.Poetry.Data

Methods

showsPrec :: Int -> UniquenessG String (Vector Uniqueness) -> ShowS

show :: UniquenessG String (Vector Uniqueness) -> String

showList :: [UniquenessG String (Vector Uniqueness)] -> ShowS

type UniqG = UniquenessG String (Vector Uniqueness)

get2 :: UniqG -> (Maybe [String], Vector Uniqueness)

Decomposes the data type UniqG into its components. The inverse to the set2.

set2 :: (Maybe [String], Vector Uniqueness) -> UniqG

Compose the data type UniqG from its components. The inverse to the get2.

isU :: UniqG -> Bool

isUL :: UniqG -> Bool