Data.Geometry.Ipe.IpeOut

Documentation

newtype IpeOut g i

An IpeOut is essentially a funciton to convert a geometry object of type g into an ipe object of type i.

Constructors

IpeOut

Fields

• asIpe :: g -> i

Instances

Functor (IpeOut g)

Methods

fmap :: (a -> b) -> IpeOut g a -> IpeOut g b

(<$) :: a -> IpeOut g b -> IpeOut g a

asIpeObject :: (HasDefaultIpeOut g, DefaultIpeOut g ~ i, NumType g ~ r) => g -> IpeAttributes i r -> IpeObject r

Given an geometry object, and a record with its attributes, construct an ipe Object representing it using the default conversion.

asIpeObject' :: (HasDefaultIpeOut g, DefaultIpeOut g ~ i, NumType g ~ r) => IpeAttributes i r -> g -> IpeObject r

asIpeObject with its arguments flipped. Convenient if you don't want to map asIpeObject over a list or so.

asIpeObjectWith :: (ToObject i, NumType g ~ r) => IpeOut g (IpeObject' i r) -> g -> IpeAttributes i r -> IpeObject r

asIpeGroup :: [IpeObject r] -> IpeObject r

Create an ipe group without group attributes

asIpeGroup' :: [IpeObject r] -> IpeAttributes Group r -> IpeObject r

Creates a group out of ipe

ipeObject :: (ToObject i, NumType g ~ r) => IpeOut g (IpeObject' i r) -> IpeAttributes i r -> IpeOut g (IpeObject r)

Helper to construct an IpeOut g IpeObject , if we already know how to construct a specific Ipe type.

coreOut :: IpeOut g i -> IpeOut (g :+ a) i

Construct an ipe object from the core of an Ext

Default Conversions

class ToObject (DefaultIpeOut g) => HasDefaultIpeOut g where

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

Minimal complete definition

defaultIpeOut

Associated Types

type DefaultIpeOut g :: * -> *

Methods

defaultIpeOut :: IpeOut g (IpeObject' (DefaultIpeOut g) (NumType g))

Instances

HasDefaultIpeOut (Point 2 r)

Associated Types

type DefaultIpeOut (Point 2 r) :: * -> *

Methods

defaultIpeOut :: IpeOut (Point 2 r) (IpeObject' (DefaultIpeOut (Point 2 r)) (NumType (Point 2 r)))

Floating r => HasDefaultIpeOut (Disk p r)

Associated Types

type DefaultIpeOut (Disk p r) :: * -> *

Methods

defaultIpeOut :: IpeOut (Disk p r) (IpeObject' (DefaultIpeOut (Disk p r)) (NumType (Disk p r)))

HasDefaultIpeOut (SimplePolygon p r)

Associated Types

type DefaultIpeOut (SimplePolygon p r) :: * -> *

Methods

defaultIpeOut :: IpeOut (SimplePolygon p r) (IpeObject' (DefaultIpeOut (SimplePolygon p r)) (NumType (SimplePolygon p r)))

HasDefaultIpeOut (ConvexPolygon p r)

Associated Types

type DefaultIpeOut (ConvexPolygon p r) :: * -> *

Methods

defaultIpeOut :: IpeOut (ConvexPolygon p r) (IpeObject' (DefaultIpeOut (ConvexPolygon p r)) (NumType (ConvexPolygon p r)))

HasDefaultIpeOut (LineSegment 2 p r)

Associated Types

type DefaultIpeOut (LineSegment 2 p r) :: * -> *

Methods

defaultIpeOut :: IpeOut (LineSegment 2 p r) (IpeObject' (DefaultIpeOut (LineSegment 2 p r)) (NumType (LineSegment 2 p r)))

HasDefaultIpeOut (PolyLine 2 p r)

Associated Types

type DefaultIpeOut (PolyLine 2 p r) :: * -> *

Methods

defaultIpeOut :: IpeOut (PolyLine 2 p r) (IpeObject' (DefaultIpeOut (PolyLine 2 p r)) (NumType (PolyLine 2 p r)))

Point Converters

ipeMark :: Text -> IpeOut (Point 2 r) (IpeObject' IpeSymbol r)

ipeDiskMark :: IpeOut (Point 2 r) (IpeObject' IpeSymbol r)

noAttrs :: Monoid extra => IpeOut g core -> IpeOut g (core :+ extra)

addAttributes :: extra -> IpeOut g core -> IpeOut g (core :+ extra)

defaultClipRectangle :: (Num r, Ord r) => Rectangle () r

Default size of the cliping rectangle used to clip lines. This is Rectangle is large enough to cover the normal page size in ipe.

ipeLineSegment :: IpeOut (LineSegment 2 p r) (IpeObject' Path r)

ipeLineSegment' :: IpeOut (LineSegment 2 p r) (PathSegment r)

ipePolyLine :: IpeOut (PolyLine 2 p r) (Path r)

ipePolyLine' :: IpeOut (PolyLine 2 a r) (PathSegment r)

ipeDisk :: Floating r => IpeOut (Disk p r) (IpeObject' Path r)

ipeCircle :: Floating r => IpeOut (Circle p r) (Path r)

ipeCircle' :: Floating r => IpeOut (Circle p r) (PathSegment r)

fromPathSegment :: IpeOut g (PathSegment r) -> IpeOut g (Path r)

Helper to construct a IpeOut g Path, for when we already have an IpeOut g PathSegment

ipeSimplePolygon :: IpeOut (SimplePolygon p r) (Path r)