an IpeOut is just a function that can construct an appropriate IpeObject'

Give the option to draw zero, one or more things, i.e. by choosing f ~ Maybe or f ~ []

Add attributes to an IpeObject'

Render an ipe object

>>> :{
  iO $ defIO myPolygon ! attr SFill (IpeColor "blue")
                       ! attr SLayer "alpha"
                       ! attr SLayer "beta"
:}
IpePath (Path {_pathSegments = fromList [PolygonPath AsIs (SimplePolygon [Point2 0 0,Point2 10 10,Point2 100 200])]} :+ Attrs {Attr LayerName {_layerName = "beta"}, NoAttr, NoAttr, NoAttr, NoAttr, Attr IpeColor (Named "blue"), NoAttr, NoAttr, NoAttr, NoAttr, NoAttr, NoAttr, NoAttr, NoAttr, NoAttr, NoAttr, NoAttr})

>>> :{
  iO $ ipeGroup [ iO $ ipePolygon myPolygon ! attr SFill (IpeColor "red")
                ] ! attr SLayer "alpha"
:}
IpeGroup (Group [IpePath (Path {_pathSegments = fromList [PolygonPath AsIs (SimplePolygon [Point2 0 0,Point2 10 10,Point2 100 200])]} :+ Attrs {NoAttr, NoAttr, NoAttr, NoAttr, NoAttr, Attr IpeColor (Named "red"), NoAttr, NoAttr, NoAttr, NoAttr, NoAttr, NoAttr, NoAttr, NoAttr, NoAttr, NoAttr, NoAttr})] :+ Attrs {Attr LayerName {_layerName = "alpha"}, NoAttr, NoAttr, NoAttr, NoAttr})

Render to an ipe object using the defIO IpeOut

>>> :{
  iO'' myPolygon $  attr SFill (IpeColor "red")
                 <> attr SLayer "alpha"
                 <> attr SLayer "beta"
:}
IpePath (Path {_pathSegments = fromList [PolygonPath AsIs (SimplePolygon [Point2 0 0,Point2 10 10,Point2 100 200])]} :+ Attrs {Attr LayerName {_layerName = "beta"}, NoAttr, NoAttr, NoAttr, NoAttr, Attr IpeColor (Named "red"), NoAttr, NoAttr, NoAttr, NoAttr, NoAttr, NoAttr, NoAttr, NoAttr, NoAttr, NoAttr, NoAttr})

>>> iO'' [ myPolygon , myPolygon ] $ attr SLayer "alpha"
IpeGroup (Group [IpePath (Path {_pathSegments = fromList [PolygonPath AsIs (SimplePolygon [Point2 0 0,Point2 10 10,Point2 100 200])]} :+ Attrs {NoAttr, NoAttr, NoAttr, NoAttr, NoAttr, NoAttr, NoAttr, NoAttr, NoAttr, NoAttr, NoAttr, NoAttr, NoAttr, NoAttr, NoAttr, NoAttr, NoAttr}),IpePath (Path {_pathSegments = fromList [PolygonPath AsIs (SimplePolygon [Point2 0 0,Point2 10 10,Point2 100 200])]} :+ Attrs {NoAttr, NoAttr, NoAttr, NoAttr, NoAttr, NoAttr, NoAttr, NoAttr, NoAttr, NoAttr, NoAttr, NoAttr, NoAttr, NoAttr, NoAttr, NoAttr, NoAttr})] :+ Attrs {Attr LayerName {_layerName = "alpha"}, NoAttr, NoAttr, NoAttr, NoAttr})

generate an ipe object without any specific attributes

Class that specifies a default conversion from a geometry type g into an ipe object.

Size of the default bounding box used to clip lines and half-lines in the default IpeOuts.

Renders a line as a Path. The line is clipped to the defaultBox

Renders the line in the given box.

pre: the intersection of the box with the line is non-empty

Renders an Halfine.

pre: the intersection of the box with the line is non-empty

Renders a ray, i.e. a half line drawing an arrow in the direction of the ray.

pre: the intersection of the box with the line is non-empty

Renders the HalfLine in the given box.

pre: the intersection of the box with the halfline is a line segment

Renders an line segment to a Path

Renders a polyline to a Path

Renders an Ellipse to a Path

Renders a circle to a Path

Renders a Disk to a Path

Renders a Bezier curve to a Path

Helper to construct a path from a singleton item

Construct a PolyLine path segment

Render as a polygon

Helper type to build a path segment

Draw a polygon

Draw a polygon

A slightly more general version of review that allows the s and t to differ. (and in some sense it is less general, since I don't care about monad constraints here)

Draw a Rectangle

Renders a polyline to a Path

Default rendering of halfplanes

Draw a halfplane in the given rectangle.

We draw both the border (in black) and the interior (20% transparant gray) of the halfpace

Type representing a single line of latex

Creates an text label

Annotate an IpeOut with a label

Annotate an IpeOut with a label

Convert a text into a valid piece of inline latex