funcmp-1.1: Functional MetaPost Source code Contents Index

FMP.Picture

Documentation

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

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

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

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

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

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

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

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

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

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

class Show a => IsPicture a where Source

Methods toPicture :: a -> Picture Source toPictureList :: [a] -> Picture Source Instances IsPicture Char IsPicture Int IsPicture Integer IsPicture Numeric IsPicture Frame IsPicture Area IsPicture Picture IsPicture Path IsPicture Tree IsPicture Canvas IsPicture Turtle

class IsPath a where Source

Methods toPath :: a -> Path Source toPathList :: [a] -> Path Source Instances IsPath Char IsPath Point IsPath Name IsPath Path

class IsArea a where Source

Methods toArea :: a -> Area Source Instances IsArea Area IsArea Path

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 PathElemDescr HasLabel Path 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 PathElemDescr HasPattern FrameAttrib HasPattern Path 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 PathElemDescr HasPen FrameAttrib HasPen Area HasPen Path 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 PathElemDescr HasArrowHead Path 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 PathElemDescr HasStartEndCut Path

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 PathElemDescr HasStartEndDir Path HasStartEndDir Edge

class HasJoin a where Source

Methods setJoin :: BasicJoin -> a -> a Source getJoin :: a -> BasicJoin Source Instances HasJoin PathElemDescr HasJoin Path

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 Source Instances HasConcat Transformation HasConcat Path HasConcat SymNum HasConcat SymPoint HasConcat Symbols HasConcat MetaPost HasConcat Canvas HasConcat Turtle

class IsHideable a where Source

Methods hide :: a -> a Source Instances IsHideable Frame IsHideable PathElemDescr IsHideable FrameAttrib IsHideable Path 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 Picture HasDefine Path

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 aNames :: [Name] aColor :: Color aBGColor :: Color Instances Eq Attrib Read Attrib Show Attrib

stdAttrib :: Attrib Source

data FrameAttrib Source

Constructors FrameAttrib 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 HasPen FrameAttrib HasShadow FrameAttrib HasPattern FrameAttrib IsHideable FrameAttrib HasName FrameAttrib

stdFrameAttrib :: FrameAttrib Source

data PathElemDescr Source

Constructors PathElemDescr 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 HasLabel PathElemDescr HasArrowHead PathElemDescr HasStartEndDir PathElemDescr HasJoin PathElemDescr HasStartEndCut PathElemDescr HasPen PathElemDescr HasPattern PathElemDescr IsHideable PathElemDescr

stdPathElemDescr :: PathElemDescr Source

data Path Source

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 HasLabel Path HasArrowHead Path HasStartEndDir Path HasJoin Path HasStartEndCut Path HasConcat Path HasDefine Path HasPen Path HasPattern Path IsHideable Path IsPath Path IsArea Path IsPicture Path

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 HasDefine Area HasLayer Area HasPen Area IsArea Area IsPicture Area

data AreaDescr Source

Constructors AreaDescr arColor :: Color