funcmp-1.9: Functional MetaPost is a Haskell frontend to the MetaPost language

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
LicenseGPLv3
Maintainersimons@cryp.to
Stabilityprovisional
Portabilityportable
Safe HaskellSafe
LanguageHaskell98

FMP.Types

Description

 

Documentation

class HasMed a where #

Minimal complete definition

med

Methods

med :: Numeric -> a -> a -> a #

Instances
HasMed Numeric # 
Instance details

Defined in FMP.Types

Methods

med :: Numeric -> Numeric -> Numeric -> Numeric #

HasMed Point # 
Instance details

Defined in FMP.Types

Methods

med :: Numeric -> Point -> Point -> Point #

class HasDefault a where #

Minimal complete definition

default'

Methods

default' :: a #

Instances
HasDefault Color # 
Instance details

Defined in FMP.Picture

Methods

default' :: Color #

HasDefault Pattern # 
Instance details

Defined in FMP.Types

Methods

default' :: Pattern #

HasDefault Pen # 
Instance details

Defined in FMP.Types

Methods

default' :: Pen #

HasDefault ArrowHead # 
Instance details

Defined in FMP.Picture

Methods

default' :: ArrowHead #

data Dir #

Constructors

C 
N 
NE 
E 
SE 
S 
SW 
W 
NW 
Instances
Enum Dir # 
Instance details

Defined in FMP.Types

Methods

succ :: Dir -> Dir #

pred :: Dir -> Dir #

toEnum :: Int -> Dir #

fromEnum :: Dir -> Int #

enumFrom :: Dir -> [Dir] #

enumFromThen :: Dir -> Dir -> [Dir] #

enumFromTo :: Dir -> Dir -> [Dir] #

enumFromThenTo :: Dir -> Dir -> Dir -> [Dir] #

Eq Dir # 
Instance details

Defined in FMP.Types

Methods

(==) :: Dir -> Dir -> Bool #

(/=) :: Dir -> Dir -> Bool #

Num Dir # 
Instance details

Defined in FMP.Types

Methods

(+) :: Dir -> Dir -> Dir #

(-) :: Dir -> Dir -> Dir #

(*) :: Dir -> Dir -> Dir #

negate :: Dir -> Dir #

abs :: Dir -> Dir #

signum :: Dir -> Dir #

fromInteger :: Integer -> Dir #

Ord Dir # 
Instance details

Defined in FMP.Types

Methods

compare :: Dir -> Dir -> Ordering #

(<) :: Dir -> Dir -> Bool #

(<=) :: Dir -> Dir -> Bool #

(>) :: Dir -> Dir -> Bool #

(>=) :: Dir -> Dir -> Bool #

max :: Dir -> Dir -> Dir #

min :: Dir -> Dir -> Dir #

Read Dir # 
Instance details

Defined in FMP.Types

Show Dir # 
Instance details

Defined in FMP.Types

Methods

showsPrec :: Int -> Dir -> ShowS #

show :: Dir -> String #

showList :: [Dir] -> ShowS #

IsName Dir # 
Instance details

Defined in FMP.Types

Methods

toName :: Dir -> Name #

toNameList :: [Dir] -> Name #

data Pen #

Instances
Eq Pen # 
Instance details

Defined in FMP.Types

Methods

(==) :: Pen -> Pen -> Bool #

(/=) :: Pen -> Pen -> Bool #

Fractional Pen # 
Instance details

Defined in FMP.Types

Methods

(/) :: Pen -> Pen -> Pen #

recip :: Pen -> Pen #

fromRational :: Rational -> Pen #

Num Pen # 
Instance details

Defined in FMP.Types

Methods

(+) :: Pen -> Pen -> Pen #

(-) :: Pen -> Pen -> Pen #

(*) :: Pen -> Pen -> Pen #

negate :: Pen -> Pen #

abs :: Pen -> Pen #

signum :: Pen -> Pen #

fromInteger :: Integer -> Pen #

Read Pen # 
Instance details

Defined in FMP.Types

Show Pen # 
Instance details

