Data.Geometry.Ipe.Reader

Reading ipe Files

readRawIpeFile :: (Coordinate r, Eq r) => FilePath -> IO (Either ConversionError (IpeFile r))

Given a file path, tries to read an ipe file

readIpeFile :: (Coordinate r, Eq r) => FilePath -> IO (Either ConversionError (IpeFile r))

Given a file path, tries to read an ipe file. This function applies all matrices to objects.

readSinglePageFile :: (Coordinate r, Eq r) => FilePath -> IO (Either ConversionError (IpePage r))

Since most Ipe file contain only one page, we provide a shortcut for that as well. This function applies all matrices.

type ConversionError = Text

Reading XML directly

fromIpeXML :: IpeRead (t r) => ByteString -> Either ConversionError (t r)

Given a Bytestring, try to parse the bytestring into anything that is IpeReadable, i.e. any of the Ipe elements.

readXML :: ByteString -> Either ConversionError (Node Text Text)

Reads the data from a Bytestring into a proper Node

Read classes

class IpeReadText t where

Reading an ipe elemtn from a Text value

Methods

ipeReadText :: Text -> Either ConversionError t

Instances

IpeReadText Int

Defined in Data.Geometry.Ipe.Reader

Methods

ipeReadText :: Text -> Either ConversionError Int

IpeReadText Text

Defined in Data.Geometry.Ipe.Reader

Methods

ipeReadText :: Text -> Either ConversionError Text

IpeReadText FillType

Defined in Data.Geometry.Ipe.Reader

Methods

ipeReadText :: Text -> Either ConversionError FillType

IpeReadText TransformationTypes

Defined in Data.Geometry.Ipe.Reader

Methods

ipeReadText :: Text -> Either ConversionError TransformationTypes

IpeReadText PinType

Defined in Data.Geometry.Ipe.Reader

Methods

ipeReadText :: Text -> Either ConversionError PinType

IpeReadText LayerName

Defined in Data.Geometry.Ipe.Reader

Methods

ipeReadText :: Text -> Either ConversionError LayerName

Coordinate r => IpeReadText [Operation r]

Defined in Data.Geometry.Ipe.Reader

Methods

ipeReadText :: Text -> Either ConversionError [Operation r]

(Coordinate r, Eq r) => IpeReadText (NonEmpty (PathSegment r))

Defined in Data.Geometry.Ipe.Reader

Methods

ipeReadText :: Text -> Either ConversionError (NonEmpty (PathSegment r))

Coordinate r => IpeReadText (RGB r)

Defined in Data.Geometry.Ipe.Reader

Methods

ipeReadText :: Text -> Either ConversionError (RGB r)

Coordinate r => IpeReadText (IpeColor r)

Defined in Data.Geometry.Ipe.Reader

Methods

ipeReadText :: Text -> Either ConversionError (IpeColor r)

Coordinate r => IpeReadText (IpeArrow r)

Defined in Data.Geometry.Ipe.Reader

Methods

ipeReadText :: Text -> Either ConversionError (IpeArrow r)

Coordinate r => IpeReadText (IpeDash r)

Defined in Data.Geometry.Ipe.Reader

Methods

ipeReadText :: Text -> Either ConversionError (IpeDash r)

Coordinate r => IpeReadText (IpePen r)

Defined in Data.Geometry.Ipe.Reader

Methods

ipeReadText :: Text -> Either ConversionError (IpePen r)

Coordinate r => IpeReadText (IpeSize r)

Defined in Data.Geometry.Ipe.Reader

Methods

ipeReadText :: Text -> Either ConversionError (IpeSize r)

(Coordinate r, Eq r) => IpeReadText (Path r)

Defined in Data.Geometry.Ipe.Reader

Methods

ipeReadText :: Text -> Either ConversionError (Path r)

Coordinate r => IpeReadText (Rectangle () r)

Defined in Data.Geometry.Ipe.Reader

Methods

ipeReadText :: Text -> Either ConversionError (Rectangle () r)

Coordinate r => IpeReadText (Point 2 r)

Defined in Data.Geometry.Ipe.Reader

Methods

ipeReadText :: Text -> Either ConversionError (Point 2 r)

Coordinate r => IpeReadText (Matrix 3 3 r)

Defined in Data.Geometry.Ipe.Reader

Methods

ipeReadText :: Text -> Either ConversionError (Matrix 3 3 r)

class IpeRead t where

Reading an ipe lement from Xml

Methods

ipeRead :: Node Text Text -> Either ConversionError t

Instances

IpeRead LayerName

Defined in Data.Geometry.Ipe.Reader

Methods

ipeRead :: Node Text Text -> Either ConversionError LayerName

IpeRead View

Defined in Data.Geometry.Ipe.Reader

Methods

ipeRead :: Node Text Text -> Either ConversionError View

