FMP.Types

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

Constructors

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

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

Constructors

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

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]