Copyright	(c) 2003-2010 Peter Simons (c) 2002-2003 Ferenc Wágner (c) 2002-2003 Meik Hellmund (c) 1998-2002 Ralf Hinze (c) 1998-2002 Joachim Korittky (c) 1998-2002 Marco Kuhlmann
License	GPLv3
Maintainer	simons@cryp.to
Stability	provisional
Portability	portable
Safe Haskell	Safe-Inferred
Language	Haskell98

FMP.Picture

Description

Documentation

(|-|) :: (IsPicture a, IsPicture b) => a -> b -> Picture infixl 5 Source

(|||) :: (IsPicture a, IsPicture b) => a -> b -> Picture infixl 6 Source

(|=|) :: (IsPicture a, IsPicture b) => a -> b -> Picture infixl 5 Source

(||||) :: (IsPicture a, IsPicture b) => a -> b -> Picture infixl 6 Source

(#) :: a -> (a -> b) -> b infixl 0 Source

(.&.) :: (IsPath a, IsPath b) => a -> b -> Path infixr 1 Source

(...) :: (IsPath a, IsPath b) => a -> b -> Path infixr 1 Source

(.-.) :: (IsPath a, IsPath b) => a -> b -> Path infixr 1 Source

(....) :: (IsPath a, IsPath b) => a -> b -> Path infixr 1 Source

(.--.) :: (IsPath a, IsPath b) => a -> b -> Path infixr 1 Source

class Show a => IsPicture a where Source

Minimal complete definition

Nothing

Methods

toPicture :: a -> Picture Source

toPictureList :: [a] -> Picture Source

Instances

IsPicture Char
IsPicture Int
IsPicture Integer
IsPicture ()
IsPicture Numeric
IsPicture Frame
IsPicture Area
IsPicture Path
IsPicture Picture
IsPicture Tree
IsPicture Canvas
IsPicture Turtle
IsPicture a => IsPicture [a]
(IsPicture a, IsPicture b) => IsPicture (a, b)
(IsPicture a, IsPicture b, IsPicture c) => IsPicture (a, b, c)

class IsPath a where Source

Minimal complete definition

toPath

Methods

toPath :: a -> Path Source

toPathList :: [a] -> Path Source

Instances

IsPath Char
IsPath Point
IsPath Name
IsPath Path
IsPath a => IsPath [a]
(Real a, Real b) => IsPath (a, b)

class IsArea a where Source

Methods

toArea :: a -> Area Source

Instances

IsArea Area
IsArea Path
IsPath a => IsArea [a]

class HasPicture a where Source

Methods

fromPicture :: IsPicture b => b -> a Source

Instances

HasPicture Turtle

class HasName a where Source

Methods

setName :: IsName b => b -> a -> a Source

getNames :: a -> [Name] Source

Instances

HasName Frame
HasName FrameAttrib
HasName Picture
HasName Tree

class HasDXY a where Source

Methods

setDX :: Numeric -> a -> a Source

getDX :: a -> Maybe Numeric Source

setDY :: Numeric -> a -> a Source

getDY :: a -> Maybe Numeric Source

Instances

HasDXY Frame

class HasExtent a where Source

Methods

setWidth :: Numeric -> a -> a Source

removeWidth :: a -> a Source

getWidth :: a -> Maybe Numeric Source

setHeight :: Numeric -> a -> a Source

removeHeight :: a -> a Source

getHeight :: a -> Maybe Numeric Source

Instances

HasExtent Frame

class HasLabel a where Source

Methods

setLabel :: IsPicture b => Double -> Dir -> b -> a -> a Source

removeLabel :: a -> a Source

Instances

HasLabel Path
HasLabel PathElemDescr
HasLabel Edge

class HasPattern a where Source

Methods

setPattern :: Pattern -> a -> a Source

setDefaultPattern :: a -> a Source

getPattern :: a -> Pattern Source

Instances

HasPattern Frame
HasPattern Path
HasPattern PathElemDescr
HasPattern FrameAttrib
HasPattern Edge

class HasPen a where Source

Methods

setPen :: Pen -> a -> a Source

setDefaultPen :: a -> a Source

getPen :: a -> Pen Source

Instances

HasPen Frame
HasPen Area
HasPen Path
HasPen PathElemDescr
HasPen FrameAttrib
HasPen Edge
HasPen Turtle

class HasArrowHead a where Source

Methods

setArrowHead :: ArrowHead -> a -> a Source

removeArrowHead :: a -> a Source

getArrowHead :: a -> Maybe ArrowHead Source

setStartArrowHead :: ArrowHead -> a -> a Source

removeStartArrowHead :: a -> a Source

getStartArrowHead :: a -> Maybe ArrowHead Source

Instances

HasArrowHead Path
HasArrowHead PathElemDescr
HasArrowHead Edge

class HasStartEndCut a where Source

Methods

setStartCut :: IsName b => b -> a -> a Source

removeStartCut :: a -> a Source

setEndCut :: IsName b => b -> a -> a Source

removeEndCut :: a -> a Source

Instances

HasStartEndCut Path
HasStartEndCut PathElemDescr

class HasStartEndDir a where Source

Methods

setStartAngle :: Numeric -> a -> a Source

setEndAngle :: Numeric -> a -> a Source

setStartCurl :: Numeric -> a -> a Source

setEndCurl :: Numeric -> a -> a Source

setStartVector :: Point -> a -> a Source

setEndVector :: Point -> a -> a Source

removeStartDir :: a -> a Source

removeEndDir :: a -> a Source

Instances

HasStartEndDir Path
HasStartEndDir PathElemDescr
HasStartEndDir Edge

class HasJoin a where Source

Methods

setJoin :: BasicJoin -> a -> a Source

getJoin :: a -> BasicJoin Source

Instances

HasJoin Path
HasJoin PathElemDescr

class HasShadow a where Source

Methods

setShadow :: (Numeric, Numeric) -> a -> a Source

clearShadow :: a -> a Source

getShadow :: a -> Maybe (Numeric, Numeric) Source

Instances

HasShadow Frame
HasShadow FrameAttrib

class HasLayer a where Source

Methods

setBack :: a -> a Source

setFront :: a -> a Source

getLayer :: a -> Layer Source

Instances

HasLayer Area

class HasConcat a where Source

Methods

(&) :: a -> a -> a infixr 1 Source

Instances

HasConcat Path
HasConcat Transformation
HasConcat SymNum
HasConcat SymPoint
HasConcat Symbols
HasConcat MetaPost
HasConcat Canvas
HasConcat Turtle
FromList a => HasConcat [a]

class IsHideable a where Source

Methods

hide :: a -> a Source

Instances

IsHideable Frame
IsHideable Path
IsHideable PathElemDescr
IsHideable FrameAttrib
IsHideable Edge
IsHideable Turtle

joinCat :: BasicJoin Source

joinFree :: BasicJoin Source

joinBounded :: BasicJoin Source

joinStraight :: BasicJoin Source

joinTense :: BasicJoin Source

joinTension :: Tension -> BasicJoin Source

joinTensions :: Tension -> Tension -> BasicJoin Source

joinControl :: Point -> BasicJoin Source

joinControls :: Point -> Point -> BasicJoin Source

tension :: Numeric -> Tension Source

tensionAtLeast :: Numeric -> Tension Source

buildCycle :: Path -> Path -> Path Source

transformPath :: Transformation -> Path -> Path Source

mm :: Numeric Source

pt :: Numeric Source

dd :: Numeric Source

bp :: Numeric Source

cm :: Numeric Source

pc :: Numeric Source

cc :: Numeric Source

inch :: Numeric Source

up :: Point Source

down :: Point Source

left :: Point Source

right :: Point Source

fullcircle :: Path Source

halfcircle :: Path Source

quartercircle :: Path Source

unitsquare :: Path Source

enumPics :: HasName a => [a] -> [a] Source

image :: BitDepth -> [String] -> Picture Source

data Picture Source

Constructors

Attributes Attrib Picture
Overlay [Equation] (Maybe Int) [Picture]
Define [Equation] Picture
Frame FrameAttrib [Equation] Path Picture
Draw [Path] Picture
Fill [Area] Picture
Clip Path Picture
Empty Numeric Numeric
Tex String
Text String
BitLine Point BitDepth String
PTransform Transformation Picture
TrueBox Picture

Instances

Eq Picture
Read Picture
Show Picture
HasRelax Picture
HasBGColor Picture
HasColor Picture
HasDefine Picture
HasName Picture
IsPicture Picture

data Layer Source

Constructors

Front
Back

Instances

Eq Layer
Read Layer
Show Layer

data Transformation Source

Constructors

Transformation Numeric Numeric Numeric Numeric Numeric Numeric

Instances

Eq Transformation
Read Transformation
Show Transformation
HasConcat Transformation

data BitDepth Source

Constructors

Depth1
Depth8
Depth24

Instances

Eq BitDepth
Read BitDepth
Show BitDepth

row :: IsPicture a => [a] -> Picture Source

column :: IsPicture a => [a] -> Picture Source

rowSepBy :: IsPicture a => Numeric -> [a] -> Picture Source

columnSepBy :: IsPicture a => Numeric -> [a] -> Picture Source

vspace :: Numeric -> Picture Source

hspace :: Numeric -> Picture Source

space :: Numeric -> Numeric -> Picture Source

fill :: (IsPicture a, IsArea b) => [b] -> a -> Picture Source

clip :: IsPicture a => Path -> a -> Picture Source

draw :: IsPicture a => [Path] -> a -> Picture Source

at :: (IsPicture a, IsPicture b) => Dir -> a -> b -> Picture Source

label :: (IsPicture a, IsPicture b) => Dir -> a -> b -> Picture Source

overlay :: IsPicture a => [Equation] -> [a] -> Picture Source

overlay' :: IsPicture a => [Equation] -> Maybe Int -> [a] -> Picture Source

ooalign :: IsPicture a => [a] -> Picture Source

class HasDefine a where Source

Methods

define :: [Equation] -> a -> a Source

Instances

HasDefine Area
HasDefine Path
HasDefine Picture

text :: String -> Picture Source

tex :: String -> Picture Source

math :: String -> Picture Source

empty :: Picture Source

setTrueBoundingBox :: IsPicture a => a -> Picture Source

scale :: IsPicture a => Numeric -> a -> Picture Source

rotate :: IsPicture a => Numeric -> a -> Picture Source

transform :: IsPicture a => Transformation -> a -> Picture Source

affine :: (Numeric, Numeric, Numeric, Numeric, Numeric, Numeric) -> Transformation Source

shifted :: (Numeric, Numeric) -> Transformation Source

rotated :: Numeric -> Transformation Source

reflectedX :: Transformation Source

reflectedY :: Transformation Source

reflectX :: IsPicture a => a -> Picture Source

reflectY :: IsPicture a => a -> Picture Source

scaledX :: Numeric -> Transformation Source

scaledY :: Numeric -> Transformation Source

scaled :: Numeric -> Transformation Source

skewedX :: Numeric -> Transformation Source

skewX :: IsPicture a => Numeric -> a -> Picture Source

skewedY :: Numeric -> Transformation Source

skewY :: IsPicture a => Numeric -> a -> Picture Source

line :: (IsPath a, IsPath b) => a -> b -> Path Source

curve :: (IsPath a, IsPath b) => a -> b -> Path Source

arrow :: (IsPath b, IsPath a) => a -> b -> Path Source

cycle' :: Path Source

lastNameIsDir :: Name -> Bool Source

defaultArrowHead :: ArrowHead Source

arrowHeadBig :: ArrowHead Source

arrowHeadSize :: Double -> Double -> ArrowHead Source

setArrowHeadStyle :: ArrowHeadStyle -> ArrowHead -> ArrowHead Source

getArrowHeadStyle :: ArrowHead -> ArrowHeadStyle Source

ahFilled :: ArrowHeadStyle Source

ahLine :: ArrowHeadStyle Source

data Attrib Source

Constructors

Attrib
Fields aNames :: [Name] aColor :: Color aBGColor :: Color

Instances

Eq Attrib
Read Attrib
Show Attrib

stdAttrib :: Attrib Source

data FrameAttrib Source

Constructors

FrameAttrib
Fields faNames :: [Name] faColor :: Color faBGColor :: Color faPen :: Pen faPattern :: Pattern faShadow :: Maybe (Numeric, Numeric) faVisible :: Bool

stdFrameAttrib :: FrameAttrib Source

data PathElemDescr Source

Constructors

PathElemDescr
Fields peColor :: Color pePen :: Pen peArrowHead :: Maybe ArrowHead peSArrowHead :: Maybe ArrowHead pePattern :: Pattern peVisible :: Bool peStartCut :: Maybe CutPic peEndCut :: Maybe CutPic peStartDir :: Dir' peEndDir :: Dir' peJoin :: BasicJoin peLabels :: [PathLabel]

stdPathElemDescr :: PathElemDescr Source

data PathLabel Source

Constructors

PathLabel Picture Double Dir

Instances

Eq PathLabel
Read PathLabel
Show PathLabel

data ArrowHead Source

Constructors

DefaultArrowHead
ArrowHead (Maybe Double) (Maybe Double) ArrowHeadStyle

Instances

Eq ArrowHead
Read ArrowHead
Show ArrowHead
HasDefault ArrowHead

data ArrowHeadStyle Source

Constructors

AHFilled
AHLine

Instances

Eq ArrowHeadStyle
Read ArrowHeadStyle
Show ArrowHeadStyle

data CutPic Source

Constructors

CutPicTrans CutPic [Int]
CutPic Name
CutPic' String

Instances

Eq CutPic
Read CutPic
Show CutPic

pathLength :: Num a => Path -> a Source

forEachPath :: (PathElemDescr -> PathElemDescr) -> Path -> Path Source

data Dir' Source

Constructors

DirEmpty
DirCurl Numeric
DirDir Numeric
DirVector Point

Instances

Eq Dir'
Read Dir'
Show Dir'

data BasicJoin Source

Constructors

BJCat
BJFree
BJBounded
BJStraight
BJTense
BJTension Tension
BJTension2 Tension Tension
BJControls Point
BJControls2 Point Point

Instances

Eq BasicJoin
Read BasicJoin
Show BasicJoin

data Tension Source

Constructors

Tension Numeric
TensionAtLeast Numeric

Instances

Eq Tension
Read Tension
Show Tension

data Area Source

Constructors

Area AreaDescr Path

Instances

Eq Area
Read Area
Show Area
HasColor Area
IsArea Area
HasLayer Area
HasDefine Area
HasPen Area
IsPicture Area

data AreaDescr Source

Constructors

AreaDescr
Fields arColor :: Color arLayer :: Layer arPen :: Pen

Instances

Eq AreaDescr
Read AreaDescr
Show AreaDescr

stdAreaDescr :: AreaDescr Source

getDefault :: Maybe a -> a -> a Source

data Frame Source

Constructors

Frame' FrameAttrib ExtentAttrib Path Picture

data AbsOrRel Source

Constructors

AORAbs Numeric
AORRel Numeric
AORDefault

Instances

Show AbsOrRel

data ExtentAttrib Source

Constructors

ExtentAttrib
Fields eaX :: AbsOrRel eaY :: AbsOrRel eaEqsDX :: [Equation] eaEqsDY :: [Equation] eaEqsWidth :: [Equation] eaEqsHeight :: [Equation] eaEqs :: [Equation]

Instances

Show ExtentAttrib

stdExtentAttrib :: ExtentAttrib Source

dot :: Frame Source

bullet :: Frame Source

box :: IsPicture a => a -> Frame Source

triangle :: IsPicture a => a -> Frame Source

triAngle :: IsPicture a => Numeric -> a -> Frame Source

rbox :: IsPicture a => Numeric -> a -> Frame Source

oval :: IsPicture a => a -> Frame Source

circle :: IsPicture a => a -> Frame Source

PathBuildCycle Path Path
PathTransform Transformation Path
PathPoint Point
PathCycle
PathJoin Path PathElemDescr Path
PathEndDir Point Dir'
PathDefine [Equation] Path

Eq FrameAttrib
Read FrameAttrib
Show FrameAttrib
HasBGColor FrameAttrib
HasColor FrameAttrib
HasShadow FrameAttrib
IsHideable FrameAttrib
HasPen FrameAttrib
HasPattern FrameAttrib
HasName FrameAttrib

Eq PathElemDescr
Read PathElemDescr
Show PathElemDescr
HasColor PathElemDescr
IsHideable PathElemDescr
HasJoin PathElemDescr
HasStartEndDir PathElemDescr
HasStartEndCut PathElemDescr
HasArrowHead PathElemDescr
HasPen PathElemDescr
HasPattern PathElemDescr
HasLabel PathElemDescr

Eq Path
Read Path
Show Path
HasColor Path
IsArea Path
IsPath Path
IsHideable Path
HasDefine Path
HasJoin Path
HasStartEndDir Path
HasStartEndCut Path
HasArrowHead Path
HasPen Path
HasPattern Path
HasLabel Path
IsPicture Path
HasConcat Path

Show Frame
HasRelax Frame
HasBGColor Frame
HasColor Frame
HasShadow Frame
IsHideable Frame
HasPen Frame
HasPattern Frame
HasExtent Frame
HasDXY Frame
HasName Frame
IsPicture Frame