Coordinate r => IpeRead (Image r)

Defined in Data.Geometry.Ipe.Reader

Methods

ipeRead :: Node Text Text -> Either ConversionError (Image r)

Coordinate r => IpeRead (IpeSymbol r)

Ipe read instances

Defined in Data.Geometry.Ipe.Reader

Methods

ipeRead :: Node Text Text -> Either ConversionError (IpeSymbol r)

Coordinate r => IpeRead (MiniPage r)

Defined in Data.Geometry.Ipe.Reader

Methods

ipeRead :: Node Text Text -> Either ConversionError (MiniPage r)

Coordinate r => IpeRead (TextLabel r)

Defined in Data.Geometry.Ipe.Reader

Methods

ipeRead :: Node Text Text -> Either ConversionError (TextLabel r)

(Coordinate r, Eq r) => IpeRead (Path r)

Defined in Data.Geometry.Ipe.Reader

Methods

ipeRead :: Node Text Text -> Either ConversionError (Path r)

(Coordinate r, Eq r) => IpeRead (IpeObject r)

Defined in Data.Geometry.Ipe.Reader

Methods

ipeRead :: Node Text Text -> Either ConversionError (IpeObject r)

(Coordinate r, Eq r) => IpeRead (Group r)

Defined in Data.Geometry.Ipe.Reader

Methods

ipeRead :: Node Text Text -> Either ConversionError (Group r)

(Coordinate r, Eq r) => IpeRead (IpePage r)

Defined in Data.Geometry.Ipe.Reader

Methods

ipeRead :: Node Text Text -> Either ConversionError (IpePage r)

(Coordinate r, Eq r) => IpeRead (IpeFile r)

Defined in Data.Geometry.Ipe.Reader

Methods

ipeRead :: Node Text Text -> Either ConversionError (IpeFile r)

class IpeReadAttr t where

Basically IpeReadText for attributes. This class is not really meant to be implemented directly. Just define an IpeReadText instance for the type (Apply f at), then the generic instance below takes care of looking up the name of the attribute, and calling the right ipeReadText value. This class is just so that reifyConstraint in ipeReadRec can select the right typeclass when building the rec.

Methods

ipeReadAttr :: Text -> Node Text Text -> Either ConversionError t

Instances

IpeReadText (Apply f at) => IpeReadAttr (Attr f at)

Defined in Data.Geometry.Ipe.Reader

Methods

ipeReadAttr :: Text -> Node Text Text -> Either ConversionError (Attr f at)

Some low level implementation functions

ipeReadTextWith :: (Text -> Either t v) -> Text -> Either ConversionError (IpeValue v)

ipeReadObject :: (IpeRead (i r), f ~ AttrMapSym1 r, ats ~ AttributesOf i, RecApplicative ats, ReifyConstraint IpeReadAttr (Attr f) ats, RecAll (Attr f) ats IpeReadAttr, AllSatisfy IpeAttrName ats) => Proxy i -> proxy r -> Node Text Text -> Either ConversionError (i r :+ IpeAttributes i r)

If we can ipeRead an ipe element, and we can ipeReadAttrs its attributes we can properly read an ipe object using ipeReadObject

ipeReadAttrs :: forall proxy proxy' i r f ats. (f ~ AttrMapSym1 r, ats ~ AttributesOf i, ReifyConstraint IpeReadAttr (Attr f) ats, RecApplicative ats, RecAll (Attr f) ats IpeReadAttr, AllSatisfy IpeAttrName ats) => proxy i -> proxy' r -> Node Text Text -> Either ConversionError (IpeAttributes i r)

Reader for records. Given a proxy of some ipe type i, and a proxy of an coordinate type r, read the IpeAttributes for i from the xml node.

ipeReadRec :: forall f ats. (RecApplicative ats, ReifyConstraint IpeReadAttr (Attr f) ats, RecAll (Attr f) ats IpeReadAttr, AllSatisfy IpeAttrName ats) => Proxy f -> Proxy ats -> Node Text Text -> Either ConversionError (Rec (Attr f) ats)

Reading the Attributes into a Rec (Attr f), all based on the types of f (the type family mapping labels to types), and a list of labels (ats).

class Fractional r => Coordinate r where

Represent stuff that can be used as a coordinate in ipe. (similar to show/read)

Minimal complete definition

Nothing

Methods

fromSeq :: Integer -> Maybe (Int, Integer) -> r

fromSeq :: (Ord r, Fractional r) => Integer -> Maybe (Int, Integer) -> r

Instances

Coordinate Double

Defined in Data.Geometry.Ipe.PathParser

Methods

fromSeq :: Integer -> Maybe (Int, Integer) -> Double

Coordinate (Ratio Integer)

Defined in Data.Geometry.Ipe.PathParser

Methods

fromSeq :: Integer -> Maybe (Int, Integer) -> Ratio Integer