Graphics.Diagrams.Object

Documentation

data Anchor

Constructors

Center

N

NW

W

SW

S

SE

E

NE

BaseW

Base

BaseE

Instances

Show Anchor

Methods

showsPrec :: Int -> Anchor -> ShowS

show :: Anchor -> String

showList :: [Anchor] -> ShowS

type Box = Object

Box-shaped object. (a subtype)

type Anchorage = Anchor -> Point

data Object

Constructors

Object

Fields

• objectName :: String
• objectOutline :: Path
• anchors :: Anchorage

(#) :: Object -> Anchor -> Point infix 8

hdist :: Object -> Object -> Expr

Horizontal distance between objects

vdist :: Object -> Object -> Expr

Vertical distance between objects

extend :: Expr -> Object -> Object

Move the anchors (NSEW) by the given delta, outwards.

shiftInDir :: Anchor -> Expr -> Point

Makes a shift of size d in the given direction.

label :: Monad m => String -> lab -> Diagram lab m Box

Make a label object. This is the text surrounded by 4 points of blank and a rectangle outline.

pathObject :: Monad m => Object -> Diagram lab m Object

Internal use.

labelAt :: Monad m => String -> lab -> Anchor -> Point -> Diagram lab m Box

Label a point by a given TeX expression, at the given anchor.

point :: Monad m => String -> Diagram lab m Object

A free point

box :: Monad m => String -> Diagram lab m Object

A box. Anchors are aligned along a grid.

vrule :: Monad m => String -> Diagram lab m Object

A box of zero width

hrule :: Monad m => String -> Diagram lab m Object

A box of zero height

height :: Object -> Expr

width :: Object -> Expr

ascent :: Object -> Expr

descent :: Object -> Expr

fitsIn :: Monad m => Object -> Object -> Diagram lab m ()

Make one object fit (snugly) in the other.

fitsHorizontallyIn :: Monad m => Object -> Object -> Diagram lab m ()

Make one object fit (snugly) in the other.

fitsVerticallyIn :: Monad m => Object -> Object -> Diagram lab m ()

Make one object fit (snugly) in the other.

circle :: Monad m => String -> Diagram lab m Object

A circle

traceBox :: Monad m => Color -> Object -> Diagram lab m ()

rawLabel :: Monad m => String -> lab -> Diagram lab m Object

Typeset a piece of text and return its bounding box as an object. Probably, use label instead.

data OVector

A vector with an origin

Constructors

OVector

Fields

• vectorOrigin, vectorMagnitude :: Point

turn180 :: OVector -> OVector

Turn the orientation by 180 degrees

data FList xs a where

Constructors

NIL :: FList '[] a

(:%>) :: Functor t => t a -> FList fs a -> FList ((:) t fs) a infixr 9

Instances

Functor (FList xs)

Methods

fmap :: (a -> b) -> FList xs a -> FList xs b

(<$) :: a -> FList xs b -> FList xs a

edge :: Monad m => Object -> Object -> Diagram lab m OVector

Traces a straight edge between two objects. A vector originated at the midpoint and pointing perpendicular to the edge is returned.

(.<.) :: Monad m => Point -> Point -> Diagram lab m ()

insideBox :: Monad m => Point -> Object -> Diagram lab m ()

Forces the point to be inside the (bounding box) of the object.

autoLabelObj :: Monad m => Box -> OVector -> Diagram lab m ()

autoLabel o i Layouts the label object o at the given incidence vector.

autoLabel :: Monad m => String -> lab -> OVector -> Diagram lab m Object

autoLabel o i Layouts the label object o at the given incidence vector.

labeledEdge :: Monad m => Object -> Object -> Box -> Diagram lab m ()

labeledEdge label source target

nodeDistance :: Expr

leftOf :: Monad m => Object -> Object -> Diagram lab m ()

topOf :: Monad m => Object -> Object -> Diagram lab m ()

spread :: Monad m => (t -> t -> Expr) -> Expr -> [t] -> Diagram lab m ()

Spread a number of objects by *minimum* a given distance. example: spread hdist 30 ps

node :: Monad m => String -> lab -> Diagram lab m Object

A node: a labeled circle

arrow :: Monad m => Object -> Object -> Diagram lab m OVector

Draw an arrow between two objects

boundingBox :: Monad m => [Object] -> Diagram lab m Object

Bounding box of a number of anchored values

noOverlap :: Monad m => Object -> Diagram lab m Object