Data.Geometry.Svg.Writer

Description :

Write geometry to svg

Documentation

toSvgXML :: ToMarkup t => t -> ByteString

Converts an element into a valid svg document (including doctype etc.) The size of the resulting svg is set to 800x600. Moreover, we flip the axes so that the origin is in the bottom-left.

printSvgXML :: ToMarkup t => t -> IO ()

Convert an element to Svg using toSvgXML and prints the resulting svg (as xml) output to stdout.

svgO :: ToMarkup a => a -> Svg

Convert an element to Svg

toSvgXMLElem :: ToMarkup t => t -> ByteString

Convert an element to Svg, and render this svg as xml. Note that the xml contains *only* this element.

printSvgXMLElem :: ToMarkup t => t -> IO ()

Convert an element to Svg, and prints the xml output to stdout.

toPath :: Real r => NonEmpty (Point 2 r :+ p) -> Path

Dealing with attributes

applyAts :: Markup -> [(SvgF, AttributeValue)] -> Markup

svgWriteAttrs :: (AllConstrained IpeToSvgAttr rs, RMap rs, RecordToList rs, ReifyConstraint ToValue (Attr f) rs, RecAll (Attr f) rs ToValue) => Attributes f rs -> [(SvgF, AttributeValue)]

Functon to write all attributes in a Rec

writeAttrFunctions :: AllConstrained IpeToSvgAttr rs => Rec f rs -> Rec (Const (Maybe SvgF)) rs

Writing Attribute names

writeAttrValues :: (ReifyConstraint ToValue (Attr f) rs, RMap rs, RecAll (Attr f) rs ToValue) => Rec (Attr f) rs -> Rec (Const (Maybe AttributeValue)) rs

Writing the attribute values

toMaybeValue :: ToValue (Attr f at) => Attr f at -> Maybe AttributeValue

type SvgF = AttributeValue -> Attribute

class IpeToSvgAttr (a :: AttributeUniverse) where

For the types representing attribute values we can get the name/key to use when serializing to ipe.

Methods

attrSvg :: proxy a -> Maybe SvgF

Instances

IpeToSvgAttr Arrow

Defined in Data.Geometry.Svg.Writer

Methods

attrSvg :: proxy Arrow -> Maybe SvgF

IpeToSvgAttr Clip

Defined in Data.Geometry.Svg.Writer

Methods

attrSvg :: proxy Clip -> Maybe SvgF

IpeToSvgAttr Dash

Defined in Data.Geometry.Svg.Writer

Methods

attrSvg :: proxy Dash -> Maybe SvgF

IpeToSvgAttr Fill

Defined in Data.Geometry.Svg.Writer

Methods

attrSvg :: proxy Fill -> Maybe SvgF

IpeToSvgAttr FillRule

Defined in Data.Geometry.Svg.Writer

Methods

attrSvg :: proxy FillRule -> Maybe SvgF

IpeToSvgAttr Gradient

Defined in Data.Geometry.Svg.Writer

Methods

attrSvg :: proxy Gradient -> Maybe SvgF

IpeToSvgAttr Layer

Defined in Data.Geometry.Svg.Writer

Methods

attrSvg :: proxy Layer -> Maybe SvgF

IpeToSvgAttr LineCap

Defined in Data.Geometry.Svg.Writer

Methods

attrSvg :: proxy LineCap -> Maybe SvgF

IpeToSvgAttr LineJoin

Defined in Data.Geometry.Svg.Writer

Methods

attrSvg :: proxy LineJoin -> Maybe SvgF

IpeToSvgAttr Matrix

Defined in Data.Geometry.Svg.Writer

Methods

attrSvg :: proxy Matrix -> Maybe SvgF

IpeToSvgAttr Opacity

Defined in Data.Geometry.Svg.Writer

Methods

attrSvg :: proxy Opacity -> Maybe SvgF

IpeToSvgAttr Pen

Defined in Data.Geometry.Svg.Writer

Methods

attrSvg :: proxy Pen -> Maybe SvgF

IpeToSvgAttr Pin

Defined in Data.Geometry.Svg.Writer

Methods

attrSvg :: proxy Pin -> Maybe SvgF

IpeToSvgAttr RArrow

Defined in Data.Geometry.Svg.Writer

Methods

attrSvg :: proxy RArrow -> Maybe SvgF

IpeToSvgAttr Size

Defined in Data.Geometry.Svg.Writer

Methods

