Portability	portable
Stability	provisional
Maintainer	simons@cryp.to
Safe Haskell	Safe-Inferred

FMP.Types

Description

Documentation

class HasMed a where

Methods

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

Instances

HasMed Numeric
HasMed Point

class HasDefault a where

Methods

default' :: a

Instances

HasDefault Pattern
HasDefault Pen
HasDefault Color
HasDefault ArrowHead
HasDefault TurtleDescr

data Dir

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

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

Constructors

DefaultPattern
DashPattern [Double]

Instances

Eq Pattern
Read Pattern
Show Pattern
HasDefault Pattern

data Equation

Constructors

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

Instances

Eq Equation
Read Equation
Show Equation
HasCond Equation
FromList Equation

data Boolean

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

Constructors

BoolEQ
BoolL
BoolLE
BoolNE

Instances

Eq BoolRelat
Ord BoolRelat
Read BoolRelat
Show BoolRelat

data Point

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

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

Constructors

PPPAdd
PPPSub
PPPDiv

Instances

Eq FunPPP
Ord FunPPP
Read FunPPP
Show FunPPP

data FunPN

Constructors

PNXPart
PNYPart
PNAngle

Instances

Eq FunPN
Ord FunPN
Read FunPN
Show FunPN

data FunNN

Constructors

NNSinD
NNCosD
NNSqrt
NNExp
NNLog
NNRound
NNCeil
NNFloor
NNNeg

Instances

Eq FunNN
Ord FunNN
Read FunNN
Show FunNN

data FunNNN

Constructors

NNNAdd
NNNSub
NNNMul
NNNDiv
NNNPyth
NNNPower

Instances

Eq FunNNN
Ord FunNNN
Read FunNNN
Show FunNNN

data FunNsN

Constructors

NsNMin
NsNMax

Instances

Eq FunNsN
Ord FunNsN
Read FunNsN
Show FunNsN

class HasRelax a where

Methods

relax :: a

Instances

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

class HasCond a where

Methods

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

Instances

HasCond Numeric
HasCond Point
HasCond Equation

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

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

dashed :: Pattern

dotted :: Pattern

dashPattern :: [Double] -> Pattern

dashPattern' :: [Double] -> Pattern

boolean :: Bool -> Boolean

equations :: [Equation] -> Equation

vec :: (Numeric, Numeric) -> Point

dir :: Numeric -> Point

xy :: Point -> Point -> Point

(.*) :: Numeric -> Point -> Point

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

xpart :: Point -> Numeric

ypart :: Point -> Numeric

angle :: Point -> Numeric

minimum' :: [Numeric] -> Numeric

maximum' :: [Numeric] -> Numeric

width :: IsName a => a -> Numeric

height :: IsName a => a -> Numeric

xdist :: Point -> Point -> Numeric

ydist :: Point -> Point -> Numeric

dist :: Point -> Point -> Numeric

(.=) :: IsEquation a => a -> a -> Equation

(.==) :: 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

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

ref :: IsName a => a -> Point

var :: IsName a => a -> Numeric

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

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

class IsName a where

Methods

toName :: a -> Name

toNameList :: [a] -> Name

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