Ipe.Attributes

Possible Attributes we can assign to items in an Ipe file

Documentation

data AttributeUniverse

The possible Attributes supported in Ipe. To use these attributes, you'll likely need their Singletons's version which is Prefixed by an S. E.g. the Fill attribute is represented by a singleton 'SFill :: Sing Fill'.

Constructors

Layer

Matrix

Pin

Transformations

Stroke

Fill

Pen

Size

Dash

LineCap

LineJoin

FillRule

Arrow

RArrow

StrokeOpacity

Opacity

Tiling

Gradient

Clip

Instances

Eq AttributeUniverse

Defined in Ipe.Attributes

Methods

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

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

Read AttributeUniverse

Defined in Ipe.Attributes

Methods

readsPrec :: Int -> ReadS AttributeUniverse

readList :: ReadS [AttributeUniverse]

readPrec :: ReadPrec AttributeUniverse

readListPrec :: ReadPrec [AttributeUniverse]

Show AttributeUniverse

Defined in Ipe.Attributes

Methods

showsPrec :: Int -> AttributeUniverse -> ShowS

show :: AttributeUniverse -> String

showList :: [AttributeUniverse] -> ShowS

SingKind AttributeUniverse

Defined in 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 Ipe.Attributes

Methods

sing :: Sing 'Layer

SingI 'Matrix

Defined in Ipe.Attributes

Methods

sing :: Sing 'Matrix

SingI 'Pin

Defined in Ipe.Attributes

Methods

sing :: Sing 'Pin

SingI 'Transformations

Defined in Ipe.Attributes

Methods

sing :: Sing 'Transformations

SingI 'Stroke

Defined in Ipe.Attributes

Methods

sing :: Sing 'Stroke

SingI 'Fill

Defined in Ipe.Attributes

Methods

sing :: Sing 'Fill

SingI 'Pen

Defined in Ipe.Attributes

Methods

sing :: Sing 'Pen

SingI 'Size

Defined in Ipe.Attributes

Methods

sing :: Sing 'Size

SingI 'Dash

Defined in Ipe.Attributes

Methods

sing :: Sing 'Dash

SingI 'LineCap

Defined in Ipe.Attributes

Methods

sing :: Sing 'LineCap

SingI 'LineJoin

Defined in Ipe.Attributes

Methods

sing :: Sing 'LineJoin

SingI 'FillRule

Defined in Ipe.Attributes

Methods

sing :: Sing 'FillRule

SingI 'Arrow

Defined in Ipe.Attributes

Methods

sing :: Sing 'Arrow

SingI 'RArrow

Defined in Ipe.Attributes

Methods

sing :: Sing 'RArrow

SingI 'StrokeOpacity

Defined in Ipe.Attributes

Methods

sing :: Sing 'StrokeOpacity

SingI 'Opacity

Defined in Ipe.Attributes

Methods

sing :: Sing 'Opacity

SingI 'Tiling

Defined in Ipe.Attributes

Methods

sing :: Sing 'Tiling

SingI 'Gradient

Defined in Ipe.Attributes

Methods

sing :: Sing 'Gradient

SingI 'Clip

Defined in 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 Ipe.Writer

Methods

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

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

Defined in Ipe.Content

Methods

suppressUnusedWarnings :: ()

type Sing

Defined in Ipe.Attributes

type Sing = SAttributeUniverse

type Demote AttributeUniverse

Defined in Ipe.Attributes

type Demote AttributeUniverse = AttributeUniverse

type Apply (AttrMapSym1 a6989586621679197913 :: TyFun AttributeUniverse Type -> Type) (a6989586621679197914 :: AttributeUniverse)

Defined in Ipe.Content