attrSvg :: proxy Size -> Maybe SvgF

IpeToSvgAttr Stroke

Defined in Data.Geometry.Svg.Writer

Methods

attrSvg :: proxy Stroke -> Maybe SvgF

IpeToSvgAttr Tiling

Defined in Data.Geometry.Svg.Writer

Methods

attrSvg :: proxy Tiling -> Maybe SvgF

IpeToSvgAttr Transformations

Defined in Data.Geometry.Svg.Writer

Methods

attrSvg :: proxy Transformations -> Maybe SvgF

Orphan instances

ToValue FillType

Methods

toValue :: FillType -> AttributeValue

preEscapedToValue :: FillType -> AttributeValue

ToValue PinType

Methods

toValue :: PinType -> AttributeValue

preEscapedToValue :: PinType -> AttributeValue

ToValue TransformationTypes

Methods

toValue :: TransformationTypes -> AttributeValue

preEscapedToValue :: TransformationTypes -> AttributeValue

ToValue LayerName

Methods

toValue :: LayerName -> AttributeValue

preEscapedToValue :: LayerName -> AttributeValue

Real r => ToMarkup (Group r)

Methods

toMarkup :: Group r -> Markup

preEscapedToMarkup :: Group r -> Markup

Real r => ToMarkup (Image r)

Methods

toMarkup :: Image r -> Markup

preEscapedToMarkup :: Image r -> Markup

Real r => ToMarkup (IpeObject r)

Methods

toMarkup :: IpeObject r -> Markup

preEscapedToMarkup :: IpeObject r -> Markup

Real r => ToMarkup (IpeSymbol r)

Methods

toMarkup :: IpeSymbol r -> Markup

preEscapedToMarkup :: IpeSymbol r -> Markup

Real r => ToMarkup (MiniPage r)

Methods

toMarkup :: MiniPage r -> Markup

preEscapedToMarkup :: MiniPage r -> Markup

Real r => ToMarkup (Path r)

Methods

toMarkup :: Path r -> Markup

preEscapedToMarkup :: Path r -> Markup

Real r => ToMarkup (TextLabel r)

Methods

toMarkup :: TextLabel r -> Markup

preEscapedToMarkup :: TextLabel r -> Markup

Integral a => ToValue (Ratio a)

Methods

toValue :: Ratio a -> AttributeValue

preEscapedToValue :: Ratio a -> AttributeValue

HasResolution p => ToValue (Fixed p)

Methods

toValue :: Fixed p -> AttributeValue

preEscapedToValue :: Fixed p -> AttributeValue

Real r => ToValue (IpeArrow r)

Methods

toValue :: IpeArrow r -> AttributeValue

preEscapedToValue :: IpeArrow r -> AttributeValue

Real r => ToValue (IpeDash r)

Methods

toValue :: IpeDash r -> AttributeValue

preEscapedToValue :: IpeDash r -> AttributeValue

Real r => ToValue (IpePen r)

Methods

toValue :: IpePen r -> AttributeValue

preEscapedToValue :: IpePen r -> AttributeValue

Real r => ToValue (IpeSize r)

Methods

toValue :: IpeSize r -> AttributeValue

preEscapedToValue :: IpeSize r -> AttributeValue

Real r => ToValue (IpeColor r)

Methods

toValue :: IpeColor r -> AttributeValue

preEscapedToValue :: IpeColor r -> AttributeValue

Real r => ToValue (Path r)

Methods

toValue :: Path r -> AttributeValue

preEscapedToValue :: Path r -> AttributeValue

Real r => ToValue (PathSegment r)

Methods

toValue :: PathSegment r -> AttributeValue

preEscapedToValue :: PathSegment r -> AttributeValue

(ToMarkup g, AllConstrained IpeToSvgAttr rs, ReifyConstraint ToValue (Attr f) rs, RMap rs, RecordToList rs, RecAll (Attr f) rs ToValue) => ToMarkup (g :+ Attributes f rs)

Methods

toMarkup :: (g :+ Attributes f rs) -> Markup

preEscapedToMarkup :: (g :+ Attributes f rs) -> Markup

ToValue (Apply f at) => ToValue (Attr f at)

Methods

toValue :: Attr f at -> AttributeValue

preEscapedToValue :: Attr f at -> AttributeValue

Real r => ToValue (Matrix 3 3 r)

Methods

toValue :: Matrix 3 3 r -> AttributeValue

preEscapedToValue :: Matrix 3 3 r -> AttributeValue