Portability	portable
Stability	provisional
Maintainer	simons@cryp.to

FMP.Types

Description

Documentation

class HasMed a whereSource

Methods

med :: Numeric -> a -> a -> aSource

Instances

HasMed Numeric
HasMed Point

class HasDefault a whereSource

Methods

default' :: aSource

Instances

HasDefault Pattern
HasDefault Pen
HasDefault Color
HasDefault ArrowHead
HasDefault TurtleDescr

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
FromList 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
IsBoolean Point
IsEquation Point
HasCond Point
HasMed Point
HasWhatever Point
IsPath Point

data Numeric Source

Instances

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

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 whereSource

Methods

relax :: aSource

Instances

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

class HasCond a whereSource

Methods

cond :: Boolean -> a -> a -> aSource

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 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 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 => aSource

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 Source

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

class IsName a whereSource

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