Defined in FMP.Types

Methods

showsPrec :: Int -> Pen -> ShowS #

show :: Pen -> String #

showList :: [Pen] -> ShowS #

HasDefault Pen # 
Instance details

Defined in FMP.Types

Methods

default' :: Pen #

data Pattern #

Instances
Eq Pattern # 
Instance details

Defined in FMP.Types

Methods

(==) :: Pattern -> Pattern -> Bool #

(/=) :: Pattern -> Pattern -> Bool #

Read Pattern # 
Instance details

Defined in FMP.Types

Show Pattern # 
Instance details

Defined in FMP.Types

HasDefault Pattern # 
Instance details

Defined in FMP.Types

Methods

default' :: Pattern #

data Equation #

Instances
Eq Equation # 
Instance details

Defined in FMP.Types

Read Equation # 
Instance details

Defined in FMP.Types

Show Equation # 
Instance details

Defined in FMP.Types

HasCond Equation # 
Instance details

Defined in FMP.Types

Methods

cond :: Boolean -> Equation -> Equation -> Equation #

data BoolRelat #

Constructors

BoolEQ 
BoolL 
BoolLE 
BoolNE 
Instances
Eq BoolRelat # 
Instance details

Defined in FMP.Types

Ord BoolRelat # 
Instance details

Defined in FMP.Types

Read BoolRelat # 
Instance details

Defined in FMP.Types

Show BoolRelat # 
Instance details

Defined in FMP.Types

data Point #

Instances
Eq Point # 
Instance details

Defined in FMP.Types

Methods

(==) :: Point -> Point -> Bool #

(/=) :: Point -> Point -> Bool #

Num Point # 
Instance details

Defined in FMP.Types

Ord Point # 
Instance details

Defined in FMP.Types

Methods

compare :: Point -> Point -> Ordering #

(<) :: Point -> Point -> Bool #

(<=) :: Point -> Point -> Bool #

(>) :: Point -> Point -> Bool #

(>=) :: Point -> Point -> Bool #

max :: Point -> Point -> Point #

min :: Point -> Point -> Point #

Read Point # 
Instance details

Defined in FMP.Types

Show Point # 
Instance details

Defined in FMP.Types

Methods

showsPrec :: Int -> Point -> ShowS #

show :: Point -> String #

showList :: [Point] -> ShowS #

HasCond Point # 
Instance details

Defined in FMP.Types

Methods

cond :: Boolean -> Point -> Point -> Point #

HasMed Point # 
Instance details

Defined in FMP.Types

Methods

med :: Numeric -> Point -> Point -> Point #

IsPath Point # 
Instance details

Defined in FMP.Picture

Methods

toPath :: Point -> Path #

toPathList :: [Point] -> Path #

data Numeric #

Instances
Enum Numeric # 
Instance details

Defined in FMP.Types

Eq Numeric # 
Instance details

Defined in FMP.Types

Methods

(==) :: Numeric -> Numeric -> Bool #

(/=) :: Numeric -> Numeric -> Bool #

Floating Numeric # 
Instance details

Defined in FMP.Types

Fractional Numeric # 
Instance details

Defined in FMP.Types

Num Numeric # 
Instance details

Defined in FMP.Types

Ord Numeric # 
Instance details

Defined in FMP.Types

Read Numeric # 
Instance details

Defined in FMP.Types

Real Numeric # 
Instance details

Defined in FMP.Types

Show Numeric # 
Instance details

Defined in FMP.Types

HasCond Numeric # 
Instance details

Defined in FMP.Types

Methods

cond :: Boolean -> Numeric -> Numeric -> Numeric #

HasMed Numeric # 
Instance details

Defined in FMP.Types

Methods

med :: Numeric -> Numeric -> Numeric -> Numeric #

IsPicture Numeric # 
Instance details

Defined in FMP.Picture

data FunPPP #

Constructors

PPPAdd 
PPPSub 
PPPDiv 
Instances
Eq FunPPP # 
Instance details

Defined in FMP.Types

Methods

