FMP.Picture

Documentation

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

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

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

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

(#) :: a -> (a -> b) -> b

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

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

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

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

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

class Show a => IsPicture a where

Methods

toPicture :: a -> Picture

toPictureList :: [a] -> Picture

Instances

IsPicture Char

IsPicture Int

IsPicture Integer

IsPicture ()

IsPicture Numeric

IsPicture Frame

IsPicture Area

IsPicture Path

IsPicture Picture

IsPicture Tree

IsPicture Canvas

IsPicture Turtle

(Show [a], IsPicture a) => IsPicture [a]

(Show (a, b), IsPicture a, IsPicture b) => IsPicture (a, b)

(Show (a, b, c), IsPicture a, IsPicture b, IsPicture c) => IsPicture (a, b, c)

class IsPath a where

Methods

toPath :: a -> Path

toPathList :: [a] -> Path

Instances

IsPath Char

IsPath Point

IsPath Name

IsPath Path

IsPath a => IsPath [a]

(Real a, Real b) => IsPath (a, b)

class IsArea a where

Methods

toArea :: a -> Area

Instances

IsArea Area

IsArea Path

IsPath a => IsArea [a]

class HasPicture a where

Methods

fromPicture :: IsPicture b => b -> a

Instances

HasPicture Turtle

class HasName a where

Methods

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

getNames :: a -> [Name]

Instances

HasName Frame

HasName FrameAttrib

HasName Picture

HasName Tree

class HasDXY a where

Methods

setDX :: Numeric -> a -> a

getDX :: a -> Maybe Numeric

setDY :: Numeric -> a -> a

getDY :: a -> Maybe Numeric

Instances

HasDXY Frame

class HasExtent a where

Methods

setWidth :: Numeric -> a -> a

removeWidth :: a -> a

getWidth :: a -> Maybe Numeric

setHeight :: Numeric -> a -> a

removeHeight :: a -> a

getHeight :: a -> Maybe Numeric

Instances

HasExtent Frame

class HasLabel a where

Methods

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

removeLabel :: a -> a

Instances

HasLabel Path

HasLabel PathElemDescr

HasLabel Edge

class HasPattern a where

Methods

setPattern :: Pattern -> a -> a

setDefaultPattern :: a -> a

getPattern :: a -> Pattern

Instances

HasPattern Frame

HasPattern Path

HasPattern PathElemDescr

HasPattern FrameAttrib

HasPattern Edge

class HasPen a where

Methods

setPen :: Pen -> a -> a

setDefaultPen :: a -> a

getPen :: a -> Pen

Instances

HasPen Frame

HasPen Area

HasPen Path

HasPen PathElemDescr

HasPen FrameAttrib

HasPen Edge

HasPen Turtle

class HasArrowHead a where

Methods

setArrowHead :: ArrowHead -> a -> a

removeArrowHead :: a -> a

getArrowHead :: a -> Maybe ArrowHead

setStartArrowHead :: ArrowHead -> a -> a

removeStartArrowHead :: a -> a

getStartArrowHead :: a -> Maybe ArrowHead

Instances

HasArrowHead Path

HasArrowHead PathElemDescr

HasArrowHead Edge

class HasStartEndCut a where

Methods

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

removeStartCut :: a -> a

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

removeEndCut :: a -> a

Instances

HasStartEndCut Path

HasStartEndCut PathElemDescr

class HasStartEndDir a where

Methods

setStartAngle :: Numeric -> a -> a

setEndAngle :: Numeric -> a -> a

setStartCurl :: Numeric -> a -> a

setEndCurl :: Numeric -> a -> a

setStartVector :: Point -> a -> a

setEndVector :: Point -> a -> a

removeStartDir :: a -> a

removeEndDir :: a -> a

Instances

HasStartEndDir Path

HasStartEndDir PathElemDescr

HasStartEndDir Edge

class HasJoin a where

Methods

setJoin :: BasicJoin -> a -> a

getJoin :: a -> BasicJoin

Instances

HasJoin Path

HasJoin PathElemDescr

class HasShadow a where

Methods

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

clearShadow :: a -> a

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

Instances

HasShadow Frame

HasShadow FrameAttrib

class HasLayer a where

Methods

setBack :: a -> a

setFront :: a -> a

getLayer :: a -> Layer

Instances

HasLayer Area

class HasConcat a where

Methods

(&) :: a -> a -> a

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

Methods

hide :: a -> a

Instances

IsHideable Frame

IsHideable Path

IsHideable PathElemDescr

IsHideable FrameAttrib

IsHideable Edge

IsHideable Turtle

joinCat :: BasicJoin

joinFree :: BasicJoin

joinBounded :: BasicJoin

joinStraight :: BasicJoin

joinTense :: BasicJoin

joinTension :: Tension -> BasicJoin

joinTensions :: Tension -> Tension -> BasicJoin

joinControl :: Point -> BasicJoin

joinControls :: Point -> Point -> BasicJoin

tension :: Numeric -> Tension

tensionAtLeast :: Numeric -> Tension

buildCycle :: Path -> Path -> Path

transformPath :: Transformation -> Path -> Path

mm :: Numeric

pt :: Numeric

dd :: Numeric

bp :: Numeric

cm :: Numeric

pc :: Numeric

cc :: Numeric

inch :: Numeric

up :: Point

down :: Point

left :: Point

right :: Point

fullcircle :: Path

halfcircle :: Path

quartercircle :: Path

unitsquare :: Path

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

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

data Picture

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

Constructors

Front

Back

Instances

Eq Layer

Read Layer

Show Layer

data Transformation

Constructors

Transformation Numeric Numeric Numeric Numeric Numeric Numeric

Instances

Eq Transformation

Read Transformation

Show Transformation

HasConcat Transformation

data BitDepth

Constructors

Depth1

Depth8

Depth24

Instances

Eq BitDepth

Read BitDepth

Show BitDepth

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

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

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

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

vspace :: Numeric -> Picture

hspace :: Numeric -> Picture

space :: Numeric -> Numeric -> Picture

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

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

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

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

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

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

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

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

class HasDefine a where

Methods

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

Instances

HasDefine Area

HasDefine Path

HasDefine Picture

text :: String -> Picture

tex :: String -> Picture

math :: String -> Picture

empty :: Picture

setTrueBoundingBox :: IsPicture a => a -> Picture

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

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

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

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

shifted :: (Numeric, Numeric) -> Transformation

rotated :: Numeric -> Transformation

reflectedX :: Transformation

reflectedY :: Transformation

reflectX :: IsPicture a => a -> Picture

reflectY :: IsPicture a => a -> Picture

scaledX :: Numeric -> Transformation

scaledY :: Numeric -> Transformation

scaled :: Numeric -> Transformation

skewedX :: Numeric -> Transformation

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

skewedY :: Numeric -> Transformation

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

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

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

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

cycle' :: Path

lastNameIsDir :: Name -> Bool

defaultArrowHead :: ArrowHead

arrowHeadBig :: ArrowHead

arrowHeadSize :: Double -> Double -> ArrowHead

setArrowHeadStyle :: ArrowHeadStyle -> ArrowHead -> ArrowHead

getArrowHeadStyle :: ArrowHead -> ArrowHeadStyle

ahFilled :: ArrowHeadStyle

ahLine :: ArrowHeadStyle

data Attrib

Constructors

Attrib

Fields

aNames :: [Name]

aColor :: Color

aBGColor :: Color

Instances

Eq Attrib

Read Attrib

Show Attrib

stdAttrib :: Attrib

data FrameAttrib

Constructors

FrameAttrib

Fields

faNames :: [Name]

faColor :: Color

faBGColor :: Color

faPen :: Pen

faPattern :: Pattern

faShadow :: Maybe (Numeric, Numeric)

faVisible :: Bool

Instances

Eq FrameAttrib

Read FrameAttrib

Show FrameAttrib

HasBGColor FrameAttrib

HasColor FrameAttrib

HasShadow FrameAttrib

IsHideable FrameAttrib

HasPen FrameAttrib

HasPattern FrameAttrib

HasName FrameAttrib

stdFrameAttrib :: FrameAttrib

data PathElemDescr

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]

