FMP.Types

Documentation

class HasMed a where

Minimal complete definition

med

Methods

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

Instances

HasMed Numeric

Methods

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

HasMed Point

Methods

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

class HasDefault a where

Minimal complete definition

default'

Methods

default' :: a

Instances

HasDefault Pattern

Methods

default' :: Pattern

HasDefault Pen

Methods

default' :: Pen

HasDefault ArrowHead

Methods

default' :: ArrowHead

data Dir

Constructors

C

N

NE

E

SE

S

SW

W

NW

Instances

Enum Dir

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

Methods

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

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

Num Dir

Methods

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

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

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

negate :: Dir -> Dir

abs :: Dir -> Dir

signum :: Dir -> Dir

fromInteger :: Integer -> Dir

Ord Dir

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

Methods

readsPrec :: Int -> ReadS Dir

readList :: ReadS [Dir]

readPrec :: ReadPrec Dir

readListPrec :: ReadPrec [Dir]

Show Dir

Methods

showsPrec :: Int -> Dir -> ShowS

show :: Dir -> String

showList :: [Dir] -> ShowS

IsName Dir

Methods

toName :: Dir -> Name

toNameList :: [Dir] -> Name

data Pen

Constructors

DefaultPen

PenSquare (Numeric, Numeric) Numeric

PenCircle (Numeric, Numeric) Numeric

Instances

Eq Pen

Methods

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

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

Fractional Pen

Methods

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

recip :: Pen -> Pen

fromRational :: Rational -> Pen

Num Pen

Methods

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

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

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

negate :: Pen -> Pen

abs :: Pen -> Pen

signum :: Pen -> Pen

fromInteger :: Integer -> Pen

Read Pen

Methods

readsPrec :: Int -> ReadS Pen

readList :: ReadS [Pen]

readPrec :: ReadPrec Pen

readListPrec :: ReadPrec [Pen]

Show Pen

Methods

showsPrec :: Int -> Pen -> ShowS

show :: Pen -> String

showList :: [Pen] -> ShowS

HasDefault Pen

Methods

default' :: Pen

data Pattern

Constructors

DefaultPattern

DashPattern [Double]

Instances

Eq Pattern

Methods

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

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

Read Pattern

Methods

readsPrec :: Int -> ReadS Pattern

readList :: ReadS [Pattern]

readPrec :: ReadPrec Pattern

readListPrec :: ReadPrec [Pattern]

Show Pattern

Methods

showsPrec :: Int -> Pattern -> ShowS

show :: Pattern -> String

showList :: [Pattern] -> ShowS

HasDefault Pattern

Methods

default' :: Pattern

data Equation

Constructors

NEquations [Numeric]

PEquations [Point]

Equations [Equation]

EquationCond Boolean Equation Equation

Instances

Eq Equation

Methods

(==) :: Equation -> Equation -> Bool

(/=) :: Equation -> Equation -> Bool

Read Equation

Methods

readsPrec :: Int -> ReadS Equation

readList :: ReadS [Equation]

readPrec :: ReadPrec Equation

readListPrec :: ReadPrec [Equation]

Show Equation

Methods

showsPrec :: Int -> Equation -> ShowS

show :: Equation -> String

showList :: [Equation] -> ShowS

HasCond Equation

Methods

cond :: Boolean -> Equation -> Equation -> 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

Methods

(==) :: Boolean -> Boolean -> Bool

(/=) :: Boolean -> Boolean -> Bool

Num Boolean

Methods

(+) :: Boolean -> Boolean -> Boolean

(-) :: Boolean -> Boolean -> Boolean

(*) :: Boolean -> Boolean -> Boolean

negate :: Boolean -> Boolean

abs :: Boolean -> Boolean

signum :: Boolean -> Boolean

fromInteger :: Integer -> Boolean

Ord Boolean

Methods

compare :: Boolean -> Boolean -> Ordering

(<) :: Boolean -> Boolean -> Bool

(<=) :: Boolean -> Boolean -> Bool

(>) :: Boolean -> Boolean -> Bool

(>=) :: Boolean -> Boolean -> Bool

max :: Boolean -> Boolean -> Boolean

min :: Boolean -> Boolean -> Boolean

Read Boolean

Methods

readsPrec :: Int -> ReadS Boolean

readList :: ReadS [Boolean]

readPrec :: ReadPrec Boolean

readListPrec :: ReadPrec [Boolean]

Show Boolean

Methods

showsPrec :: Int -> Boolean -> ShowS

show :: Boolean -> String

showList :: [Boolean] -> ShowS

data BoolRelat

Constructors

BoolEQ

BoolL

BoolLE

BoolNE

Instances

Eq BoolRelat

Methods

(==) :: BoolRelat -> BoolRelat -> Bool

(/=) :: BoolRelat -> BoolRelat -> Bool

Ord BoolRelat

Methods

compare :: BoolRelat -> BoolRelat -> Ordering

