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.Types

Description

Documentation

class HasMed a where Source

Methods

med :: Numeric -> a -> a -> a Source

Instances

HasMed Numeric
HasMed Point

class HasDefault a where Source

Methods

default' :: a Source

Instances

HasDefault Pattern
HasDefault Pen
HasDefault Color
HasDefault ArrowHead

data Dir Source

Constructors

C
N
NE
E
SE
S
SW
W
NW

Instances

Enum Dir
Eq Dir
Num Dir
Ord Dir
Read Dir
Show Dir
IsName Dir

data Pen Source

Constructors

DefaultPen
PenSquare (Numeric, Numeric) Numeric
PenCircle (Numeric, Numeric) Numeric

Instances

Eq Pen
Fractional Pen
Num Pen
Read Pen
Show Pen
HasDefault Pen

data Pattern Source

Constructors

DefaultPattern
DashPattern [Double]

Instances

Eq Pattern
Read Pattern
Show Pattern
HasDefault Pattern

data Equation Source

Constructors

NEquations [Numeric]
PEquations [Point]
Equations [Equation]
EquationCond Boolean Equation Equation

Instances

Eq Equation
Read Equation
Show Equation
HasCond Equation

data Boolean Source

Constructors

Boolean Bool
BoolNum Numeric BoolRelat Numeric
BoolPnt Point BoolRelat Point
BoolOr Boolean Boolean
BoolAnd Boolean Boolean
BoolNot Boolean

Instances

Eq Boolean
Num Boolean
Ord Boolean
Read Boolean
Show Boolean

data BoolRelat Source

Constructors

BoolEQ
BoolL
BoolLE
BoolNE

Instances

Eq BoolRelat
Ord BoolRelat
Read BoolRelat
Show BoolRelat

data Point Source

Instances

Eq Point
Num Point
Ord Point
Read Point
Show Point
HasCond Point
HasMed Point
IsPath Point

data FunPPP Source

Constructors

PPPAdd
PPPSub
PPPDiv

Instances

Eq FunPPP
Ord FunPPP
Read FunPPP
Show FunPPP

data FunPN Source

Constructors

PNXPart
PNYPart
PNAngle

Instances

Eq FunPN
Ord FunPN
Read FunPN
Show FunPN

data FunNN Source

Constructors

NNSinD
NNCosD
NNSqrt
NNExp
NNLog
NNRound
NNCeil
NNFloor
NNNeg

Instances

Eq FunNN
Ord FunNN
Read FunNN
Show FunNN

data FunNNN Source

Constructors

NNNAdd
NNNSub
NNNMul
NNNDiv
NNNPyth
NNNPower

Instances

Eq FunNNN
Ord FunNNN
Read FunNNN
Show FunNNN

data FunNsN Source

Constructors

NsNMin
NsNMax

Instances

Eq FunNsN
Ord FunNsN
Read FunNsN
Show FunNsN

class HasRelax a where Source

Methods

relax :: a Source

Instances

HasRelax Frame
HasRelax Picture
HasRelax Symbols
HasRelax MetaPost
HasRelax Canvas
HasRelax Turtle

class HasCond a where Source

Methods

cond :: Boolean -> a -> a -> a Source

Instances

HasCond Numeric
HasCond Point
HasCond Equation

penSquare :: (Numeric, Numeric) -> Numeric -> Pen Source

penCircle :: (Numeric, Numeric) -> Numeric -> Pen Source

dashed :: Pattern Source

dotted :: Pattern Source

dashPattern :: [Double] -> Pattern Source

dashPattern' :: [Double] -> Pattern Source

boolean :: Bool -> Boolean Source

equations :: [Equation] -> Equation Source

vec :: (Numeric, Numeric) -> Point Source

dir :: Numeric -> Point Source

xy :: Point -> Point -> Point Source

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

pi :: Floating a => a

exp :: Floating a => a -> a

log :: Floating a => a -> a

sqrt :: Floating a => a -> a

(**) :: Floating a => a -> a -> a

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

pythAdd :: Numeric -> Numeric -> Numeric Source

xpart :: Point -> Numeric Source

ypart :: Point -> Numeric Source

angle :: Point -> Numeric Source

minimum' :: [Numeric] -> Numeric Source

maximum' :: [Numeric] -> Numeric Source

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

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

xdist :: Point -> Point -> Numeric Source

ydist :: Point -> Point -> Numeric Source

dist :: Point -> Point -> Numeric Source

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

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

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

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

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

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

whatever :: HasWhatever a => a Source

data Name Source

Constructors

NameInt Int
NameStr String
NameDir Dir
Hier Name Name
Global Name

Instances

Eq Name
Ord Name
Read Name
Show Name
IsName Name
IsPath Name

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

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

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

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

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

class IsName a where Source

Minimal complete definition

toName

Methods

toName :: a -> Name Source

toNameList :: [a] -> Name Source

Instances

IsName Char
IsName Int
IsName Name
IsName Dir
IsName NodeName
IsName a => IsName [a]

PointPic' Int Dir
PointVar' Int Int
PointVarArray' Int Int
PointTrans' Point [Int]
PointVar Name
PointVec (Numeric, Numeric)
PointMediate Numeric Point Point
PointDirection Numeric
PointWhatever
PointPPP FunPPP Point Point
PointNMul Numeric Point
PointNeg Point
PointCond Boolean Point Point

NumericVar' Int Int
NumericArray' Int Int
NumericVar Name
Numeric Double
NumericWhatever
NumericDist Point Point
NumericMediate Numeric Numeric Numeric
NumericPN FunPN Point
NumericNN FunNN Numeric
NumericNNN FunNNN Numeric Numeric
NumericNsN FunNsN [Numeric]
NumericCond Boolean Numeric Numeric

Enum Numeric
Eq Numeric
Floating Numeric
Fractional Numeric
Num Numeric
Ord Numeric
Read Numeric
Real Numeric
Show Numeric
HasCond Numeric
HasMed Numeric
IsPicture Numeric