Data.Geometry.Ipe.IpeTypes

Documentation

data IpeDrawing a

Representing ipe drawings

Constructors

IpeDrawing

Fields

pages :: [Page a]

Instances

Eq a => Eq (IpeDrawing a)

Show a => Show (IpeDrawing a)

Monoid (IpeDrawing a)

HasContent (IpeDrawing a)

data Page a

Constructors

Page

Fields

layers :: [Layer a]

views :: [ViewDefinition]

Instances

Eq a => Eq (Page a)

Show a => Show (Page a)

Monoid (Page a)

When mappending two pages, they are are merged, i.e. if both contain a layer named A, say layers l and r, then the output page contains only one layer named A, containing all items from both l and r

HasContent (Page a)

data Layer a

Constructors

Layer

Fields

layerDef :: LayerDefinition

layerContent :: IGC a

Instances

Eq a => Eq (Layer a)

Show a => Show (Layer a)

Monoid (Layer a)

HasContent (Layer a)

emptyDrawing :: IpeDrawing a

A new blank ipe drawing

emptyPage :: Page a

A new empty page

emptyLayer :: Layer a

class HasContent t where

Getting the content of pages/layers etc

Associated Types

type PM t

Methods

content :: t -> IGC (PM t)

Instances

HasContent (Layer a)

HasContent (Page a)

HasContent (IpeDrawing a)

extend :: IpeDrawing a -> IpeDrawing a -> IpeDrawing a

Merges the two drawings. i.e. page by page we merge the pages in the sense that objects on layers with the same names are *BOTH* included

Working with views

view :: [LayerDefinition] -> ViewDefinition

Working with views

Running computations on ipe files

runOnFile :: Arrow arr => arr (IpeDrawing a) (IpeDrawing b) -> arr (IpeFile a) (IpeFile b)

runOnPath :: Coordinate a => Kleisli IO (IpeDrawing a) (IpeDrawing b) -> Kleisli IO FilePath (IpeFile b)

Manipulating Ipe documents

Querying

findLayer :: Int -> LayerDefinition -> IpeDrawing a -> Maybe (Layer a)

Querying a drawing for layersviewspages etc

findLayer' :: LayerDefinition -> Page a -> Maybe (Layer a)

Other types

data IpeFile a

A complete ipe file

Instances

Eq a => Eq (IpeFile a)

Show a => Show (IpeFile a)

Coordinate a => XmlPickler (IpeFile a)

IsConvertableToIGC (IpeFile a)

type LayerDefinition = String

data ViewDefinition

The definition of a view make active layer into an index ?

Constructors

ViewDefinition

Fields

layerNames :: [String]

activeLayer :: String

Instances

Eq ViewDefinition

Show ViewDefinition

XmlPickler ViewDefinition

type AMap = Map String String

Attribute Map

class HasAttributes c where

Stuff with attributes

Methods

attrs :: c -> AMap

updateWith :: (AMap -> AMap) -> c -> c

getAttr :: String -> c -> Maybe String

setAttr :: String -> String -> c -> c

setAttrs :: [(String, String)] -> c -> c

hasAttrWithValue :: String -> String -> c -> Bool

hasAttr :: String -> c -> Bool

extractAttr :: String -> c -> c

Instances

HasAttributes (IpeObject a)

HasAttributes (IpeMultiPolygon' a)

HasAttributes (IpeSimplePolygon' a)

HasAttributes (IpePolyline' a)

HasAttributes (IpePoint' a)