DobutokO.Poetry.Data

Maintainer : [e-mail]

Helps to order the 7 or less (in the first version 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