(==) :: FunPPP -> FunPPP -> Bool #

(/=) :: FunPPP -> FunPPP -> Bool #

Ord FunPPP # 
Instance details

Defined in FMP.Types

Read FunPPP # 
Instance details

Defined in FMP.Types

Show FunPPP # 
Instance details

Defined in FMP.Types

data FunPN #

Constructors

PNXPart 
PNYPart 
PNAngle 
Instances
Eq FunPN # 
Instance details

Defined in FMP.Types

Methods

(==) :: FunPN -> FunPN -> Bool #

(/=) :: FunPN -> FunPN -> Bool #

Ord FunPN # 
Instance details

Defined in FMP.Types

Methods

compare :: FunPN -> FunPN -> Ordering #

(<) :: FunPN -> FunPN -> Bool #

(<=) :: FunPN -> FunPN -> Bool #

(>) :: FunPN -> FunPN -> Bool #

(>=) :: FunPN -> FunPN -> Bool #

max :: FunPN -> FunPN -> FunPN #

min :: FunPN -> FunPN -> FunPN #

Read FunPN # 
Instance details

Defined in FMP.Types

Show FunPN # 
Instance details

Defined in FMP.Types

Methods

showsPrec :: Int -> FunPN -> ShowS #

show :: FunPN -> String #

showList :: [FunPN] -> ShowS #

data FunNN #

Instances
Eq FunNN # 
Instance details

Defined in FMP.Types

Methods

(==) :: FunNN -> FunNN -> Bool #

(/=) :: FunNN -> FunNN -> Bool #

Ord FunNN # 
Instance details

Defined in FMP.Types

Methods

compare :: FunNN -> FunNN -> Ordering #

(<) :: FunNN -> FunNN -> Bool #

(<=) :: FunNN -> FunNN -> Bool #

(>) :: FunNN -> FunNN -> Bool #

(>=) :: FunNN -> FunNN -> Bool #

max :: FunNN -> FunNN -> FunNN #

min :: FunNN -> FunNN -> FunNN #

Read FunNN # 
Instance details

Defined in FMP.Types

Show FunNN # 
Instance details

Defined in FMP.Types

Methods

showsPrec :: Int -> FunNN -> ShowS #

show :: FunNN -> String #

showList :: [FunNN] -> ShowS #

data FunNNN #

Instances
Eq FunNNN # 
Instance details

Defined in FMP.Types

Methods

(==) :: FunNNN -> FunNNN -> Bool #

(/=) :: FunNNN -> FunNNN -> Bool #

Ord FunNNN # 
Instance details

Defined in FMP.Types

Read FunNNN # 
Instance details

Defined in FMP.Types

Show FunNNN # 
Instance details

Defined in FMP.Types

data FunNsN #

Constructors

NsNMin 
NsNMax 
Instances
Eq FunNsN # 
Instance details

Defined in FMP.Types

Methods

(==) :: FunNsN -> FunNsN -> Bool #

(/=) :: FunNsN -> FunNsN -> Bool #

Ord FunNsN # 
Instance details

Defined in FMP.Types

Read FunNsN # 
Instance details

Defined in FMP.Types

Show FunNsN # 
Instance details

Defined in FMP.Types

class HasRelax a where #

Minimal complete definition

relax

Methods

relax :: a #

Instances
HasRelax Frame # 
Instance details

Defined in FMP.Picture

Methods

relax :: Frame #

HasRelax Picture # 
Instance details

Defined in FMP.Picture

Methods

relax :: Picture #

HasRelax MetaPost # 
Instance details

Defined in FMP.Syntax

Methods

relax :: MetaPost #

HasRelax Symbols # 
Instance details

Defined in FMP.Symbols

Methods

relax :: Symbols #

HasRelax Canvas # 
Instance details

Defined in FMP.Canvas

Methods

relax :: Canvas #

HasRelax Turtle # 
Instance details

Defined in FMP.Turtle

Methods

relax :: Turtle #

class HasCond a where #

Minimal complete definition

cond

Methods

cond :: Boolean -> a -> a -> a #