(<) :: BoolRelat -> BoolRelat -> Bool

(<=) :: BoolRelat -> BoolRelat -> Bool

(>) :: BoolRelat -> BoolRelat -> Bool

(>=) :: BoolRelat -> BoolRelat -> Bool

max :: BoolRelat -> BoolRelat -> BoolRelat

min :: BoolRelat -> BoolRelat -> BoolRelat

Read BoolRelat

Methods

readsPrec :: Int -> ReadS BoolRelat

readList :: ReadS [BoolRelat]

readPrec :: ReadPrec BoolRelat

readListPrec :: ReadPrec [BoolRelat]

Show BoolRelat

Methods

showsPrec :: Int -> BoolRelat -> ShowS

show :: BoolRelat -> String

showList :: [BoolRelat] -> ShowS

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

Methods

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

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

Num Point

Methods

(+) :: Point -> Point -> Point

(-) :: Point -> Point -> Point

(*) :: Point -> Point -> Point

negate :: Point -> Point

abs :: Point -> Point

signum :: Point -> Point

fromInteger :: Integer -> Point

Ord Point

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

Methods

readsPrec :: Int -> ReadS Point

readList :: ReadS [Point]

readPrec :: ReadPrec Point

readListPrec :: ReadPrec [Point]

Show Point

Methods

showsPrec :: Int -> Point -> ShowS

show :: Point -> String

showList :: [Point] -> ShowS

HasCond Point

Methods

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

HasMed Point

Methods

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

IsPath Point

Methods

toPath :: Point -> Path

toPathList :: [Point] -> Path

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

Methods

succ :: Numeric -> Numeric

pred :: Numeric -> Numeric

toEnum :: Int -> Numeric

fromEnum :: Numeric -> Int

enumFrom :: Numeric -> [Numeric]

enumFromThen :: Numeric -> Numeric -> [Numeric]

enumFromTo :: Numeric -> Numeric -> [Numeric]

enumFromThenTo :: Numeric -> Numeric -> Numeric -> [Numeric]

Eq Numeric

Methods

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

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

Floating Numeric

Methods

pi :: Numeric

exp :: Numeric -> Numeric

log :: Numeric -> Numeric

sqrt :: Numeric -> Numeric

(**) :: Numeric -> Numeric -> Numeric

logBase :: Numeric -> Numeric -> Numeric

sin :: Numeric -> Numeric

cos :: Numeric -> Numeric

tan :: Numeric -> Numeric

asin :: Numeric -> Numeric

acos :: Numeric -> Numeric

atan :: Numeric -> Numeric

sinh :: Numeric -> Numeric

cosh :: Numeric -> Numeric

tanh :: Numeric -> Numeric

asinh :: Numeric -> Numeric

acosh :: Numeric -> Numeric

atanh :: Numeric -> Numeric

log1p :: Numeric -> Numeric

expm1 :: Numeric -> Numeric

log1pexp :: Numeric -> Numeric

log1mexp :: Numeric -> Numeric

Fractional Numeric

Methods

(/) :: Numeric -> Numeric -> Numeric

recip :: Numeric -> Numeric

fromRational :: Rational -> Numeric

Num Numeric

Methods

(+) :: Numeric -> Numeric -> Numeric

(-) :: Numeric -> Numeric -> Numeric

(*) :: Numeric -> Numeric -> Numeric

negate :: Numeric -> Numeric

abs :: Numeric -> Numeric

signum :: Numeric -> Numeric

fromInteger :: Integer -> Numeric

Ord Numeric

Methods

compare :: Numeric -> Numeric -> Ordering

(<) :: Numeric -> Numeric -> Bool

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

(>) :: Numeric -> Numeric -> Bool

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

max :: Numeric -> Numeric -> Numeric

min :: Numeric -> Numeric -> Numeric

Read Numeric

Methods

readsPrec :: Int -> ReadS Numeric

readList :: ReadS [Numeric]

readPrec :: ReadPrec Numeric

readListPrec :: ReadPrec [Numeric]

Real Numeric

Methods

toRational :: Numeric -> Rational

Show Numeric

Methods

showsPrec :: Int -> Numeric -> ShowS

show :: Numeric -> String

showList :: [Numeric] -> ShowS

HasCond Numeric

Methods

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

HasMed Numeric

Methods

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

IsPicture Numeric

Methods

toPicture :: Numeric -> Picture

toPictureList :: [Numeric] -> Picture

data FunPPP

Constructors

PPPAdd

PPPSub

PPPDiv

Instances

Eq FunPPP

Methods

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

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

Ord FunPPP

Methods

compare :: FunPPP -> FunPPP -> Ordering

(<) :: FunPPP -> FunPPP -> Bool

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

(>) :: FunPPP -> FunPPP -> Bool

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

max :: FunPPP -> FunPPP -> FunPPP

min :: FunPPP -> FunPPP -> FunPPP

Read FunPPP

Methods

readsPrec :: Int -> ReadS FunPPP

