Languages.UniquenessPeriods.Vector.Data

Maintainer : [e-mail]

Is a generalization of the DobutokO.Poetry.Data module functionality from the dobutokO-poetry-general package.

Documentation

type UniquenessG1 a b = ([b], Vector b, [a])

data PreApp a

The list in the PA variant represent the prepending [a] and the postpending one respectively. K constuctor actually means no prepending and postpending (usually 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 Languages.UniquenessPeriods.Vector.Data

Methods

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

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

Eq a => UGG1 (PreApp a) a

Defined in Languages.UniquenessPeriods.Vector.Data

Methods

get1m :: PreApp a -> [a]

get2m :: PreApp a -> [a]

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

preapp :: PreApp a -> [[a]] -> [[a]]

setm :: [a] -> [a] -> PreApp a

class UGG1 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

Eq a => UGG1 (PreApp a) a

Defined in Languages.UniquenessPeriods.Vector.Data

Methods

get1m :: PreApp a -> [a]

get2m :: PreApp a -> [a]

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

preapp :: PreApp a -> [[a]] -> [[a]]

setm :: [a] -> [a] -> PreApp a

type Preapp a = PreApp a

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 Languages.UniquenessPeriods.Vector.Data

Methods

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

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

(Show a, Show b) => Show (UniquenessG a (Vector (UniquenessG1 a b)))

Defined in Languages.UniquenessPeriods.Vector.Data

Methods

showsPrec :: Int -> UniquenessG a (Vector (UniquenessG1 a b)) -> ShowS

show :: UniquenessG a (Vector (UniquenessG1 a b)) -> String

showList :: [UniquenessG a (Vector (UniquenessG1 a b))] -> ShowS

type UniqG a b = UniquenessG [a] (Vector (UniquenessG1 a b))

get2 :: UniqG a b -> (Maybe [[a]], Vector (UniquenessG1 a b))

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

set2 :: (Maybe [[a]], Vector (UniquenessG1 a b)) -> UniqG a b

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

isU :: UniqG a b -> Bool

isUL :: UniqG a b -> Bool