Languages.UniquenessPeriods.Vector.DataG

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

Documentation

type UniquenessG1T2 t t2 a b = (t2 b, Vector b, t a)

data PreApp t 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). Both are used basically to control the behaviour of the functions.

Constructors

K

PA (t a) (t a)

Instances

Eq a => UGG1 [] (PreApp [] a) a

Defined in Languages.UniquenessPeriods.Vector.DataG

Methods

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

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

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

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

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

Eq a => UGG1 Vector (PreApp Vector a) a

Defined in Languages.UniquenessPeriods.Vector.DataG

Methods

get1m :: PreApp Vector a -> Vector a

get2m :: PreApp Vector a -> Vector a

getm :: Bool -> PreApp Vector a -> Vector a

preapp :: PreApp Vector a -> Vector (Vector a) -> Vector (Vector a)

setm :: Vector a -> Vector a -> PreApp Vector a

Eq (t a) => Eq (PreApp t a)

Defined in Languages.UniquenessPeriods.Vector.DataG

Methods

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

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

class Foldable t => UGG1 t a b where

Minimal complete definition

get1m, get2m, preapp, setm

Methods

get1m :: a -> t b

get2m :: a -> t b

getm :: Bool -> a -> t b

preapp :: a -> t (t b) -> t (t b)

setm :: t b -> t b -> a

Instances

Eq a => UGG1 [] (PreApp [] a) a

Defined in Languages.UniquenessPeriods.Vector.DataG

Methods

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

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

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

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

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

Eq a => UGG1 Vector (PreApp Vector a) a

Defined in Languages.UniquenessPeriods.Vector.DataG

Methods

get1m :: PreApp Vector a -> Vector a

get2m :: PreApp Vector a -> Vector a

getm :: Bool -> PreApp Vector a -> Vector a

preapp :: PreApp Vector a -> Vector (Vector a) -> Vector (Vector a)

setm :: Vector a -> Vector a -> PreApp Vector a

isPA :: PreApp t a -> Bool

isK :: PreApp t a -> Bool

data UniquenessG2 a b

Constructors

UL2 (Vector a, b)

Instances

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

Defined in Languages.UniquenessPeriods.Vector.DataG

Methods

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

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

(Show a, Show b, InsertLeft t a, Foldable t2, Show (t2 b), Show (t a)) => Show (UniquenessG2 (UniquenessG1T2 t t2 a b) (Vector (UniquenessG1T2 t t2 a b)))

Defined in Languages.UniquenessPeriods.Vector.DataG

Methods

showsPrec :: Int -> UniquenessG2 (UniquenessG1T2 t t2 a b) (Vector (UniquenessG1T2 t t2 a b)) -> ShowS

show :: UniquenessG2 (UniquenessG1T2 t t2 a b) (Vector (UniquenessG1T2 t t2 a b)) -> String

showList :: [UniquenessG2 (UniquenessG1T2 t t2 a b) (Vector (UniquenessG1T2 t t2 a b))] -> ShowS

type UniqG2T2 t t2 a b = UniquenessG2 (UniquenessG1T2 t t2 a b) (Vector (UniquenessG1T2 t t2 a b))

get22 :: UniqG2T2 t t2 a b -> (Vector (UniquenessG1T2 t t2 a b), Vector (UniquenessG1T2 t t2 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