type Apply (AttrMapSym1 a6989586621679197913 :: TyFun AttributeUniverse Type -> Type) (a6989586621679197914 :: 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 StrokeOpacitySym0 = 'StrokeOpacity :: 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)

SStrokeOpacity :: SAttributeUniverse ('StrokeOpacity :: AttributeUniverse)

SOpacity :: SAttributeUniverse ('Opacity :: AttributeUniverse)

STiling :: SAttributeUniverse ('Tiling :: AttributeUniverse)

SGradient :: SAttributeUniverse ('Gradient :: AttributeUniverse)

SClip :: SAttributeUniverse ('Clip :: AttributeUniverse)

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

IpeObjects may have attributes. Essentially attributes are (key,value) pairs. The key is some name. Which attributes an object can have depends on the type of the object. However, all ipe objects support the Common Attributes

type TextLabelAttributes = CommonAttributes

All attributes applicable to TextLabels

type MiniPageAttributes = CommonAttributes

All attributes applicable to Minipages

type ImageAttributes = CommonAttributes

All attributes applicable to Images

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

All attributes applicable to Symbols/Marks

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

All attributes applicable to Paths

type GroupAttributes = CommonAttributes ++ '['Clip]

All attributes applicable to Groups

A single attribute 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 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 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 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 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 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 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 Ipe.Reader

Methods

ipeReadAttr :: Text -> Node Text Text -> Either ConversionError (Attr f at)

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

Defined in 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)

Traverse an attribute.

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 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 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 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 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 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')

Get a vinyl Record with Attrs

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

Traverse implementation for Attrs

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

Zip two Recs with the given function.

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

Implementations for Common Attributes

data PinType

Possible values for Pin

Constructors

No

Yes

Horizontal

Vertical

Instances

Eq PinType

Defined in Ipe.Attributes

Methods

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

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

Read PinType

Defined in Ipe.Attributes

Methods

readsPrec :: Int -> ReadS PinType

readList :: ReadS [PinType]

readPrec :: ReadPrec PinType

readListPrec :: ReadPrec [PinType]

Show PinType

Defined in Ipe.Attributes

Methods

showsPrec :: Int -> PinType -> ShowS

show :: PinType -> String

showList :: [PinType] -> ShowS

IpeReadText PinType

Defined in Ipe.Reader

Methods

ipeReadText :: Text -> Either ConversionError PinType

IpeWriteText PinType

Defined in Ipe.Writer

Methods

ipeWriteText :: PinType -> Maybe Text

data TransformationTypes

Possible values for Transformation

Constructors

Affine

Rigid

Translations

Instances

Eq TransformationTypes

Defined in Ipe.Attributes

Methods

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

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

Read TransformationTypes

Defined in Ipe.Attributes

Methods

readsPrec :: Int -> ReadS TransformationTypes

readList :: ReadS [TransformationTypes]

readPrec :: ReadPrec TransformationTypes

readListPrec :: ReadPrec [TransformationTypes]

Show TransformationTypes

Defined in Ipe.Attributes

Methods

showsPrec :: Int -> TransformationTypes -> ShowS

show :: TransformationTypes -> String

showList :: [TransformationTypes] -> ShowS

IpeReadText TransformationTypes

Defined in Ipe.Reader

Methods

ipeReadText :: Text -> Either ConversionError TransformationTypes

IpeWriteText TransformationTypes

Defined in Ipe.Writer

Methods

ipeWriteText :: TransformationTypes -> Maybe Text

Text Attributes

Symbol Attributes

newtype IpeSize r

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

Size

Constructors

IpeSize (IpeValue r)

Instances

Functor IpeSize

Defined in Ipe.Attributes

Methods

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

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

Foldable IpeSize

Defined in 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 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 Ipe.Attributes

Methods

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

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

Ord r => Ord (IpeSize r)

Defined in 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 Ipe.Attributes

Methods

showsPrec :: Int -> IpeSize r -> ShowS

show :: IpeSize r -> String

showList :: [IpeSize r] -> ShowS

Coordinate r => IpeReadText (IpeSize r)

Defined in Ipe.Reader

Methods

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

IpeWriteText r => IpeWriteText (IpeSize r)

Defined in Ipe.Writer

Methods

ipeWriteText :: IpeSize r -> Maybe Text

newtype IpePen r

Pen/Thickness

Constructors

IpePen (IpeValue r)

Instances

Functor IpePen

Defined in Ipe.Attributes

Methods

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

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

Foldable IpePen

Defined in 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 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 Ipe.Attributes

Methods

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

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

Ord r => Ord (IpePen r)

Defined in 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 Ipe.Attributes

Methods

showsPrec :: Int -> IpePen r -> ShowS

show :: IpePen r -> String

showList :: [IpePen r] -> ShowS

Coordinate r => IpeReadText (IpePen r)

Defined in Ipe.Reader

Methods

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

IpeWriteText r => IpeWriteText (IpePen r)

Defined in Ipe.Writer

Methods

ipeWriteText :: IpePen r -> Maybe Text

Path Attributes

data IpeDash r

Possible values for Dash

Constructors

DashNamed Text

DashPattern [r] r

Instances

Functor IpeDash

Defined in Ipe.Attributes

Methods

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

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

Foldable IpeDash

Defined in 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 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 Ipe.Attributes

Methods

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

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

Show r => Show (IpeDash r)

Defined in Ipe.Attributes

Methods

showsPrec :: Int -> IpeDash r -> ShowS

show :: IpeDash r -> String

showList :: [IpeDash r] -> ShowS

Coordinate r => IpeReadText (IpeDash r)

Defined in Ipe.Reader

Methods

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

IpeWriteText r => IpeWriteText (IpeDash r)

Defined in Ipe.Writer

Methods

ipeWriteText :: IpeDash r -> Maybe Text

data FillType

Allowed Fill types

Constructors

Wind

EOFill

Instances

Eq FillType

Defined in Ipe.Attributes

Methods

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

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

Read FillType

Defined in Ipe.Attributes

Methods

readsPrec :: Int -> ReadS FillType

readList :: ReadS [FillType]

readPrec :: ReadPrec FillType

readListPrec :: ReadPrec [FillType]

Show FillType

Defined in Ipe.Attributes

Methods

showsPrec :: Int -> FillType -> ShowS

show :: FillType -> String

showList :: [FillType] -> ShowS

IpeReadText FillType

Defined in Ipe.Reader

Methods

ipeReadText :: Text -> Either ConversionError FillType

IpeWriteText FillType

Defined in 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 Ipe.Attributes

Methods

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

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

Foldable IpeArrow

Defined in 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 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 Ipe.Attributes

Methods

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

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

Show r => Show (IpeArrow r)

Defined in Ipe.Attributes

Methods

showsPrec :: Int -> IpeArrow r -> ShowS

show :: IpeArrow r -> String

showList :: [IpeArrow r] -> ShowS

Coordinate r => IpeReadText (IpeArrow r)

Defined in Ipe.Reader

Methods

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

IpeWriteText r => IpeWriteText (IpeArrow r)

Defined in 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

A normal arrow

Group Attributes

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 Ipe.Attributes

Methods

attrName :: proxy 'Layer -> Text

IpeAttrName 'Matrix

Defined in Ipe.Attributes

Methods

attrName :: proxy 'Matrix -> Text

IpeAttrName 'Pin

Defined in Ipe.Attributes

Methods

attrName :: proxy 'Pin -> Text

IpeAttrName 'Transformations

Defined in Ipe.Attributes

Methods

attrName :: proxy 'Transformations -> Text

IpeAttrName 'Stroke

Defined in Ipe.Attributes

Methods

attrName :: proxy 'Stroke -> Text

IpeAttrName 'Fill

Defined in Ipe.Attributes

Methods

attrName :: proxy 'Fill -> Text

IpeAttrName 'Pen

Defined in Ipe.Attributes

Methods

attrName :: proxy 'Pen -> Text

IpeAttrName 'Size

Defined in Ipe.Attributes

Methods

attrName :: proxy 'Size -> Text

IpeAttrName 'Dash

Defined in Ipe.Attributes

Methods

attrName :: proxy 'Dash -> Text

IpeAttrName 'LineCap

Defined in Ipe.Attributes

Methods

attrName :: proxy 'LineCap -> Text

IpeAttrName 'LineJoin

Defined in Ipe.Attributes

Methods

attrName :: proxy 'LineJoin -> Text

IpeAttrName 'FillRule

Defined in Ipe.Attributes

Methods

attrName :: proxy 'FillRule -> Text

IpeAttrName 'Arrow

Defined in Ipe.Attributes

Methods

attrName :: proxy 'Arrow -> Text

IpeAttrName 'RArrow

Defined in Ipe.Attributes

Methods

attrName :: proxy 'RArrow -> Text

IpeAttrName 'StrokeOpacity

Defined in Ipe.Attributes

Methods

attrName :: proxy 'StrokeOpacity -> Text

IpeAttrName 'Opacity

Defined in Ipe.Attributes

Methods

attrName :: proxy 'Opacity -> Text

IpeAttrName 'Tiling

Defined in Ipe.Attributes

Methods

attrName :: proxy 'Tiling -> Text

IpeAttrName 'Gradient

Defined in Ipe.Attributes

Methods

attrName :: proxy 'Gradient -> Text

IpeAttrName 'Clip

Defined in Ipe.Attributes

Methods

attrName :: proxy 'Clip -> Text

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

Writing Attribute names