Data.Geometry.Ipe.Writer

Documentation

writeIpeFile :: IpeWriteText r => FilePath -> IpeFile r -> IO ()

Given a prism to convert something of type g into an ipe file, a file path, and a g. Convert the geometry and write it to file.

Write an IpeFiele to file.

writeIpePage :: IpeWriteText r => FilePath -> IpePage r -> IO ()

Creates a single page ipe file with the given page

printAsIpeSelection :: IpeWrite t => t -> IO ()

Convert the input to ipeXml, and prints it to standard out in such a way that the copied text can be pasted into ipe as a geometry object.

toIpeSelectionXML :: IpeWrite t => t -> Maybe ByteString

Convert input into an ipe selection.

toIpeXML :: IpeWrite t => t -> Maybe ByteString

Convert to Ipe xml

writeIpeFile' :: IpeWrite t => t -> FilePath -> IO ()

Convert to ipe XML and write the output to a file.

class IpeWriteText t where

For types that can produce a text value

Methods

ipeWriteText :: t -> Maybe Text

Instances

IpeWriteText Double

IpeWriteText Int

IpeWriteText ()

IpeWriteText Text

IpeWriteText FillType

IpeWriteText IpeColor

IpeWriteText TransformationTypes

IpeWriteText PinType

IpeWriteText LayerName

Integral a => IpeWriteText (Ratio a)

This instance converts the ratio to a Pico, and then displays that.

HasResolution p => IpeWriteText (Fixed p)

IpeWriteText r => IpeWriteText (IpeArrow r)

IpeWriteText r => IpeWriteText (IpeDash r)

IpeWriteText r => IpeWriteText (IpePen r)

IpeWriteText r => IpeWriteText (IpeSize r)

IpeWriteText v => IpeWriteText (IpeValue v)

IpeWriteText r => IpeWriteText (PathSegment r)

IpeWriteText r => IpeWriteText (Path r)

IpeWriteText r => IpeWriteText (Operation r)

IpeWriteText r => IpeWriteText (Point 2 r)

IpeWriteText r => IpeWriteText (SimplePolygon () r)

IpeWriteText r => IpeWriteText (Matrix 3 3 r)

IpeWriteText (Apply * k f at) => IpeWriteText (Attr k f at)

IpeWriteText r => IpeWriteText (PolyLine 2 () r)

class IpeWrite t where

Types that correspond to an XML Element. All instances should produce an Element. If the type should produce a Node with the Text constructor, use the IpeWriteText typeclass instead.

Methods

ipeWrite :: t -> Maybe (Node Text Text)

Instances

IpeWrite ()

IpeWrite LayerName

IpeWrite View

IpeWrite IpeStyle

IpeWrite IpePreamble

IpeWriteText r => IpeWrite (Image r)

IpeWriteText r => IpeWrite (IpeSymbol r)

IpeWriteText r => IpeWrite (MiniPage r)

IpeWriteText r => IpeWrite (TextLabel r)

IpeWriteText r => IpeWrite (Path r)

IpeWriteText r => IpeWrite (IpeObject r)

IpeWriteText r => IpeWrite (Group r)

IpeWriteText r => IpeWrite (IpePage r)

IpeWriteText r => IpeWrite (IpeFile r)

(AllSatisfy AttributeUniverse IpeAttrName rs, RecAll AttributeUniverse (Attr AttributeUniverse f) rs IpeWriteText, IpeWrite g) => IpeWrite ((:+) g (Attributes AttributeUniverse f rs))

IpeWriteText r => IpeWrite (LineSegment 2 p r)

(IpeWriteText r, IpeWrite p) => IpeWrite (PolyLine 2 p r)

ipeWriteAttrs :: (AllSatisfy IpeAttrName rs, RecAll (Attr f) rs IpeWriteText) => Attributes f rs -> [(Text, Text)]

Functon to write all attributes in a Rec

writeAttrValues :: RecAll f rs IpeWriteText => Rec f rs -> Rec (Const (Maybe Text)) rs

Writing the attribute values

addAtts :: Node Text Text -> [(Text, Text)] -> Node Text Text

Add attributes to a node

mAddAtts :: Maybe (Node Text Text) -> [(Text, Text)] -> Maybe (Node Text Text)

Same as addAtts but then for a Maybe node

writeByShow :: Show t => t -> Maybe Text

unwords' :: [Maybe Text] -> Maybe Text

unlines' :: [Maybe Text] -> Maybe Text

ipeWriteRec :: RecAll f rs IpeWrite => Rec f rs -> [Node Text Text]

fromPolyLine :: PolyLine 2 () r -> Path r

combine :: [Node Text Text] -> Maybe (Node Text Text)