uniqueness-periods-vector-common-0.2.0.0: Generalization of the dobutokO-poetry-general package functionality

Copyright(c) OleksandrZhabenko 2020
LicenseMIT
StabilityExperimental
Safe HaskellNone
LanguageHaskell2010

Languages.UniquenessPeriods.Vector.Data

Description

Maintainer : olexandr543@yahoo.com

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

Synopsis

Documentation

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

data PreApp a Source #

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) Source # 
Instance details

Defined in Languages.UniquenessPeriods.Vector.Data

Methods

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

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

Eq a => UGG1 (PreApp a) a Source # 
Instance details

Defined in Languages.UniquenessPeriods.Vector.Data

Methods

get1m :: PreApp a -> [a] Source #

get2m :: PreApp a -> [a] Source #

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

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

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

class UGG1 a b where Source #

Minimal complete definition

get1m, get2m, preapp, setm

Methods

get1m :: a -> [b] Source #

get2m :: a -> [b] Source #

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

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

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

Instances
Eq a => UGG1 (PreApp a) a Source # 
Instance details

Defined in Languages.UniquenessPeriods.Vector.Data

Methods

get1m :: PreApp a -> [a] Source #

get2m :: PreApp a -> [a] Source #

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

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

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

type Preapp a = PreApp a Source #

data UniquenessG a b Source #

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) Source # 
Instance details

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))) Source # 
Instance details

Defined in Languages.UniquenessPeriods.Vector.Data

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

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

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

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

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

isU :: UniqG a b -> Bool Source #

isUL :: UniqG a b -> Bool Source #