Data.Geometry.Ipe.Attributes

Possible Attributes we can assign to items in an Ipe file

Documentation

data AttributeUniverse

Constructors

Layer

Matrix

Pin

Transformations

Stroke

Fill

Pen

Size

Dash

LineCap

LineJoin

FillRule

Arrow

RArrow

Opacity

Tiling

Gradient

Clip

Instances

Eq AttributeUniverse

Defined in Data.Geometry.Ipe.Attributes

Methods

(==) :: AttributeUniverse -> AttributeUniverse -> Bool

(/=) :: AttributeUniverse -> AttributeUniverse -> Bool

Read AttributeUniverse

Defined in Data.Geometry.Ipe.Attributes

Methods

readsPrec :: Int -> ReadS AttributeUniverse

readList :: ReadS [AttributeUniverse]

readPrec :: ReadPrec AttributeUniverse

readListPrec :: ReadPrec [AttributeUniverse]

Show AttributeUniverse

Defined in Data.Geometry.Ipe.Attributes

Methods

showsPrec :: Int -> AttributeUniverse -> ShowS

show :: AttributeUniverse -> String

showList :: [AttributeUniverse] -> ShowS

SingKind AttributeUniverse

Defined in Data.Geometry.Ipe.Attributes

Associated Types

type Demote AttributeUniverse = (r :: Type)

Methods

fromSing :: forall (a :: AttributeUniverse). Sing a -> Demote AttributeUniverse

toSing :: Demote AttributeUniverse -> SomeSing AttributeUniverse

SingI 'Layer

Defined in Data.Geometry.Ipe.Attributes

Methods

sing :: Sing 'Layer

SingI 'Matrix

Defined in Data.Geometry.Ipe.Attributes

Methods

sing :: Sing 'Matrix

SingI 'Pin

Defined in Data.Geometry.Ipe.Attributes

Methods

sing :: Sing 'Pin

SingI 'Transformations

Defined in Data.Geometry.Ipe.Attributes

Methods

sing :: Sing 'Transformations

SingI 'Stroke

Defined in Data.Geometry.Ipe.Attributes

Methods

sing :: Sing 'Stroke

SingI 'Fill

Defined in Data.Geometry.Ipe.Attributes

Methods

sing :: Sing 'Fill

SingI 'Pen

Defined in Data.Geometry.Ipe.Attributes

Methods

sing :: Sing 'Pen

SingI 'Size

Defined in Data.Geometry.Ipe.Attributes

Methods

sing :: Sing 'Size

SingI 'Dash

Defined in Data.Geometry.Ipe.Attributes

Methods

sing :: Sing 'Dash

SingI 'LineCap

Defined in Data.Geometry.Ipe.Attributes

Methods

sing :: Sing 'LineCap

SingI 'LineJoin

Defined in Data.Geometry.Ipe.Attributes

Methods

sing :: Sing 'LineJoin

SingI 'FillRule

Defined in Data.Geometry.Ipe.Attributes

Methods

sing :: Sing 'FillRule

SingI 'Arrow

Defined in Data.Geometry.Ipe.Attributes

Methods

sing :: Sing 'Arrow

SingI 'RArrow

Defined in Data.Geometry.Ipe.Attributes

Methods

sing :: Sing 'RArrow

SingI 'Opacity

Defined in Data.Geometry.Ipe.Attributes

Methods

sing :: Sing 'Opacity

SingI 'Tiling

Defined in Data.Geometry.Ipe.Attributes

Methods

sing :: Sing 'Tiling

SingI 'Gradient

Defined in Data.Geometry.Ipe.Attributes

Methods

sing :: Sing 'Gradient

SingI 'Clip

Defined in Data.Geometry.Ipe.Attributes

Methods

sing :: Sing 'Clip

(AllConstrained IpeAttrName rs, RecordToList rs, RMap rs, ReifyConstraint IpeWriteText (Attr f) rs, RecAll (Attr f) rs IpeWriteText, IpeWrite g) => IpeWrite (g :+ Attributes f rs)

Defined in Data.Geometry.Ipe.Writer

Methods

ipeWrite :: (g :+ Attributes f rs) -> Maybe (Node Text Text)

