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 UniquenessG2 a b

Constructors

UL2 ([a], b)

Instances

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

Defined in Languages.UniquenessPeriods.Vector.Data

Methods

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

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

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

Defined in Languages.UniquenessPeriods.Vector.Data

Methods

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

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

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

type UniqG2 a b = UniquenessG2 (UniquenessG1 a b) (Vector (UniquenessG1 a b))

get22 :: UniqG2 a b -> ([UniquenessG1 a b], Vector (UniquenessG1 a b))

data FuncRep a b c

Is used to avoid significant code duplication.

Constructors

U1 (a -> c)

D2 (a -> b) (b -> c)

getAC :: FuncRep a b c -> a -> c

isU1 :: FuncRep a b c -> Bool

isD2 :: FuncRep a b c -> Bool