readList :: ReadS [FunPPP]

readPrec :: ReadPrec FunPPP

readListPrec :: ReadPrec [FunPPP]

Show FunPPP

Methods

showsPrec :: Int -> FunPPP -> ShowS

show :: FunPPP -> String

showList :: [FunPPP] -> ShowS

data FunPN

Constructors

PNXPart

PNYPart

PNAngle

Instances

Eq FunPN

Methods

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

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

Ord FunPN

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

Methods

readsPrec :: Int -> ReadS FunPN

readList :: ReadS [FunPN]

readPrec :: ReadPrec FunPN

readListPrec :: ReadPrec [FunPN]

Show FunPN

Methods

showsPrec :: Int -> FunPN -> ShowS

show :: FunPN -> String

showList :: [FunPN] -> ShowS

data FunNN

Constructors

NNSinD

NNCosD

NNSqrt

NNExp

NNLog

NNRound

NNCeil

NNFloor

NNNeg

Instances

Eq FunNN

Methods

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

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

Ord FunNN

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

Methods

readsPrec :: Int -> ReadS FunNN

readList :: ReadS [FunNN]

readPrec :: ReadPrec FunNN

readListPrec :: ReadPrec [FunNN]

Show FunNN

Methods

showsPrec :: Int -> FunNN -> ShowS

show :: FunNN -> String

showList :: [FunNN] -> ShowS

data FunNNN

Constructors

NNNAdd

NNNSub

NNNMul

NNNDiv

NNNPyth

NNNPower

Instances

Eq FunNNN

Methods

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

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

Ord FunNNN

Methods

compare :: FunNNN -> FunNNN -> Ordering

(<) :: FunNNN -> FunNNN -> Bool

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

(>) :: FunNNN -> FunNNN -> Bool

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

max :: FunNNN -> FunNNN -> FunNNN

min :: FunNNN -> FunNNN -> FunNNN

Read FunNNN

Methods

readsPrec :: Int -> ReadS FunNNN

readList :: ReadS [FunNNN]

readPrec :: ReadPrec FunNNN

readListPrec :: ReadPrec [FunNNN]

Show FunNNN

Methods

showsPrec :: Int -> FunNNN -> ShowS

show :: FunNNN -> String

showList :: [FunNNN] -> ShowS

data FunNsN

Constructors

NsNMin

NsNMax

Instances

Eq FunNsN

Methods

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

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

Ord FunNsN

Methods

compare :: FunNsN -> FunNsN -> Ordering

(<) :: FunNsN -> FunNsN -> Bool

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

(>) :: FunNsN -> FunNsN -> Bool

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

max :: FunNsN -> FunNsN -> FunNsN

min :: FunNsN -> FunNsN -> FunNsN

Read FunNsN

Methods

readsPrec :: Int -> ReadS FunNsN

readList :: ReadS [FunNsN]

readPrec :: ReadPrec FunNsN

readListPrec :: ReadPrec [FunNsN]

Show FunNsN

Methods

showsPrec :: Int -> FunNsN -> ShowS

show :: FunNsN -> String

showList :: [FunNsN] -> ShowS

class HasRelax a where

Minimal complete definition

relax

Methods

relax :: a

Instances

HasRelax Frame

Methods

relax :: Frame

HasRelax Picture

Methods

relax :: Picture

HasRelax MetaPost

Methods

relax :: MetaPost

HasRelax Symbols

Methods

relax :: Symbols

HasRelax Canvas

Methods

relax :: Canvas

HasRelax Turtle

Methods

relax :: Turtle

class HasCond a where

Minimal complete definition

cond

Methods

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

Instances

HasCond Numeric

Methods

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

HasCond Point

Methods

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

HasCond Equation

Methods

cond :: Boolean -> Equation -> Equation -> 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 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

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

Constructors

NameInt Int

NameStr String

NameDir Dir

Hier Name Name

Global Name

Instances

Eq Name

Methods

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

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

Ord Name

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

Methods

readsPrec :: Int -> ReadS Name

readList :: ReadS [Name]

readPrec :: ReadPrec Name

readListPrec :: ReadPrec [Name]

Show Name

Methods

showsPrec :: Int -> Name -> ShowS

show :: Name -> String

showList :: [Name] -> ShowS

IsName Name

Methods

toName :: Name -> Name

toNameList :: [Name] -> Name

IsPath Name

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

Methods

toName :: Char -> Name

toNameList :: [Char] -> Name

IsName Int

Methods

toName :: Int -> Name

toNameList :: [Int] -> Name

IsName Name

Methods

toName :: Name -> Name

toNameList :: [Name] -> Name

IsName Dir

Methods

toName :: Dir -> Name

toNameList :: [Dir] -> Name

IsName NodeName

Methods

toName :: NodeName -> Name

toNameList :: [NodeName] -> Name

IsName a => IsName [a]

Methods

toName :: [a] -> Name

toNameList :: [[a]] -> Name