SuppressUnusedWarnings (AttrMapSym1 a6989586621679194633 :: TyFun AttributeUniverse Type -> Type)

Defined in Data.Geometry.Ipe.Content

Methods

suppressUnusedWarnings :: ()

type Sing

Defined in Data.Geometry.Ipe.Attributes

type Sing = SAttributeUniverse

type Demote AttributeUniverse

Defined in Data.Geometry.Ipe.Attributes

type Demote AttributeUniverse = AttributeUniverse

type Apply (AttrMapSym1 a6989586621679194633 :: TyFun AttributeUniverse Type -> Type) (a6989586621679194634 :: AttributeUniverse)

Defined in Data.Geometry.Ipe.Content

type Apply (AttrMapSym1 a6989586621679194633 :: TyFun AttributeUniverse Type -> Type) (a6989586621679194634 :: AttributeUniverse)

type LayerSym0 = 'Layer :: AttributeUniverse

type MatrixSym0 = 'Matrix :: AttributeUniverse

type PinSym0 = 'Pin :: AttributeUniverse

type TransformationsSym0 = 'Transformations :: AttributeUniverse

type StrokeSym0 = 'Stroke :: AttributeUniverse

type FillSym0 = 'Fill :: AttributeUniverse

type PenSym0 = 'Pen :: AttributeUniverse

type SizeSym0 = 'Size :: AttributeUniverse

type DashSym0 = 'Dash :: AttributeUniverse

type LineCapSym0 = 'LineCap :: AttributeUniverse

type LineJoinSym0 = 'LineJoin :: AttributeUniverse

type FillRuleSym0 = 'FillRule :: AttributeUniverse

type ArrowSym0 = 'Arrow :: AttributeUniverse

type RArrowSym0 = 'RArrow :: AttributeUniverse

type OpacitySym0 = 'Opacity :: AttributeUniverse

type TilingSym0 = 'Tiling :: AttributeUniverse

type GradientSym0 = 'Gradient :: AttributeUniverse

type ClipSym0 = 'Clip :: AttributeUniverse

data SAttributeUniverse z where

Constructors

