Wumpus.Basic.Kernel.Objects.Concat

Classes for concatenation.

Documentation

class ZConcat o where

Minimal defintion is superior, anterior is usually flip superior.

 `superior` (infixr 6)

 `anterior` (infixr 6)

Methods

anterior :: o -> o -> o

superior :: o -> o -> o

Instances

ZConcat CtxPicture

(Monoid a, InterpretUnit u) => ZConcat (GenPosObject st u a)

cat :: (Monoid o, ZConcat o) => [o] -> o

class Concat o where

Concatenation with movement - the second object is moved next to the first.

 hconcat is equivalent to @(<>)@ in WL-PPrint.
 (infixr 6)

 vconcat is equivalent to @(<$>)@ in WL_PPrint.
 (infixr 5)

Methods

hconcat :: o -> o -> o

vconcat :: o -> o -> o

Instances

Concat CtxPicture

Monoid a => Concat (GenPosObject st u a)

hcat :: (Monoid o, Concat o) => [o] -> o

Horizontally concatenate a list of objects.

Note - the first argument is an alternative - this is drawn if the list is empty, otherwise it is not drawn.

vcat :: (Monoid o, Concat o) => [o] -> o

Vertically concatenate a list of objects.

Note - the first argument is an alternative - this is drawn if the list is empty, otherwise it is not drawn.

class CatSpace o where

Methods

hspace :: u ~ DUnit o => u -> o -> o -> o

vspace :: u ~ DUnit o => u -> o -> o -> o

Instances

CatSpace CtxPicture

(Monoid a, InterpretUnit u) => CatSpace (GenPosObject st u a)

hsep :: (Monoid o, CatSpace o, u ~ DUnit o) => u -> [o] -> o

vsep :: (Monoid o, CatSpace o, u ~ DUnit o) => u -> [o] -> o

class Align o where

Methods

halign :: HAlign -> o -> o -> o

valign :: VAlign -> o -> o -> o

Instances

Align CtxPicture

Monoid a => Align (GenPosObject st u a)

alignRow :: (Monoid o, Align o) => HAlign -> [o] -> o

alignColumn :: (Monoid o, Align o) => VAlign -> [o] -> o

class AlignSpace o where

Methods

halignSpace :: u ~ DUnit o => HAlign -> u -> o -> o -> o

valignSpace :: u ~ DUnit o => VAlign -> u -> o -> o -> o

Instances

AlignSpace CtxPicture

(Monoid a, InterpretUnit u) => AlignSpace (GenPosObject st u a)

alignRowSep :: (Monoid o, AlignSpace o, u ~ DUnit o) => HAlign -> u -> [o] -> o

alignColumnSep :: (Monoid o, AlignSpace o, u ~ DUnit o) => VAlign -> u -> [o] -> o