Instances

Eq PathElemDescr

Read PathElemDescr

Show PathElemDescr

HasColor PathElemDescr

IsHideable PathElemDescr

HasJoin PathElemDescr

HasStartEndDir PathElemDescr

HasStartEndCut PathElemDescr

HasArrowHead PathElemDescr

HasPen PathElemDescr

HasPattern PathElemDescr

HasLabel PathElemDescr

stdPathElemDescr :: PathElemDescr

data Path

Constructors

PathBuildCycle Path Path

PathTransform Transformation Path

PathPoint Point

PathCycle

PathJoin Path PathElemDescr Path

PathEndDir Point Dir'

PathDefine [Equation] Path

Instances

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

data PathLabel

Constructors

PathLabel Picture Double Dir

Instances

Eq PathLabel

Read PathLabel

Show PathLabel

data ArrowHead

Constructors

DefaultArrowHead

ArrowHead (Maybe Double) (Maybe Double) ArrowHeadStyle

Instances

Eq ArrowHead

Read ArrowHead

Show ArrowHead

HasDefault ArrowHead

data ArrowHeadStyle

Constructors

AHFilled

AHLine

Instances

Eq ArrowHeadStyle

Read ArrowHeadStyle

Show ArrowHeadStyle

data CutPic

Constructors

CutPicTrans CutPic [Int]

CutPic Name

CutPic' String

Instances

Eq CutPic

Read CutPic

Show CutPic

pathLength :: Num a => Path -> a

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

data Dir'

Constructors

DirEmpty

DirCurl Numeric

DirDir Numeric

DirVector Point

Instances

Eq Dir'

Read Dir'

Show Dir'

data BasicJoin

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

Constructors

Tension Numeric

TensionAtLeast Numeric

Instances

Eq Tension

Read Tension

Show Tension

data Area

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

Constructors

AreaDescr

Fields

arColor :: Color

arLayer :: Layer

arPen :: Pen

Instances

Eq AreaDescr

Read AreaDescr

Show AreaDescr

stdAreaDescr :: AreaDescr

getDefault :: Maybe a -> a -> a

data Frame

Constructors

Frame' FrameAttrib ExtentAttrib Path Picture

Instances

Show Frame

HasRelax Frame

HasBGColor Frame

HasColor Frame

HasShadow Frame

IsHideable Frame

HasPen Frame

HasPattern Frame

HasExtent Frame

HasDXY Frame

HasName Frame

IsPicture Frame

data AbsOrRel

Constructors

AORAbs Numeric

AORRel Numeric

AORDefault

Instances

Show AbsOrRel

data ExtentAttrib

Constructors

ExtentAttrib

Fields

eaX :: AbsOrRel

eaY :: AbsOrRel

eaEqsDX :: [Equation]

eaEqsDY :: [Equation]

eaEqsWidth :: [Equation]

eaEqsHeight :: [Equation]

eaEqs :: [Equation]

Instances

Show ExtentAttrib

stdExtentAttrib :: ExtentAttrib

dot :: Frame

bullet :: Frame

box :: IsPicture a => a -> Frame

triangle :: IsPicture a => a -> Frame

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

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

oval :: IsPicture a => a -> Frame

circle :: IsPicture a => a -> Frame