SLayer :: SAttributeUniverse ('Layer :: AttributeUniverse)

SMatrix :: SAttributeUniverse ('Matrix :: AttributeUniverse)

SPin :: SAttributeUniverse ('Pin :: AttributeUniverse)

STransformations :: SAttributeUniverse ('Transformations :: AttributeUniverse)

SStroke :: SAttributeUniverse ('Stroke :: AttributeUniverse)

SFill :: SAttributeUniverse ('Fill :: AttributeUniverse)

SPen :: SAttributeUniverse ('Pen :: AttributeUniverse)

SSize :: SAttributeUniverse ('Size :: AttributeUniverse)

SDash :: SAttributeUniverse ('Dash :: AttributeUniverse)

SLineCap :: SAttributeUniverse ('LineCap :: AttributeUniverse)

SLineJoin :: SAttributeUniverse ('LineJoin :: AttributeUniverse)

SFillRule :: SAttributeUniverse ('FillRule :: AttributeUniverse)

SArrow :: SAttributeUniverse ('Arrow :: AttributeUniverse)

SRArrow :: SAttributeUniverse ('RArrow :: AttributeUniverse)

SOpacity :: SAttributeUniverse ('Opacity :: AttributeUniverse)

STiling :: SAttributeUniverse ('Tiling :: AttributeUniverse)

SGradient :: SAttributeUniverse ('Gradient :: AttributeUniverse)

SClip :: SAttributeUniverse ('Clip :: AttributeUniverse)

type CommonAttributes = [Layer, Matrix, Pin, Transformations]

type TextLabelAttributes = CommonAttributes

type MiniPageAttributes = CommonAttributes

type ImageAttributes = CommonAttributes

type SymbolAttributes = CommonAttributes ++ [Stroke, Fill, Pen, Size]

type PathAttributes = CommonAttributes ++ [Stroke, Fill, Dash, Pen, LineCap, LineJoin, FillRule, Arrow, RArrow, Opacity, Tiling, Gradient]

type GroupAttributes = CommonAttributes ++ '['Clip]

Attr

newtype Attr (f :: TyFun u * -> *) (label :: u)

Attr implements the mapping from labels to types as specified by the (symbol representing) the type family f

Constructors

GAttr

Fields

• _getAttr :: Maybe (Apply f label)

Instances

Eq (Apply f label) => Eq (Attr f label)

Defined in Data.Geometry.Ipe.Attributes

Methods

(==) :: Attr f label -> Attr f label -> Bool

(/=) :: Attr f label -> Attr f label -> Bool

Ord (Apply f label) => Ord (Attr f label)

Defined in Data.Geometry.Ipe.Attributes

Methods

compare :: Attr f label -> Attr f label -> Ordering

(<) :: Attr f label -> Attr f label -> Bool

(<=) :: Attr f label -> Attr f label -> Bool

(>) :: Attr f label -> Attr f label -> Bool

(>=) :: Attr f label -> Attr f label -> Bool

max :: Attr f label -> Attr f label -> Attr f label

min :: Attr f label -> Attr f label -> Attr f label

Read (Apply f label) => Read (Attr f label)

Defined in Data.Geometry.Ipe.Attributes

Methods

readsPrec :: Int -> ReadS (Attr f label)

readList :: ReadS [Attr f label]

readPrec :: ReadPrec (Attr f label)

readListPrec :: ReadPrec [Attr f label]

Show (Apply f label) => Show (Attr f label)

Defined in Data.Geometry.Ipe.Attributes

Methods

showsPrec :: Int -> Attr f label -> ShowS

show :: Attr f label -> String

showList :: [Attr f label] -> ShowS

Semigroup (Attr f l)

Give pref. to the *RIGHT*

Defined in Data.Geometry.Ipe.Attributes

Methods

(<>) :: Attr f l -> Attr f l -> Attr f l

sconcat :: NonEmpty (Attr f l) -> Attr f l

stimes :: Integral b => b -> Attr f l -> Attr f l

Monoid (Attr f l)

Defined in Data.Geometry.Ipe.Attributes

Methods

mempty :: Attr f l

mappend :: Attr f l -> Attr f l -> Attr f l

mconcat :: [Attr f l] -> Attr f l

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)

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

Defined in Data.Geometry.Ipe.Writer

Methods

ipeWriteText :: Attr f at -> Maybe Text

getAttr :: forall u (f :: TyFun u Type -> Type) (label :: u) u (f :: TyFun u Type -> Type) (label :: u). Iso (Attr (f :: TyFun u Type -> Type) (label :: u)) (Attr (f :: TyFun u Type -> Type) (label :: u)) (Maybe (Apply f label)) (Maybe (Apply f label))

pattern Attr :: Apply f label -> Attr f label

Constructor for constructing an Attr given an actual value.

pattern NoAttr :: Attr f label

An Attribute that is not set

traverseAttr :: Applicative h => (Apply f label -> h (Apply g label)) -> Attr f label -> h (Attr g label)

pureAttr :: (Applicative h, Apply f a ~ Apply g a) => Attr f a -> h (Attr g a)

Traverse for the situation where the type is not actually parameterized.

Attributes

newtype Attributes (f :: TyFun u * -> *) (ats :: [u])

A collection of Attributes.

Constructors

Attrs (Rec (Attr f) ats)

Instances

(AllConstrained IpeAttrName rs, RecordToList rs, RMap rs, ReifyConstraint IpeWriteText (Attr f) rs, RecAll (Attr f) rs IpeWriteText, IpeWrite g) => IpeWrite (g :+ Attributes f rs)

Defined in Data.Geometry.Ipe.Writer

Methods

ipeWrite :: (g :+ Attributes f rs) -> Maybe (Node Text Text)

(ReifyConstraint Eq (Attr f) ats, RecordToList ats, RecAll (Attr f) ats Eq) => Eq (Attributes f ats)

Defined in Data.Geometry.Ipe.Attributes

Methods

(==) :: Attributes f ats -> Attributes f ats -> Bool

(/=) :: Attributes f ats -> Attributes f ats -> Bool

(RMap ats, ReifyConstraint Show (Attr f) ats, RecordToList ats, RecAll (Attr f) ats Show) => Show (Attributes f ats)

Defined in Data.Geometry.Ipe.Attributes

Methods

showsPrec :: Int -> Attributes f ats -> ShowS

show :: Attributes f ats -> String

showList :: [Attributes f ats] -> ShowS

Semigroup (Attributes f ats)

Defined in Data.Geometry.Ipe.Attributes

Methods

(<>) :: Attributes f ats -> Attributes f ats -> Attributes f ats

sconcat :: NonEmpty (Attributes f ats) -> Attributes f ats

stimes :: Integral b => b -> Attributes f ats -> Attributes f ats

RecApplicative ats => Monoid (Attributes f ats)

Defined in Data.Geometry.Ipe.Attributes

Methods

mempty :: Attributes f ats

mappend :: Attributes f ats -> Attributes f ats -> Attributes f ats

mconcat :: [Attributes f ats] -> Attributes f ats

unAttrs :: Lens (Attributes f ats) (Attributes f' ats') (Rec (Attr f) ats) (Rec (Attr f') ats')

traverseAttrs :: Applicative h => (forall label. Attr f label -> h (Attr g label)) -> Attributes f ats -> h (Attributes g ats)

zipRecsWith :: (forall a. f a -> g a -> h a) -> Rec f as -> Rec g as -> Rec h as

ixAttr :: forall at ats proxy f. at ∈ ats => proxy at -> Lens' (Attributes f ats) (Maybe (Apply f at))

Lens into a specific attribute, if it is set.

_Attr :: forall at ats proxy f. (at ∈ ats, RecApplicative ats) => proxy at -> Prism' (Attributes f ats) (Apply f at)

Prism into a particular attribute.

lookupAttr :: at ∈ ats => proxy at -> Attributes f ats -> Maybe (Apply f at)

Looks up a particular attribute.

setAttr :: forall proxy at ats f. at ∈ ats => proxy at -> Apply f at -> Attributes f ats -> Attributes f ats

Sets a particular attribute

takeAttr :: forall proxy at ats f. at ∈ ats => proxy at -> Attributes f ats -> (Maybe (Apply f at), Attributes f ats)

gets and removes the attribute from Attributes

unSetAttr :: forall proxy at ats f. at ∈ ats => proxy at -> Attributes f ats -> Attributes f ats

unsets/Removes an attribute

attr :: (at ∈ ats, RecApplicative ats) => proxy at -> Apply f at -> Attributes f ats

Creates a singleton attribute

data PinType

Common Attributes

Possible values for Pin

Constructors

No

Yes

Horizontal

Vertical

Instances

Eq PinType

Defined in Data.Geometry.Ipe.Attributes

Methods

(==) :: PinType -> PinType -> Bool

(/=) :: PinType -> PinType -> Bool

Read PinType

Defined in Data.Geometry.Ipe.Attributes

Methods

readsPrec :: Int -> ReadS PinType

readList :: ReadS [PinType]

readPrec :: ReadPrec PinType

readListPrec :: ReadPrec [PinType]

Show PinType

Defined in Data.Geometry.Ipe.Attributes

Methods

showsPrec :: Int -> PinType -> ShowS

show :: PinType -> String

showList :: [PinType] -> ShowS

IpeReadText PinType

Defined in Data.Geometry.Ipe.Reader

Methods

ipeReadText :: Text -> Either ConversionError PinType

IpeWriteText PinType

Defined in Data.Geometry.Ipe.Writer

Methods

ipeWriteText :: PinType -> Maybe Text

data TransformationTypes

Possible values for Transformation

Constructors

Affine

Rigid

Translations

Instances

Eq TransformationTypes

Defined in Data.Geometry.Ipe.Attributes

Methods

(==) :: TransformationTypes -> TransformationTypes -> Bool

(/=) :: TransformationTypes -> TransformationTypes -> Bool

Read TransformationTypes

Defined in Data.Geometry.Ipe.Attributes

Methods

readsPrec :: Int -> ReadS TransformationTypes

readList :: ReadS [TransformationTypes]

readPrec :: ReadPrec TransformationTypes

readListPrec :: ReadPrec [TransformationTypes]

Show TransformationTypes

Defined in Data.Geometry.Ipe.Attributes

Methods

showsPrec :: Int -> TransformationTypes -> ShowS

show :: TransformationTypes -> String

showList :: [TransformationTypes] -> ShowS

IpeReadText TransformationTypes

Defined in Data.Geometry.Ipe.Reader

Methods

ipeReadText :: Text -> Either ConversionError TransformationTypes

IpeWriteText TransformationTypes

Defined in Data.Geometry.Ipe.Writer

Methods

ipeWriteText :: TransformationTypes -> Maybe Text

newtype IpeSize r

TODO

Symbol Attributes

The optional Attributes for a symbol data SymbolAttributeUniverse = SymbolStroke | SymbolFill | SymbolPen | Size deriving (Show,Eq)

Constructors

IpeSize (IpeValue r)

Instances

Functor IpeSize

Defined in Data.Geometry.Ipe.Attributes

Methods

fmap :: (a -> b) -> IpeSize a -> IpeSize b

(<$) :: a -> IpeSize b -> IpeSize a

Foldable IpeSize

Defined in Data.Geometry.Ipe.Attributes

Methods

fold :: Monoid m => IpeSize m -> m

foldMap :: Monoid m => (a -> m) -> IpeSize a -> m

foldMap' :: Monoid m => (a -> m) -> IpeSize a -> m

foldr :: (a -> b -> b) -> b -> IpeSize a -> b

foldr' :: (a -> b -> b) -> b -> IpeSize a -> b

foldl :: (b -> a -> b) -> b -> IpeSize a -> b

foldl' :: (b -> a -> b) -> b -> IpeSize a -> b

foldr1 :: (a -> a -> a) -> IpeSize a -> a

foldl1 :: (a -> a -> a) -> IpeSize a -> a

toList :: IpeSize a -> [a]

null :: IpeSize a -> Bool

length :: IpeSize a -> Int

elem :: Eq a => a -> IpeSize a -> Bool

maximum :: Ord a => IpeSize a -> a

minimum :: Ord a => IpeSize a -> a

sum :: Num a => IpeSize a -> a

product :: Num a => IpeSize a -> a

Traversable IpeSize

Defined in Data.Geometry.Ipe.Attributes

Methods

traverse :: Applicative f => (a -> f b) -> IpeSize a -> f (IpeSize b)

sequenceA :: Applicative f => IpeSize (f a) -> f (IpeSize a)

mapM :: Monad m => (a -> m b) -> IpeSize a -> m (IpeSize b)

sequence :: Monad m => IpeSize (m a) -> m (IpeSize a)

Eq r => Eq (IpeSize r)

Defined in Data.Geometry.Ipe.Attributes

Methods

(==) :: IpeSize r -> IpeSize r -> Bool

(/=) :: IpeSize r -> IpeSize r -> Bool

Ord r => Ord (IpeSize r)

Defined in Data.Geometry.Ipe.Attributes

Methods

compare :: IpeSize r -> IpeSize r -> Ordering

(<) :: IpeSize r -> IpeSize r -> Bool

(<=) :: IpeSize r -> IpeSize r -> Bool

(>) :: IpeSize r -> IpeSize r -> Bool

(>=) :: IpeSize r -> IpeSize r -> Bool

max :: IpeSize r -> IpeSize r -> IpeSize r

min :: IpeSize r -> IpeSize r -> IpeSize r

Show r => Show (IpeSize r)

Defined in Data.Geometry.Ipe.Attributes

Methods

showsPrec :: Int -> IpeSize r -> ShowS

show :: IpeSize r -> String

showList :: [IpeSize r] -> ShowS

Coordinate r => IpeReadText (IpeSize r)

Defined in Data.Geometry.Ipe.Reader

Methods

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

IpeWriteText r => IpeWriteText (IpeSize r)

Defined in Data.Geometry.Ipe.Writer

Methods

ipeWriteText :: IpeSize r -> Maybe Text

newtype IpePen r

Constructors

IpePen (IpeValue r)

Instances

Functor IpePen

Defined in Data.Geometry.Ipe.Attributes

Methods

fmap :: (a -> b) -> IpePen a -> IpePen b

(<$) :: a -> IpePen b -> IpePen a

Foldable IpePen

Defined in Data.Geometry.Ipe.Attributes

Methods

fold :: Monoid m => IpePen m -> m

foldMap :: Monoid m => (a -> m) -> IpePen a -> m

foldMap' :: Monoid m => (a -> m) -> IpePen a -> m

foldr :: (a -> b -> b) -> b -> IpePen a -> b

foldr' :: (a -> b -> b) -> b -> IpePen a -> b

foldl :: (b -> a -> b) -> b -> IpePen a -> b

foldl' :: (b -> a -> b) -> b -> IpePen a -> b

foldr1 :: (a -> a -> a) -> IpePen a -> a

foldl1 :: (a -> a -> a) -> IpePen a -> a

toList :: IpePen a -> [a]

null :: IpePen a -> Bool

length :: IpePen a -> Int

elem :: Eq a => a -> IpePen a -> Bool

maximum :: Ord a => IpePen a -> a

minimum :: Ord a => IpePen a -> a

sum :: Num a => IpePen a -> a

product :: Num a => IpePen a -> a

Traversable IpePen

Defined in Data.Geometry.Ipe.Attributes

Methods

traverse :: Applicative f => (a -> f b) -> IpePen a -> f (IpePen b)

sequenceA :: Applicative f => IpePen (f a) -> f (IpePen a)

mapM :: Monad m => (a -> m b) -> IpePen a -> m (IpePen b)

sequence :: Monad m => IpePen (m a) -> m (IpePen a)

Eq r => Eq (IpePen r)

Defined in Data.Geometry.Ipe.Attributes

Methods

(==) :: IpePen r -> IpePen r -> Bool

(/=) :: IpePen r -> IpePen r -> Bool

Ord r => Ord (IpePen r)

Defined in Data.Geometry.Ipe.Attributes

Methods

compare :: IpePen r -> IpePen r -> Ordering

(<) :: IpePen r -> IpePen r -> Bool

(<=) :: IpePen r -> IpePen r -> Bool

(>) :: IpePen r -> IpePen r -> Bool

(>=) :: IpePen r -> IpePen r -> Bool

max :: IpePen r -> IpePen r -> IpePen r

min :: IpePen r -> IpePen r -> IpePen r

Show r => Show (IpePen r)

Defined in Data.Geometry.Ipe.Attributes

Methods

showsPrec :: Int -> IpePen r -> ShowS

show :: IpePen r -> String

showList :: [IpePen r] -> ShowS

Coordinate r => IpeReadText (IpePen r)

Defined in Data.Geometry.Ipe.Reader

Methods

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

IpeWriteText r => IpeWriteText (IpePen r)

Defined in Data.Geometry.Ipe.Writer

Methods

ipeWriteText :: IpePen r -> Maybe Text

data IpeDash r

Path Attributes

Possible attributes for a path data PathAttributeUniverse = Stroke | Fill | Dash | Pen | LineCap | LineJoin | FillRule | Arrow | RArrow | Opacity | Tiling | Gradient deriving (Show,Eq)

Possible values for Dash

Constructors

DashNamed Text

DashPattern [r] r

Instances

Functor IpeDash

Defined in Data.Geometry.Ipe.Attributes

Methods

fmap :: (a -> b) -> IpeDash a -> IpeDash b

(<$) :: a -> IpeDash b -> IpeDash a

Foldable IpeDash

Defined in Data.Geometry.Ipe.Attributes

Methods

fold :: Monoid m => IpeDash m -> m

foldMap :: Monoid m => (a -> m) -> IpeDash a -> m

foldMap' :: Monoid m => (a -> m) -> IpeDash a -> m

foldr :: (a -> b -> b) -> b -> IpeDash a -> b

foldr' :: (a -> b -> b) -> b -> IpeDash a -> b

foldl :: (b -> a -> b) -> b -> IpeDash a -> b

foldl' :: (b -> a -> b) -> b -> IpeDash a -> b

foldr1 :: (a -> a -> a) -> IpeDash a -> a

foldl1 :: (a -> a -> a) -> IpeDash a -> a

toList :: IpeDash a -> [a]

null :: IpeDash a -> Bool

length :: IpeDash a -> Int

elem :: Eq a => a -> IpeDash a -> Bool

maximum :: Ord a => IpeDash a -> a

minimum :: Ord a => IpeDash a -> a

sum :: Num a => IpeDash a -> a

product :: Num a => IpeDash a -> a

Traversable IpeDash

Defined in Data.Geometry.Ipe.Attributes

Methods

traverse :: Applicative f => (a -> f b) -> IpeDash a -> f (IpeDash b)

sequenceA :: Applicative f => IpeDash (f a) -> f (IpeDash a)

mapM :: Monad m => (a -> m b) -> IpeDash a -> m (IpeDash b)

sequence :: Monad m => IpeDash (m a) -> m (IpeDash a)

Eq r => Eq (IpeDash r)

Defined in Data.Geometry.Ipe.Attributes

Methods

(==) :: IpeDash r -> IpeDash r -> Bool

(/=) :: IpeDash r -> IpeDash r -> Bool

Show r => Show (IpeDash r)

Defined in Data.Geometry.Ipe.Attributes

Methods

showsPrec :: Int -> IpeDash r -> ShowS

show :: IpeDash r -> String

showList :: [IpeDash r] -> ShowS

Coordinate r => IpeReadText (IpeDash r)

Defined in Data.Geometry.Ipe.Reader

Methods

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

IpeWriteText r => IpeWriteText (IpeDash r)

Defined in Data.Geometry.Ipe.Writer

Methods

ipeWriteText :: IpeDash r -> Maybe Text

data FillType

Allowed Fill types

Constructors

Wind

EOFill

Instances

Eq FillType

Defined in Data.Geometry.Ipe.Attributes

Methods

(==) :: FillType -> FillType -> Bool

(/=) :: FillType -> FillType -> Bool

Read FillType

Defined in Data.Geometry.Ipe.Attributes

Methods

readsPrec :: Int -> ReadS FillType

readList :: ReadS [FillType]

readPrec :: ReadPrec FillType

readListPrec :: ReadPrec [FillType]

Show FillType

Defined in Data.Geometry.Ipe.Attributes

Methods

showsPrec :: Int -> FillType -> ShowS

show :: FillType -> String

showList :: [FillType] -> ShowS

IpeReadText FillType

Defined in Data.Geometry.Ipe.Reader

Methods

ipeReadText :: Text -> Either ConversionError FillType

IpeWriteText FillType

Defined in Data.Geometry.Ipe.Writer

Methods

ipeWriteText :: FillType -> Maybe Text

type IpeOpacity = Text

IpeOpacity, IpeTyling, and IpeGradient are all symbolic values

type IpeTiling = Text

type IpeGradient = Text

data IpeArrow r

Possible values for an ipe arrow

Constructors

IpeArrow

Fields

• _arrowName :: Text
• _arrowSize :: IpeSize r

Instances

Functor IpeArrow

Defined in Data.Geometry.Ipe.Attributes

Methods

fmap :: (a -> b) -> IpeArrow a -> IpeArrow b

(<$) :: a -> IpeArrow b -> IpeArrow a

Foldable IpeArrow

Defined in Data.Geometry.Ipe.Attributes

Methods

fold :: Monoid m => IpeArrow m -> m

foldMap :: Monoid m => (a -> m) -> IpeArrow a -> m

foldMap' :: Monoid m => (a -> m) -> IpeArrow a -> m

foldr :: (a -> b -> b) -> b -> IpeArrow a -> b

foldr' :: (a -> b -> b) -> b -> IpeArrow a -> b

foldl :: (b -> a -> b) -> b -> IpeArrow a -> b

foldl' :: (b -> a -> b) -> b -> IpeArrow a -> b

foldr1 :: (a -> a -> a) -> IpeArrow a -> a

foldl1 :: (a -> a -> a) -> IpeArrow a -> a

toList :: IpeArrow a -> [a]

null :: IpeArrow a -> Bool

length :: IpeArrow a -> Int

elem :: Eq a => a -> IpeArrow a -> Bool

maximum :: Ord a => IpeArrow a -> a

minimum :: Ord a => IpeArrow a -> a

sum :: Num a => IpeArrow a -> a

product :: Num a => IpeArrow a -> a

Traversable IpeArrow

Defined in Data.Geometry.Ipe.Attributes

Methods

traverse :: Applicative f => (a -> f b) -> IpeArrow a -> f (IpeArrow b)

sequenceA :: Applicative f => IpeArrow (f a) -> f (IpeArrow a)

mapM :: Monad m => (a -> m b) -> IpeArrow a -> m (IpeArrow b)

sequence :: Monad m => IpeArrow (m a) -> m (IpeArrow a)

Eq r => Eq (IpeArrow r)

Defined in Data.Geometry.Ipe.Attributes

Methods

(==) :: IpeArrow r -> IpeArrow r -> Bool

(/=) :: IpeArrow r -> IpeArrow r -> Bool

Show r => Show (IpeArrow r)

Defined in Data.Geometry.Ipe.Attributes

Methods

showsPrec :: Int -> IpeArrow r -> ShowS

show :: IpeArrow r -> String

showList :: [IpeArrow r] -> ShowS

Coordinate r => IpeReadText (IpeArrow r)

Defined in Data.Geometry.Ipe.Reader

Methods

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

IpeWriteText r => IpeWriteText (IpeArrow r)

Defined in Data.Geometry.Ipe.Writer

Methods

ipeWriteText :: IpeArrow r -> Maybe Text

arrowSize :: forall r r. Lens (IpeArrow r) (IpeArrow r) (IpeSize r) (IpeSize r)

arrowName :: forall r. Lens' (IpeArrow r) Text

normalArrow :: IpeArrow r

Attribute names in Ipe

class IpeAttrName (a :: AttributeUniverse) where

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

Methods

attrName :: proxy a -> Text

Instances

IpeAttrName 'Layer

Defined in Data.Geometry.Ipe.Attributes

Methods

attrName :: proxy 'Layer -> Text

IpeAttrName 'Matrix

Defined in Data.Geometry.Ipe.Attributes

Methods

attrName :: proxy 'Matrix -> Text

IpeAttrName 'Pin

Defined in Data.Geometry.Ipe.Attributes

Methods

attrName :: proxy 'Pin -> Text

IpeAttrName 'Transformations

Defined in Data.Geometry.Ipe.Attributes

Methods

attrName :: proxy 'Transformations -> Text

IpeAttrName 'Stroke

Defined in Data.Geometry.Ipe.Attributes

Methods

attrName :: proxy 'Stroke -> Text

IpeAttrName 'Fill

Defined in Data.Geometry.Ipe.Attributes

Methods

attrName :: proxy 'Fill -> Text

IpeAttrName 'Pen

Defined in Data.Geometry.Ipe.Attributes

Methods

attrName :: proxy 'Pen -> Text

IpeAttrName 'Size

Defined in Data.Geometry.Ipe.Attributes

Methods

attrName :: proxy 'Size -> Text

IpeAttrName 'Dash

Defined in Data.Geometry.Ipe.Attributes

Methods

attrName :: proxy 'Dash -> Text

IpeAttrName 'LineCap

Defined in Data.Geometry.Ipe.Attributes

Methods

attrName :: proxy 'LineCap -> Text

IpeAttrName 'LineJoin

Defined in Data.Geometry.Ipe.Attributes

Methods

attrName :: proxy 'LineJoin -> Text

IpeAttrName 'FillRule

Defined in Data.Geometry.Ipe.Attributes

Methods

attrName :: proxy 'FillRule -> Text

IpeAttrName 'Arrow

Defined in Data.Geometry.Ipe.Attributes

Methods

attrName :: proxy 'Arrow -> Text

IpeAttrName 'RArrow

Defined in Data.Geometry.Ipe.Attributes

Methods

attrName :: proxy 'RArrow -> Text

IpeAttrName 'Opacity

Defined in Data.Geometry.Ipe.Attributes

Methods

attrName :: proxy 'Opacity -> Text

IpeAttrName 'Tiling

Defined in Data.Geometry.Ipe.Attributes

Methods

attrName :: proxy 'Tiling -> Text

IpeAttrName 'Gradient

Defined in Data.Geometry.Ipe.Attributes

Methods

attrName :: proxy 'Gradient -> Text

IpeAttrName 'Clip

Defined in Data.Geometry.Ipe.Attributes

Methods

attrName :: proxy 'Clip -> Text

writeAttrNames :: AllConstrained IpeAttrName rs => Rec f rs -> Rec (Const Text) rs

Writing Attribute names