Wumpus.Core.PictureLanguage

Picture language operations c.f. PPrint and Text.PrettyPrint.HughesPJ, but fully in two dimensions rather than horizontal + carriage return.

Documentation

data HAlign

Constructors

HTop

HCenter

HBottom

Instances

Eq HAlign

Show HAlign

data VAlign

Constructors

VLeft

VCenter

VRight

Instances

Eq VAlign

Show VAlign

Type family and classes

type family PUnit a

class Horizontal a where

Methods

moveH :: PUnit a -> a -> a

leftBound :: a -> PUnit a

rightBound :: a -> PUnit a

Instances

(Num u, Ord u) => Horizontal (Picture u)

class Vertical a where

Methods

moveV :: PUnit a -> a -> a

topBound :: a -> PUnit a

bottomBound :: a -> PUnit a

Instances

(Num u, Ord u) => Vertical (Picture u)

class Composite a where

Methods

over :: a -> a -> a

beneath :: a -> a -> a

Instances

(Num u, Ord u) => Composite (Picture u)

class Move a where

Methods

move :: PUnit a -> PUnit a -> a -> a

Instances

(Num u, Ord u, Horizontal (Picture u), Vertical (Picture u)) => Move (Picture u)

class Blank a where

Methods

blank :: PUnit a -> PUnit a -> a

Instances

Num u => Blank (Picture u)

Bounds

center :: (Horizontal a, Vertical a, Fractional u, u ~ PUnit a) => a -> Point2 u

The center of a picture.

topleft :: (Horizontal a, Vertical a, u ~ PUnit a) => a -> Point2 u

topright :: (Horizontal a, Vertical a, u ~ PUnit a) => a -> Point2 u

bottomleft :: (Horizontal a, Vertical a, u ~ PUnit a) => a -> Point2 u

bottomright :: (Horizontal a, Vertical a, u ~ PUnit a) => a -> Point2 u

Composition

(->-) :: (Horizontal a, Composite a, Num u, u ~ PUnit a) => a -> a -> a

Horizontal composition - place b at the right of a.

(-<-) :: (Horizontal a, Composite a, Num u, u ~ PUnit a) => a -> a -> a

Horizontal composition - place a at the left of b.

(-//-) :: (Vertical a, Composite a, Num u, u ~ PUnit a) => a -> a -> a

Vertical composition - place b below a.

(-\\-) :: (Vertical a, Composite a, Num u, u ~ PUnit a) => a -> a -> a

Vertical composition - place a above b.

at :: (Move a, u ~ PUnit a) => a -> Point2 u -> a

Place the picture at the supplied point.

stackOnto :: Composite a => [a] -> a -> a

Stack the pictures using over - the first picture in the list is drawn at the top, last picture is on drawn at the bottom.

hcat :: (Horizontal a, Composite a, Num u, u ~ PUnit a) => a -> [a] -> a

vcat :: (Vertical a, Composite a, Num u, u ~ PUnit a) => a -> [a] -> a

(-@-) :: (Horizontal a, Vertical a, Composite a, Move a, Fractional u, u ~ PUnit a) => a -> a -> a

Center the pic1 on top of pic2.

stackOntoCenter :: (Horizontal a, Vertical a, Composite a, Move a, Fractional u, u ~ PUnit a) => [a] -> a -> a

Stack pictures centered ontop of each other - the first picture in the list is drawn at the top, last picture is on drawn at the bottom.

hspace :: (Num u, Composite a, Horizontal a, Blank a, u ~ PUnit a) => u -> a -> a -> a

The following simple definition of hspace is invalid:

 hspace n a b = a ->- (moveH n b)

The movement due to moveH n is annulled by the ->- operator which moves relative to the bounding box.

The almost as simple definition below, seems to justify including Blank as a Picture constructor.

vspace :: (Num u, Composite a, Vertical a, Blank a, u ~ PUnit a) => u -> a -> a -> a

hsep :: (Num u, Composite a, Horizontal a, Blank a, u ~ PUnit a) => u -> a -> [a] -> a

vsep :: (Num u, Composite a, Vertical a, Blank a, u ~ PUnit a) => u -> a -> [a] -> a

Compose with alignment

alignH :: (Fractional u, Composite a, Horizontal a, Vertical a, Move a, u ~ PUnit a) => HAlign -> a -> a -> a

alignV :: (Fractional u, Composite a, Horizontal a, Vertical a, Move a, u ~ PUnit a) => VAlign -> a -> a -> a

hcatA :: (Fractional u, Horizontal a, Vertical a, Composite a, Move a, u ~ PUnit a) => HAlign -> a -> [a] -> a

vcatA :: (Fractional u, Horizontal a, Vertical a, Composite a, Move a, u ~ PUnit a) => VAlign -> a -> [a] -> a

hsepA :: (Fractional u, Horizontal a, Vertical a, Composite a, Move a, Blank a, u ~ PUnit a) => HAlign -> u -> a -> [a] -> a

vsepA :: (Fractional u, Horizontal a, Vertical a, Composite a, Move a, Blank a, u ~ PUnit a) => VAlign -> u -> a -> [a] -> a