Instances
HasCond Numeric # 
Instance details

Defined in FMP.Types

Methods

cond :: Boolean -> Numeric -> Numeric -> Numeric #

HasCond Point # 
Instance details

Defined in FMP.Types

Methods

cond :: Boolean -> Point -> Point -> Point #

HasCond Equation # 
Instance details

Defined in FMP.Types

Methods

cond :: Boolean -> Equation -> Equation -> Equation #

xy :: Point -> Point -> Point #

(.*) :: Numeric -> Point -> Point infixr 7 #

pi :: Floating a => a #

exp :: Floating a => a -> a #

log :: Floating a => a -> a #

sqrt :: Floating a => a -> a #

(**) :: Floating a => a -> a -> a infixr 8 #

sin :: Floating a => a -> a #

cos :: Floating a => a -> a #

tan :: Floating a => a -> a #

asin :: Floating a => a -> a #

acos :: Floating a => a -> a #

atan :: Floating a => a -> a #

sinh :: Floating a => a -> a #

cosh :: Floating a => a -> a #

tanh :: Floating a => a -> a #

asinh :: Floating a => a -> a #

acosh :: Floating a => a -> a #

atanh :: Floating a => a -> a #

width :: IsName a => a -> Numeric #

height :: IsName a => a -> Numeric #

(.=) :: IsEquation a => a -> a -> Equation infixr 5 #

(.==) :: IsBoolean a => a -> a -> Boolean #

(./=) :: IsBoolean a => a -> a -> Boolean #

(.<) :: IsBoolean a => a -> a -> Boolean #

(.<=) :: IsBoolean a => a -> a -> Boolean #

equal :: IsEquation a => [a] -> Equation #

whatever :: HasWhatever a => a #

data Name #

Instances
Eq Name # 
Instance details

Defined in FMP.Types

Methods

(==) :: Name -> Name -> Bool #

(/=) :: Name -> Name -> Bool #

Ord Name # 
Instance details

Defined in FMP.Types

Methods

compare :: Name -> Name -> Ordering #

(<) :: Name -> Name -> Bool #

(<=) :: Name -> Name -> Bool #

(>) :: Name -> Name -> Bool #

(>=) :: Name -> Name -> Bool #

max :: Name -> Name -> Name #

min :: Name -> Name -> Name #

Read Name # 
Instance details

Defined in FMP.Types

Show Name # 
Instance details

Defined in FMP.Types

Methods

showsPrec :: Int -> Name -> ShowS #

show :: Name -> String #

showList :: [Name] -> ShowS #

IsName Name # 
Instance details

Defined in FMP.Types

Methods

toName :: Name -> Name #

toNameList :: [Name] -> Name #

IsPath Name # 
Instance details

Defined in FMP.Picture

Methods

toPath :: Name -> Path #

toPathList :: [Name] -> Path #

global :: IsName a => a -> Name #

ref :: IsName a => a -> Point #

var :: IsName a => a -> Numeric #

(<+) :: (IsName a, IsName b) => a -> b -> Name infixr 0 #

(<*) :: IsName a => Int -> a -> Name infixr 0 #

class IsName a where #

Minimal complete definition

toName

Methods

toName :: a -> Name #

toNameList :: [a] -> Name #

Instances
IsName Char # 
Instance details

Defined in FMP.Types

Methods

toName :: Char -> Name #

toNameList :: [Char] -> Name #

IsName Int # 
Instance details

Defined in FMP.Types

Methods

toName :: Int -> Name #

toNameList :: [Int] -> Name #

IsName Name # 
Instance details

Defined in FMP.Types

Methods

toName :: Name -> Name #

toNameList :: [Name] -> Name #

IsName Dir # 
Instance details

Defined in FMP.Types

Methods

toName :: Dir -> Name #

toNameList :: [Dir] -> Name #

IsName NodeName # 
Instance details

Defined in FMP.Tree

IsName a => IsName [a] # 
Instance details

Defined in FMP.Types

Methods

toName :: [a] -> Name #

toNameList :: [[a]] -> Name #