HasCommonAttributes (IpeObject r) r Maybe Source #	Access the attributes
Instance details Defined in Ipe.Content Methods commonAttributes :: Lens' (IpeObject r) (CommonAttributes r Maybe) Source # layer :: Lens' (IpeObject r) (Maybe LayerName) Source # matrix :: Lens' (IpeObject r) (Maybe (Matrix 3 3 r)) Source # pin :: Lens' (IpeObject r) (Maybe PinType) Source # transformations :: Lens' (IpeObject r) (Maybe TransformationTypes) Source #
HasCommonAttributes (g :+ GroupAttributesF r f) r f Source #
Instance details Defined in Ipe.Attributes Methods commonAttributes :: Lens' (g :+ GroupAttributesF r f) (CommonAttributes r f) Source # layer :: Lens' (g :+ GroupAttributesF r f) (f LayerName) Source # matrix :: Lens' (g :+ GroupAttributesF r f) (f (Matrix 3 3 r)) Source # pin :: Lens' (g :+ GroupAttributesF r f) (f PinType) Source # transformations :: Lens' (g :+ GroupAttributesF r f) (f TransformationTypes) Source #
HasCommonAttributes (g :+ PathAttributesF r f) r f Source #
Instance details Defined in Ipe.Attributes Methods commonAttributes :: Lens' (g :+ PathAttributesF r f) (CommonAttributes r f) Source # layer :: Lens' (g :+ PathAttributesF r f) (f LayerName) Source # matrix :: Lens' (g :+ PathAttributesF r f) (f (Matrix 3 3 r)) Source # pin :: Lens' (g :+ PathAttributesF r f) (f PinType) Source # transformations :: Lens' (g :+ PathAttributesF r f) (f TransformationTypes) Source #
HasCommonAttributes (g :+ SymbolAttributesF r f) r f Source #
Instance details Defined in Ipe.Attributes Methods commonAttributes :: Lens' (g :+ SymbolAttributesF r f) (CommonAttributes r f) Source # layer :: Lens' (g :+ SymbolAttributesF r f) (f LayerName) Source # matrix :: Lens' (g :+ SymbolAttributesF r f) (f (Matrix 3 3 r)) Source # pin :: Lens' (g :+ SymbolAttributesF r f) (f PinType) Source # transformations :: Lens' (g :+ SymbolAttributesF r f) (f TransformationTypes) Source #
HasCommonAttributes (g :+ TextAttributesF r f) r f Source #
Instance details Defined in Ipe.Attributes Methods commonAttributes :: Lens' (g :+ TextAttributesF r f) (CommonAttributes r f) Source # layer :: Lens' (g :+ TextAttributesF r f) (f LayerName) Source # matrix :: Lens' (g :+ TextAttributesF r f) (f (Matrix 3 3 r)) Source # pin :: Lens' (g :+ TextAttributesF r f) (f PinType) Source # transformations :: Lens' (g :+ TextAttributesF r f) (f TransformationTypes) Source #
HasCommonAttributes (CommonAttributes r f) r f Source #
Instance details Defined in Ipe.Attributes Methods commonAttributes :: Lens' (CommonAttributes r f) (CommonAttributes r f) Source # layer :: Lens' (CommonAttributes r f) (f LayerName) Source # matrix :: Lens' (CommonAttributes r f) (f (Matrix 3 3 r)) Source # pin :: Lens' (CommonAttributes r f) (f PinType) Source # transformations :: Lens' (CommonAttributes r f) (f TransformationTypes) Source #
HasCommonAttributes (GroupAttributesF r f) r f Source #
Instance details Defined in Ipe.Attributes Methods commonAttributes :: Lens' (GroupAttributesF r f) (CommonAttributes r f) Source # layer :: Lens' (GroupAttributesF r f) (f LayerName) Source # matrix :: Lens' (GroupAttributesF r f) (f (Matrix 3 3 r)) Source # pin :: Lens' (GroupAttributesF r f) (f PinType) Source # transformations :: Lens' (GroupAttributesF r f) (f TransformationTypes) Source #
HasCommonAttributes (PathAttributesF r f) r f Source #
Instance details Defined in Ipe.Attributes Methods commonAttributes :: Lens' (PathAttributesF r f) (CommonAttributes r f) Source # layer :: Lens' (PathAttributesF r f) (f LayerName) Source # matrix :: Lens' (PathAttributesF r f) (f (Matrix 3 3 r)) Source # pin :: Lens' (PathAttributesF r f) (f PinType) Source # transformations :: Lens' (PathAttributesF r f) (f TransformationTypes) Source #
HasCommonAttributes (SymbolAttributesF r f) r f Source #
Instance details Defined in Ipe.Attributes Methods commonAttributes :: Lens' (SymbolAttributesF r f) (CommonAttributes r f) Source # layer :: Lens' (SymbolAttributesF r f) (f LayerName) Source # matrix :: Lens' (SymbolAttributesF r f) (f (Matrix 3 3 r)) Source # pin :: Lens' (SymbolAttributesF r f) (f PinType) Source # transformations :: Lens' (SymbolAttributesF r f) (f TransformationTypes) Source #
HasCommonAttributes (TextAttributesF r f) r f Source #
Instance details Defined in Ipe.Attributes Methods commonAttributes :: Lens' (TextAttributesF r f) (CommonAttributes r f) Source # layer :: Lens' (TextAttributesF r f) (f LayerName) Source # matrix :: Lens' (TextAttributesF r f) (f (Matrix 3 3 r)) Source # pin :: Lens' (TextAttributesF r f) (f PinType) Source # transformations :: Lens' (TextAttributesF r f) (f TransformationTypes) Source #

data SymbolAttributesF r (f :: Type -> Type) Source #

Constructors

SymbolAttributes
Fields _commonAttrs :: !(CommonAttributes r f) _stroke :: f (IpeColor r) _fill :: f (IpeColor r) _pen :: f (IpePen r) _symbolSize :: f (IpeSize r)

Instances

Instances details

ApplicativeB (SymbolAttributesF r :: (Type -> Type) -> Type) Source #

Instance details

Defined in Ipe.Attributes

Methods

bpure :: (forall a. f a) -> SymbolAttributesF r f Source #

bprod :: forall (f :: Type -> Type) (g :: Type -> Type). SymbolAttributesF r f -> SymbolAttributesF r g -> SymbolAttributesF r (Product f g) Source #

ConstraintsB (SymbolAttributesF r :: (Type -> Type) -> Type) Source #

Instance details

Defined in Ipe.Attributes

Methods

baddDicts :: forall (c :: Type -> Constraint) (f :: Type -> Type). AllB c (SymbolAttributesF r) => SymbolAttributesF r f -> SymbolAttributesF r (Product (Dict c) f) Source #

FunctorB (SymbolAttributesF r :: (Type -> Type) -> Type) Source #

Instance details

Defined in Ipe.Attributes

Methods

bmap :: (forall a. f a -> g a) -> SymbolAttributesF r f -> SymbolAttributesF r g Source #

TraversableB (SymbolAttributesF r :: (Type -> Type) -> Type) Source #

Instance details

Defined in Ipe.Attributes

Methods

btraverse :: Applicative e => (forall a. f a -> e (g a)) -> SymbolAttributesF r f -> e (SymbolAttributesF r g) Source #

AttributeNames (SymbolAttributesF r :: (Type -> Type) -> Type) Source #

Instance details

Defined in Ipe.Attributes

Methods

attributeNames :: SymbolAttributesF r (Const Text :: Type -> Type) Source #

(AllB IpeReadText (SymbolAttributesF r), AllB IpeReadText (CommonAttributes r)) => IpeReadAttributes (SymbolAttributes r) Source #

Instance details

Defined in Ipe.Reader

Methods

ipeReadAttrs :: [(Text, Text)] -> Either ConversionError (SymbolAttributes r) Source #

(AllB IpeWriteText (CommonAttributes r), IpeWriteText r) => IpeWriteAttributes (SymbolAttributes r) Source #

Instance details

Defined in Ipe.Writer

Methods

ipeWriteAttrs :: SymbolAttributes r -> [(Text, Text)] Source #

(forall a. Default (f a)) => Default (SymbolAttributesF r f) Source #

Instance details

Defined in Ipe.Attributes

Methods

def :: SymbolAttributesF r f Source #

Generic (SymbolAttributesF r f) Source #

Instance details

Defined in Ipe.Attributes

Associated Types

type Rep (SymbolAttributesF r f)

Instance details

Defined in Ipe.Attributes

type Rep (SymbolAttributesF r f) = D1 ('MetaData "SymbolAttributesF" "Ipe.Attributes" "hgeometry-ipe-1.0.0.0-inplace" 'False) (C1 ('MetaCons "SymbolAttributes" 'PrefixI 'True) ((S1 ('MetaSel ('Just "_commonAttrs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CommonAttributes r f)) :*: S1 ('MetaSel ('Just "_stroke") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (IpeColor r)))) :*: (S1 ('MetaSel ('Just "_fill") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (IpeColor r))) :*: (S1 ('MetaSel ('Just "_pen") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (IpePen r))) :*: S1 ('MetaSel ('Just "_symbolSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (IpeSize r)))))))

Methods

from :: SymbolAttributesF r f -> Rep (SymbolAttributesF r f) x Source #

to :: Rep (SymbolAttributesF r f) x -> SymbolAttributesF r f Source #

(Show1 f, Show r) => Show (SymbolAttributesF r f) Source #

Instance details

Defined in Ipe.Attributes

Methods

showsPrec :: Int -> SymbolAttributesF r f -> ShowS Source #

show :: SymbolAttributesF r f -> String Source #

showList :: [SymbolAttributesF r f] -> ShowS Source #

(Eq1 f, Eq r) => Eq (SymbolAttributesF r f) Source #

Instance details

Defined in Ipe.Attributes

Methods

(==) :: SymbolAttributesF r f -> SymbolAttributesF r f -> Bool Source #

(/=) :: SymbolAttributesF r f -> SymbolAttributesF r f -> Bool Source #

(HasDefaultIpeOut g, DefaultIpeOut g ~ IpeSymbol, NumType g ~ r) => HasDefaultIpeOut (g :+ SymbolAttributes r) Source #

Instance details

Defined in Ipe.IpeOut

Associated Types

type DefaultIpeOut (g :+ SymbolAttributes r)
Instance details Defined in Ipe.IpeOut type DefaultIpeOut (g :+ SymbolAttributes r) = IpeSymbol

Methods

defIO :: IpeOut (g :+ SymbolAttributes r) (DefaultIpeOut (g :+ SymbolAttributes r)) (NumType (g :+ SymbolAttributes r)) Source #

HasCommonAttributes (g :+ SymbolAttributesF r f) r f Source #

Instance details

Defined in Ipe.Attributes

Methods

commonAttributes :: Lens' (g :+ SymbolAttributesF r f) (CommonAttributes r f) Source #

layer :: Lens' (g :+ SymbolAttributesF r f) (f LayerName) Source #

matrix :: Lens' (g :+ SymbolAttributesF r f) (f (Matrix 3 3 r)) Source #

pin :: Lens' (g :+ SymbolAttributesF r f) (f PinType) Source #

transformations :: Lens' (g :+ SymbolAttributesF r f) (f TransformationTypes) Source #

HasCommonAttributes (SymbolAttributesF r f) r f Source #

Instance details

Defined in Ipe.Attributes

Methods

commonAttributes :: Lens' (SymbolAttributesF r f) (CommonAttributes r f) Source #

layer :: Lens' (SymbolAttributesF r f) (f LayerName) Source #

matrix :: Lens' (SymbolAttributesF r f) (f (Matrix 3 3 r)) Source #

pin :: Lens' (SymbolAttributesF r f) (f PinType) Source #

transformations :: Lens' (SymbolAttributesF r f) (f TransformationTypes) Source #

HasFill (g :+ SymbolAttributes r) (Maybe (IpeColor r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

fill :: Lens' (g :+ SymbolAttributes r) (Maybe (IpeColor r)) Source #

HasFill (SymbolAttributesF r f) (f (IpeColor r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

fill :: Lens' (SymbolAttributesF r f) (f (IpeColor r)) Source #

HasPen (g :+ SymbolAttributes r) (Maybe (IpePen r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

pen :: Lens' (g :+ SymbolAttributes r) (Maybe (IpePen r)) Source #

HasPen (SymbolAttributesF r f) (f (IpePen r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

pen :: Lens' (SymbolAttributesF r f) (f (IpePen r)) Source #

HasStroke (g :+ SymbolAttributes r) (Maybe (IpeColor r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

stroke :: Lens' (g :+ SymbolAttributes r) (Maybe (IpeColor r)) Source #

HasStroke (SymbolAttributesF r f) (f (IpeColor r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

stroke :: Lens' (SymbolAttributesF r f) (f (IpeColor r)) Source #

HasSymbolSize (g :+ SymbolAttributes r) (Maybe (IpeSize r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

symbolSize :: Lens' (g :+ SymbolAttributes r) (Maybe (IpeSize r)) Source #

HasSymbolSize (SymbolAttributesF r f) (f (IpeSize r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

symbolSize :: Lens' (SymbolAttributesF r f) (f (IpeSize r)) Source #

type AllB (c :: Type -> Constraint) (SymbolAttributesF r :: (Type -> Type) -> Type) Source #

Instance details

Defined in Ipe.Attributes

type AllB (c :: Type -> Constraint) (SymbolAttributesF r :: (Type -> Type) -> Type) = GAll 0 c (GAllRepB (SymbolAttributesF r))

type Rep (SymbolAttributesF r f) Source #

Instance details

Defined in Ipe.Attributes

type Rep (SymbolAttributesF r f) = D1 ('MetaData "SymbolAttributesF" "Ipe.Attributes" "hgeometry-ipe-1.0.0.0-inplace" 'False) (C1 ('MetaCons "SymbolAttributes" 'PrefixI 'True) ((S1 ('MetaSel ('Just "_commonAttrs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CommonAttributes r f)) :*: S1 ('MetaSel ('Just "_stroke") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (IpeColor r)))) :*: (S1 ('MetaSel ('Just "_fill") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (IpeColor r))) :*: (S1 ('MetaSel ('Just "_pen") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (IpePen r))) :*: S1 ('MetaSel ('Just "_symbolSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (IpeSize r)))))))

type DefaultIpeOut (g :+ SymbolAttributes r) Source #

Instance details

Defined in Ipe.IpeOut

type DefaultIpeOut (g :+ SymbolAttributes r) = IpeSymbol

type SymbolAttributes r = SymbolAttributesF r Maybe Source #

class HasStroke s a | s -> a where Source #

Methods

stroke :: Lens' s a Source #

Instances

Instances details

HasStroke (g :+ PathAttributes r) (Maybe (IpeColor r)) Source #
Instance details Defined in Ipe.Attributes Methods stroke :: Lens' (g :+ PathAttributes r) (Maybe (IpeColor r)) Source #
HasStroke (g :+ SymbolAttributes r) (Maybe (IpeColor r)) Source #
Instance details Defined in Ipe.Attributes Methods stroke :: Lens' (g :+ SymbolAttributes r) (Maybe (IpeColor r)) Source #
HasStroke (g :+ TextAttributes r) (Maybe (IpeColor r)) Source #
Instance details Defined in Ipe.Attributes Methods stroke :: Lens' (g :+ TextAttributes r) (Maybe (IpeColor r)) Source #
HasStroke (PathAttributesF r f) (f (IpeColor r)) Source #
Instance details Defined in Ipe.Attributes Methods stroke :: Lens' (PathAttributesF r f) (f (IpeColor r)) Source #
HasStroke (SymbolAttributesF r f) (f (IpeColor r)) Source #
Instance details Defined in Ipe.Attributes Methods stroke :: Lens' (SymbolAttributesF r f) (f (IpeColor r)) Source #
HasStroke (TextAttributesF r f) (f (IpeColor r)) Source #
Instance details Defined in Ipe.Attributes Methods stroke :: Lens' (TextAttributesF r f) (f (IpeColor r)) Source #

class HasFill s a | s -> a where Source #

Methods

fill :: Lens' s a Source #

Instances

Instances details

HasFill (g :+ PathAttributes r) (Maybe (IpeColor r)) Source #
Instance details Defined in Ipe.Attributes Methods fill :: Lens' (g :+ PathAttributes r) (Maybe (IpeColor r)) Source #
HasFill (g :+ SymbolAttributes r) (Maybe (IpeColor r)) Source #
Instance details Defined in Ipe.Attributes Methods fill :: Lens' (g :+ SymbolAttributes r) (Maybe (IpeColor r)) Source #
HasFill (PathAttributesF r f) (f (IpeColor r)) Source #
Instance details Defined in Ipe.Attributes Methods fill :: Lens' (PathAttributesF r f) (f (IpeColor r)) Source #
HasFill (SymbolAttributesF r f) (f (IpeColor r)) Source #
Instance details Defined in Ipe.Attributes Methods fill :: Lens' (SymbolAttributesF r f) (f (IpeColor r)) Source #

class HasPen s a | s -> a where Source #

Methods

pen :: Lens' s a Source #

Instances

Instances details

HasPen (g :+ PathAttributes r) (Maybe (IpePen r)) Source #
Instance details Defined in Ipe.Attributes Methods pen :: Lens' (g :+ PathAttributes r) (Maybe (IpePen r)) Source #
HasPen (g :+ SymbolAttributes r) (Maybe (IpePen r)) Source #
Instance details Defined in Ipe.Attributes Methods pen :: Lens' (g :+ SymbolAttributes r) (Maybe (IpePen r)) Source #
HasPen (PathAttributesF r f) (f (IpePen r)) Source #
Instance details Defined in Ipe.Attributes Methods pen :: Lens' (PathAttributesF r f) (f (IpePen r)) Source #
HasPen (SymbolAttributesF r f) (f (IpePen r)) Source #
Instance details Defined in Ipe.Attributes Methods pen :: Lens' (SymbolAttributesF r f) (f (IpePen r)) Source #

class HasSymbolSize s a | s -> a where Source #

Methods

symbolSize :: Lens' s a Source #

Instances

Instances details

HasSymbolSize (g :+ SymbolAttributes r) (Maybe (IpeSize r)) Source #
Instance details Defined in Ipe.Attributes Methods symbolSize :: Lens' (g :+ SymbolAttributes r) (Maybe (IpeSize r)) Source #
HasSymbolSize (SymbolAttributesF r f) (f (IpeSize r)) Source #
Instance details Defined in Ipe.Attributes Methods symbolSize :: Lens' (SymbolAttributesF r f) (f (IpeSize r)) Source #

data PathAttributesF r (f :: Type -> Type) Source #

Path Attributes

Constructors

PathAttributes
Fields _commonAttrs :: !(CommonAttributes r f) _stroke :: f (IpeColor r) _fill :: f (IpeColor r) _pen :: f (IpePen r) _dash :: f (IpeDash r) _lineCap :: f Int _lineJoin :: f LineJoin _fillRule :: f FillType _arrow :: f (IpeArrow r) _rArrow :: f (IpeArrow r) _strokeOpacity :: f (IpeValue r) _opacity :: f (IpeValue r) _tiling :: f IpeTiling _gradient :: f IpeGradient

Instances

Instances details

ApplicativeB (PathAttributesF r :: (Type -> Type) -> Type) Source #

Instance details

Defined in Ipe.Attributes

Methods

bpure :: (forall a. f a) -> PathAttributesF r f Source #

bprod :: forall (f :: Type -> Type) (g :: Type -> Type). PathAttributesF r f -> PathAttributesF r g -> PathAttributesF r (Product f g) Source #

ConstraintsB (PathAttributesF r :: (Type -> Type) -> Type) Source #

Instance details

Defined in Ipe.Attributes

Methods

baddDicts :: forall (c :: Type -> Constraint) (f :: Type -> Type). AllB c (PathAttributesF r) => PathAttributesF r f -> PathAttributesF r (Product (Dict c) f) Source #

FunctorB (PathAttributesF r :: (Type -> Type) -> Type) Source #

Instance details

Defined in Ipe.Attributes

Methods

bmap :: (forall a. f a -> g a) -> PathAttributesF r f -> PathAttributesF r g Source #

TraversableB (PathAttributesF r :: (Type -> Type) -> Type) Source #

Instance details

Defined in Ipe.Attributes

Methods

btraverse :: Applicative e => (forall a. f a -> e (g a)) -> PathAttributesF r f -> e (PathAttributesF r g) Source #

AttributeNames (PathAttributesF r :: (Type -> Type) -> Type) Source #

Instance details

Defined in Ipe.Attributes

Methods

attributeNames :: PathAttributesF r (Const Text :: Type -> Type) Source #

(AllB IpeReadText (SymbolAttributesF r), AllB IpeReadText (CommonAttributes r), Coordinate r) => IpeReadAttributes (PathAttributes r) Source #

Instance details

Defined in Ipe.Reader

Methods

ipeReadAttrs :: [(Text, Text)] -> Either ConversionError (PathAttributes r) Source #

(AllB IpeWriteText (CommonAttributes r), IpeWriteText r) => IpeWriteAttributes (PathAttributes r) Source #

Instance details

Defined in Ipe.Writer

Methods

ipeWriteAttrs :: PathAttributes r -> [(Text, Text)] Source #

(forall a. Default (f a)) => Default (PathAttributesF r f) Source #

Instance details

Defined in Ipe.Attributes

Methods

def :: PathAttributesF r f Source #

Generic (PathAttributesF r f) Source #

Instance details

Defined in Ipe.Attributes

Associated Types

type Rep (PathAttributesF r f)

Instance details

Defined in Ipe.Attributes

Methods

from :: PathAttributesF r f -> Rep (PathAttributesF r f) x Source #

to :: Rep (PathAttributesF r f) x -> PathAttributesF r f Source #

(Show1 f, Show r) => Show (PathAttributesF r f) Source #

Instance details

Defined in Ipe.Attributes

Methods

showsPrec :: Int -> PathAttributesF r f -> ShowS Source #

show :: PathAttributesF r f -> String Source #

showList :: [PathAttributesF r f] -> ShowS Source #

(Eq1 f, Eq r) => Eq (PathAttributesF r f) Source #

Instance details

Defined in Ipe.Attributes

Methods

(==) :: PathAttributesF r f -> PathAttributesF r f -> Bool Source #

(/=) :: PathAttributesF r f -> PathAttributesF r f -> Bool Source #

(HasDefaultIpeOut g, DefaultIpeOut g ~ Path, NumType g ~ r) => HasDefaultIpeOut (g :+ PathAttributes r) Source #

Instance details

Defined in Ipe.IpeOut

Associated Types

type DefaultIpeOut (g :+ PathAttributes r)
Instance details Defined in Ipe.IpeOut type DefaultIpeOut (g :+ PathAttributes r) = Path

Methods

defIO :: IpeOut (g :+ PathAttributes r) (DefaultIpeOut (g :+ PathAttributes r)) (NumType (g :+ PathAttributes r)) Source #

HasCommonAttributes (g :+ PathAttributesF r f) r f Source #

Instance details

Defined in Ipe.Attributes

Methods

commonAttributes :: Lens' (g :+ PathAttributesF r f) (CommonAttributes r f) Source #

layer :: Lens' (g :+ PathAttributesF r f) (f LayerName) Source #

matrix :: Lens' (g :+ PathAttributesF r f) (f (Matrix 3 3 r)) Source #

pin :: Lens' (g :+ PathAttributesF r f) (f PinType) Source #

transformations :: Lens' (g :+ PathAttributesF r f) (f TransformationTypes) Source #

HasCommonAttributes (PathAttributesF r f) r f Source #

Instance details

Defined in Ipe.Attributes

Methods

commonAttributes :: Lens' (PathAttributesF r f) (CommonAttributes r f) Source #

layer :: Lens' (PathAttributesF r f) (f LayerName) Source #

matrix :: Lens' (PathAttributesF r f) (f (Matrix 3 3 r)) Source #

pin :: Lens' (PathAttributesF r f) (f PinType) Source #

transformations :: Lens' (PathAttributesF r f) (f TransformationTypes) Source #

HasArrow (g :+ PathAttributes r) (Maybe (IpeArrow r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

arrow :: Lens' (g :+ PathAttributes r) (Maybe (IpeArrow r)) Source #

HasArrow (PathAttributesF r f) (f (IpeArrow r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

arrow :: Lens' (PathAttributesF r f) (f (IpeArrow r)) Source #

HasDash (g :+ PathAttributes r) (Maybe (IpeDash r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

dash :: Lens' (g :+ PathAttributes r) (Maybe (IpeDash r)) Source #

HasDash (PathAttributesF r f) (f (IpeDash r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

dash :: Lens' (PathAttributesF r f) (f (IpeDash r)) Source #

HasFill (g :+ PathAttributes r) (Maybe (IpeColor r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

fill :: Lens' (g :+ PathAttributes r) (Maybe (IpeColor r)) Source #

HasFill (PathAttributesF r f) (f (IpeColor r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

fill :: Lens' (PathAttributesF r f) (f (IpeColor r)) Source #

HasFillRule (g :+ PathAttributes r) (Maybe FillType) Source #

Instance details

Defined in Ipe.Attributes

Methods

fillRule :: Lens' (g :+ PathAttributes r) (Maybe FillType) Source #

HasFillRule (PathAttributesF r f) (f FillType) Source #

Instance details

Defined in Ipe.Attributes

Methods

fillRule :: Lens' (PathAttributesF r f) (f FillType) Source #

HasGradient (g :+ PathAttributes r) (Maybe IpeGradient) Source #

Instance details

Defined in Ipe.Attributes

Methods

gradient :: Lens' (g :+ PathAttributes r) (Maybe IpeGradient) Source #

HasGradient (PathAttributesF r f) (f IpeGradient) Source #

Instance details

Defined in Ipe.Attributes

Methods

gradient :: Lens' (PathAttributesF r f) (f IpeGradient) Source #

HasLineCap (g :+ PathAttributes r) (Maybe Int) Source #

Instance details

Defined in Ipe.Attributes

Methods

lineCap :: Lens' (g :+ PathAttributes r) (Maybe Int) Source #

HasLineCap (PathAttributesF r f) (f Int) Source #

Instance details

Defined in Ipe.Attributes

Methods

lineCap :: Lens' (PathAttributesF r f) (f Int) Source #

HasLineJoin (g :+ PathAttributes r) (Maybe LineJoin) Source #

Instance details

Defined in Ipe.Attributes

Methods

lineJoin :: Lens' (g :+ PathAttributes r) (Maybe LineJoin) Source #

HasLineJoin (PathAttributesF r f) (f LineJoin) Source #

Instance details

Defined in Ipe.Attributes

Methods

lineJoin :: Lens' (PathAttributesF r f) (f LineJoin) Source #

HasOpacity (g :+ PathAttributes r) (Maybe (IpeValue r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

opacity :: Lens' (g :+ PathAttributes r) (Maybe (IpeValue r)) Source #

HasOpacity (PathAttributesF r f) (f (IpeValue r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

opacity :: Lens' (PathAttributesF r f) (f (IpeValue r)) Source #

HasPen (g :+ PathAttributes r) (Maybe (IpePen r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

pen :: Lens' (g :+ PathAttributes r) (Maybe (IpePen r)) Source #

HasPen (PathAttributesF r f) (f (IpePen r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

pen :: Lens' (PathAttributesF r f) (f (IpePen r)) Source #

HasRArrow (g :+ PathAttributes r) (Maybe (IpeArrow r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

rArrow :: Lens' (g :+ PathAttributes r) (Maybe (IpeArrow r)) Source #

HasRArrow (PathAttributesF r f) (f (IpeArrow r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

rArrow :: Lens' (PathAttributesF r f) (f (IpeArrow r)) Source #

HasStroke (g :+ PathAttributes r) (Maybe (IpeColor r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

stroke :: Lens' (g :+ PathAttributes r) (Maybe (IpeColor r)) Source #

HasStroke (PathAttributesF r f) (f (IpeColor r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

stroke :: Lens' (PathAttributesF r f) (f (IpeColor r)) Source #

HasStrokeOpacity (g :+ PathAttributes r) (Maybe (IpeValue r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

strokeOpacity :: Lens' (g :+ PathAttributes r) (Maybe (IpeValue r)) Source #

HasStrokeOpacity (PathAttributesF r f) (f (IpeValue r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

strokeOpacity :: Lens' (PathAttributesF r f) (f (IpeValue r)) Source #

HasTiling (g :+ PathAttributes r) (Maybe IpeTiling) Source #

Instance details

Defined in Ipe.Attributes

Methods

tiling :: Lens' (g :+ PathAttributes r) (Maybe IpeTiling) Source #

HasTiling (PathAttributesF r f) (f IpeTiling) Source #

Instance details

Defined in Ipe.Attributes

Methods

tiling :: Lens' (PathAttributesF r f) (f IpeTiling) Source #

type AllB (c :: Type -> Constraint) (PathAttributesF r :: (Type -> Type) -> Type) Source #

Instance details

Defined in Ipe.Attributes

type AllB (c :: Type -> Constraint) (PathAttributesF r :: (Type -> Type) -> Type) = GAll 0 c (GAllRepB (PathAttributesF r))

type Rep (PathAttributesF r f) Source #

Instance details

Defined in Ipe.Attributes

type DefaultIpeOut (g :+ PathAttributes r) Source #

Instance details

Defined in Ipe.IpeOut

type DefaultIpeOut (g :+ PathAttributes r) = Path

type PathAttributes r = PathAttributesF r Maybe Source #

class HasDash s a | s -> a where Source #

Methods

dash :: Lens' s a Source #

Instances

Instances details

HasDash (g :+ PathAttributes r) (Maybe (IpeDash r)) Source #
Instance details Defined in Ipe.Attributes Methods dash :: Lens' (g :+ PathAttributes r) (Maybe (IpeDash r)) Source #
HasDash (PathAttributesF r f) (f (IpeDash r)) Source #
Instance details Defined in Ipe.Attributes Methods dash :: Lens' (PathAttributesF r f) (f (IpeDash r)) Source #

class HasLineCap s a | s -> a where Source #

Methods

lineCap :: Lens' s a Source #

Instances

Instances details

HasLineCap (g :+ PathAttributes r) (Maybe Int) Source #
Instance details Defined in Ipe.Attributes Methods lineCap :: Lens' (g :+ PathAttributes r) (Maybe Int) Source #
HasLineCap (PathAttributesF r f) (f Int) Source #
Instance details Defined in Ipe.Attributes Methods lineCap :: Lens' (PathAttributesF r f) (f Int) Source #

class HasLineJoin s a | s -> a where Source #

Methods

lineJoin :: Lens' s a Source #

Instances

Instances details

HasLineJoin (g :+ PathAttributes r) (Maybe LineJoin) Source #
Instance details Defined in Ipe.Attributes Methods lineJoin :: Lens' (g :+ PathAttributes r) (Maybe LineJoin) Source #
HasLineJoin (PathAttributesF r f) (f LineJoin) Source #
Instance details Defined in Ipe.Attributes Methods lineJoin :: Lens' (PathAttributesF r f) (f LineJoin) Source #

class HasFillRule s a | s -> a where Source #

Methods

fillRule :: Lens' s a Source #

Instances

Instances details

HasFillRule (g :+ PathAttributes r) (Maybe FillType) Source #
Instance details Defined in Ipe.Attributes Methods fillRule :: Lens' (g :+ PathAttributes r) (Maybe FillType) Source #
HasFillRule (PathAttributesF r f) (f FillType) Source #
Instance details Defined in Ipe.Attributes Methods fillRule :: Lens' (PathAttributesF r f) (f FillType) Source #

class HasArrow s a | s -> a where Source #

Methods

arrow :: Lens' s a Source #

Instances

Instances details

HasArrow (g :+ PathAttributes r) (Maybe (IpeArrow r)) Source #
Instance details Defined in Ipe.Attributes Methods arrow :: Lens' (g :+ PathAttributes r) (Maybe (IpeArrow r)) Source #
HasArrow (PathAttributesF r f) (f (IpeArrow r)) Source #
Instance details Defined in Ipe.Attributes Methods arrow :: Lens' (PathAttributesF r f) (f (IpeArrow r)) Source #

class HasRArrow s a | s -> a where Source #

Methods

rArrow :: Lens' s a Source #

Instances

Instances details

HasRArrow (g :+ PathAttributes r) (Maybe (IpeArrow r)) Source #
Instance details Defined in Ipe.Attributes Methods rArrow :: Lens' (g :+ PathAttributes r) (Maybe (IpeArrow r)) Source #
HasRArrow (PathAttributesF r f) (f (IpeArrow r)) Source #
Instance details Defined in Ipe.Attributes Methods rArrow :: Lens' (PathAttributesF r f) (f (IpeArrow r)) Source #

class HasStrokeOpacity s a | s -> a where Source #

Methods

strokeOpacity :: Lens' s a Source #

Instances

Instances details

HasStrokeOpacity (g :+ PathAttributes r) (Maybe (IpeValue r)) Source #
Instance details Defined in Ipe.Attributes Methods strokeOpacity :: Lens' (g :+ PathAttributes r) (Maybe (IpeValue r)) Source #
HasStrokeOpacity (PathAttributesF r f) (f (IpeValue r)) Source #
Instance details Defined in Ipe.Attributes Methods strokeOpacity :: Lens' (PathAttributesF r f) (f (IpeValue r)) Source #

class HasOpacity s a | s -> a where Source #

Methods

opacity :: Lens' s a Source #

Instances

Instances details

HasOpacity (g :+ PathAttributes r) (Maybe (IpeValue r)) Source #
Instance details Defined in Ipe.Attributes Methods opacity :: Lens' (g :+ PathAttributes r) (Maybe (IpeValue r)) Source #
HasOpacity (g :+ TextAttributes r) (Maybe (IpeValue r)) Source #
Instance details Defined in Ipe.Attributes Methods opacity :: Lens' (g :+ TextAttributes r) (Maybe (IpeValue r)) Source #
HasOpacity (PathAttributesF r f) (f (IpeValue r)) Source #
Instance details Defined in Ipe.Attributes Methods opacity :: Lens' (PathAttributesF r f) (f (IpeValue r)) Source #
HasOpacity (TextAttributesF r f) (f (IpeValue r)) Source #
Instance details Defined in Ipe.Attributes Methods opacity :: Lens' (TextAttributesF r f) (f (IpeValue r)) Source #

class HasTiling s a | s -> a where Source #

Methods

tiling :: Lens' s a Source #

Instances

Instances details

HasTiling (g :+ PathAttributes r) (Maybe IpeTiling) Source #
Instance details Defined in Ipe.Attributes Methods tiling :: Lens' (g :+ PathAttributes r) (Maybe IpeTiling) Source #
HasTiling (PathAttributesF r f) (f IpeTiling) Source #
Instance details Defined in Ipe.Attributes Methods tiling :: Lens' (PathAttributesF r f) (f IpeTiling) Source #

class HasGradient s a | s -> a where Source #

Methods

gradient :: Lens' s a Source #

Instances

Instances details

HasGradient (g :+ PathAttributes r) (Maybe IpeGradient) Source #
Instance details Defined in Ipe.Attributes Methods gradient :: Lens' (g :+ PathAttributes r) (Maybe IpeGradient) Source #
HasGradient (PathAttributesF r f) (f IpeGradient) Source #
Instance details Defined in Ipe.Attributes Methods gradient :: Lens' (PathAttributesF r f) (f IpeGradient) Source #

data GroupAttributesF r (f :: Type -> Type) Source #

Constructors

GroupAttributes
Fields _commonAttrs :: !(CommonAttributes r f) _clip :: f (Path r)

Instances

Instances details

ApplicativeB (GroupAttributesF r :: (Type -> Type) -> Type) Source #

Instance details

Defined in Ipe.Attributes

Methods

bpure :: (forall a. f a) -> GroupAttributesF r f Source #

bprod :: forall (f :: Type -> Type) (g :: Type -> Type). GroupAttributesF r f -> GroupAttributesF r g -> GroupAttributesF r (Product f g) Source #

ConstraintsB (GroupAttributesF r :: (Type -> Type) -> Type) Source #

Instance details

Defined in Ipe.Attributes

Methods

baddDicts :: forall (c :: Type -> Constraint) (f :: Type -> Type). AllB c (GroupAttributesF r) => GroupAttributesF r f -> GroupAttributesF r (Product (Dict c) f) Source #

FunctorB (GroupAttributesF r :: (Type -> Type) -> Type) Source #

Instance details

Defined in Ipe.Attributes

Methods

bmap :: (forall a. f a -> g a) -> GroupAttributesF r f -> GroupAttributesF r g Source #

TraversableB (GroupAttributesF r :: (Type -> Type) -> Type) Source #

Instance details

Defined in Ipe.Attributes

Methods

btraverse :: Applicative e => (forall a. f a -> e (g a)) -> GroupAttributesF r f -> e (GroupAttributesF r g) Source #

AttributeNames (GroupAttributesF r :: (Type -> Type) -> Type) Source #

Instance details

Defined in Ipe.Attributes

Methods

attributeNames :: GroupAttributesF r (Const Text :: Type -> Type) Source #

(AllB IpeReadText (SymbolAttributesF r), AllB IpeReadText (CommonAttributes r), Eq r, Coordinate r) => IpeReadAttributes (GroupAttributes r) Source #

Instance details

Defined in Ipe.Reader

Methods

ipeReadAttrs :: [(Text, Text)] -> Either ConversionError (GroupAttributes r) Source #

(AllB IpeWriteText (CommonAttributes r), IpeWriteText r) => IpeWriteAttributes (GroupAttributes r) Source #

Instance details

Defined in Ipe.Writer

Methods

ipeWriteAttrs :: GroupAttributes r -> [(Text, Text)] Source #

(forall a. Default (f a)) => Default (GroupAttributesF r f) Source #

Instance details

Defined in Ipe.Attributes

Methods

def :: GroupAttributesF r f Source #

Generic (GroupAttributesF r f) Source #

Instance details

Defined in Ipe.Attributes

Associated Types

type Rep (GroupAttributesF r f)

Instance details

Defined in Ipe.Attributes

type Rep (GroupAttributesF r f) = D1 ('MetaData "GroupAttributesF" "Ipe.Attributes" "hgeometry-ipe-1.0.0.0-inplace" 'False) (C1 ('MetaCons "GroupAttributes" 'PrefixI 'True) (S1 ('MetaSel ('Just "_commonAttrs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CommonAttributes r f)) :*: S1 ('MetaSel ('Just "_clip") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (Path r)))))

Methods

from :: GroupAttributesF r f -> Rep (GroupAttributesF r f) x Source #

to :: Rep (GroupAttributesF r f) x -> GroupAttributesF r f Source #

(Show1 f, Show r) => Show (GroupAttributesF r f) Source #

Instance details

Defined in Ipe.Attributes

Methods

showsPrec :: Int -> GroupAttributesF r f -> ShowS Source #

show :: GroupAttributesF r f -> String Source #

showList :: [GroupAttributesF r f] -> ShowS Source #

(Eq1 f, Eq r) => Eq (GroupAttributesF r f) Source #

Instance details

Defined in Ipe.Attributes

Methods

(==) :: GroupAttributesF r f -> GroupAttributesF r f -> Bool Source #

(/=) :: GroupAttributesF r f -> GroupAttributesF r f -> Bool Source #

(HasDefaultIpeOut g, DefaultIpeOut g ~ Group, NumType g ~ r) => HasDefaultIpeOut (g :+ GroupAttributes r) Source #

Instance details

Defined in Ipe.IpeOut

Associated Types

type DefaultIpeOut (g :+ GroupAttributes r)
Instance details Defined in Ipe.IpeOut type DefaultIpeOut (g :+ GroupAttributes r) = Group

Methods

defIO :: IpeOut (g :+ GroupAttributes r) (DefaultIpeOut (g :+ GroupAttributes r)) (NumType (g :+ GroupAttributes r)) Source #

HasCommonAttributes (g :+ GroupAttributesF r f) r f Source #

Instance details

Defined in Ipe.Attributes

Methods

commonAttributes :: Lens' (g :+ GroupAttributesF r f) (CommonAttributes r f) Source #

layer :: Lens' (g :+ GroupAttributesF r f) (f LayerName) Source #

matrix :: Lens' (g :+ GroupAttributesF r f) (f (Matrix 3 3 r)) Source #

pin :: Lens' (g :+ GroupAttributesF r f) (f PinType) Source #

transformations :: Lens' (g :+ GroupAttributesF r f) (f TransformationTypes) Source #

HasCommonAttributes (GroupAttributesF r f) r f Source #

Instance details

Defined in Ipe.Attributes

Methods

commonAttributes :: Lens' (GroupAttributesF r f) (CommonAttributes r f) Source #

layer :: Lens' (GroupAttributesF r f) (f LayerName) Source #

matrix :: Lens' (GroupAttributesF r f) (f (Matrix 3 3 r)) Source #

pin :: Lens' (GroupAttributesF r f) (f PinType) Source #

transformations :: Lens' (GroupAttributesF r f) (f TransformationTypes) Source #

HasClip (g :+ GroupAttributes r) (Maybe (Path r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

clip :: Lens' (g :+ GroupAttributes r) (Maybe (Path r)) Source #

HasClip (GroupAttributesF r f) (f (Path r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

clip :: Lens' (GroupAttributesF r f) (f (Path r)) Source #

type AllB (c :: Type -> Constraint) (GroupAttributesF r :: (Type -> Type) -> Type) Source #

Instance details

Defined in Ipe.Attributes

type AllB (c :: Type -> Constraint) (GroupAttributesF r :: (Type -> Type) -> Type) = GAll 0 c (GAllRepB (GroupAttributesF r))

type Rep (GroupAttributesF r f) Source #

Instance details

Defined in Ipe.Attributes

type Rep (GroupAttributesF r f) = D1 ('MetaData "GroupAttributesF" "Ipe.Attributes" "hgeometry-ipe-1.0.0.0-inplace" 'False) (C1 ('MetaCons "GroupAttributes" 'PrefixI 'True) (S1 ('MetaSel ('Just "_commonAttrs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CommonAttributes r f)) :*: S1 ('MetaSel ('Just "_clip") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (Path r)))))

type DefaultIpeOut (g :+ GroupAttributes r) Source #

Instance details

Defined in Ipe.IpeOut

type DefaultIpeOut (g :+ GroupAttributes r) = Group

type GroupAttributes r = GroupAttributesF r Maybe Source #

class HasClip s a | s -> a where Source #

Methods

clip :: Lens' s a Source #

Instances

Instances details

HasClip (g :+ GroupAttributes r) (Maybe (Path r)) Source #
Instance details Defined in Ipe.Attributes Methods clip :: Lens' (g :+ GroupAttributes r) (Maybe (Path r)) Source #
HasClip (GroupAttributesF r f) (f (Path r)) Source #
Instance details Defined in Ipe.Attributes Methods clip :: Lens' (GroupAttributesF r f) (f (Path r)) Source #

data TextAttributesF r (f :: Type -> Type) Source #

Constructors

TextAttributes
Fields _commonAttrs :: !(CommonAttributes r f) _stroke :: f (IpeColor r) _textSize :: f (IpeSize r) _opacity :: f (IpeValue r) _textWidth :: f (TextSizeUnit r) _textHeight :: f (TextSizeUnit r) _depth :: f (TextSizeUnit r) _hAlign :: f HorizontalAlignment _vAlign :: f VerticalAlignment _style :: f TeXStyle

Instances

Instances details

ApplicativeB (TextAttributesF r :: (Type -> Type) -> Type) Source #

Instance details

Defined in Ipe.Attributes

Methods

bpure :: (forall a. f a) -> TextAttributesF r f Source #

bprod :: forall (f :: Type -> Type) (g :: Type -> Type). TextAttributesF r f -> TextAttributesF r g -> TextAttributesF r (Product f g) Source #

ConstraintsB (TextAttributesF r :: (Type -> Type) -> Type) Source #

Instance details

Defined in Ipe.Attributes

Methods

baddDicts :: forall (c :: Type -> Constraint) (f :: Type -> Type). AllB c (TextAttributesF r) => TextAttributesF r f -> TextAttributesF r (Product (Dict c) f) Source #

FunctorB (TextAttributesF r :: (Type -> Type) -> Type) Source #

Instance details

Defined in Ipe.Attributes

Methods

bmap :: (forall a. f a -> g a) -> TextAttributesF r f -> TextAttributesF r g Source #

TraversableB (TextAttributesF r :: (Type -> Type) -> Type) Source #

Instance details

Defined in Ipe.Attributes

Methods

btraverse :: Applicative e => (forall a. f a -> e (g a)) -> TextAttributesF r f -> e (TextAttributesF r g) Source #

AttributeNames (TextAttributesF r :: (Type -> Type) -> Type) Source #

Instance details

Defined in Ipe.Attributes

Methods

attributeNames :: TextAttributesF r (Const Text :: Type -> Type) Source #

(AllB IpeReadText (SymbolAttributesF r), AllB IpeReadText (CommonAttributes r), Coordinate r) => IpeReadAttributes (TextAttributes r) Source #

Instance details

Defined in Ipe.Reader

Methods

ipeReadAttrs :: [(Text, Text)] -> Either ConversionError (TextAttributes r) Source #

(AllB IpeWriteText (CommonAttributes r), IpeWriteText r) => IpeWriteAttributes (TextAttributes r) Source #

Instance details

Defined in Ipe.Writer

Methods

ipeWriteAttrs :: TextAttributes r -> [(Text, Text)] Source #

(forall a. Default (f a)) => Default (TextAttributesF r f) Source #

Instance details

Defined in Ipe.Attributes

Methods

def :: TextAttributesF r f Source #

Generic (TextAttributesF r f) Source #

Instance details

Defined in Ipe.Attributes

Associated Types

type Rep (TextAttributesF r f)

Instance details

Defined in Ipe.Attributes

Methods

from :: TextAttributesF r f -> Rep (TextAttributesF r f) x Source #

to :: Rep (TextAttributesF r f) x -> TextAttributesF r f Source #

(Show1 f, Show r) => Show (TextAttributesF r f) Source #

Instance details

Defined in Ipe.Attributes

Methods

showsPrec :: Int -> TextAttributesF r f -> ShowS Source #

show :: TextAttributesF r f -> String Source #

showList :: [TextAttributesF r f] -> ShowS Source #

(Eq1 f, Eq r) => Eq (TextAttributesF r f) Source #

Instance details

Defined in Ipe.Attributes

Methods

(==) :: TextAttributesF r f -> TextAttributesF r f -> Bool Source #

(/=) :: TextAttributesF r f -> TextAttributesF r f -> Bool Source #

HasCommonAttributes (g :+ TextAttributesF r f) r f Source #

Instance details

Defined in Ipe.Attributes

Methods

commonAttributes :: Lens' (g :+ TextAttributesF r f) (CommonAttributes r f) Source #

layer :: Lens' (g :+ TextAttributesF r f) (f LayerName) Source #

matrix :: Lens' (g :+ TextAttributesF r f) (f (Matrix 3 3 r)) Source #

pin :: Lens' (g :+ TextAttributesF r f) (f PinType) Source #

transformations :: Lens' (g :+ TextAttributesF r f) (f TransformationTypes) Source #

HasCommonAttributes (TextAttributesF r f) r f Source #

Instance details

Defined in Ipe.Attributes

Methods

commonAttributes :: Lens' (TextAttributesF r f) (CommonAttributes r f) Source #

layer :: Lens' (TextAttributesF r f) (f LayerName) Source #

matrix :: Lens' (TextAttributesF r f) (f (Matrix 3 3 r)) Source #

pin :: Lens' (TextAttributesF r f) (f PinType) Source #

transformations :: Lens' (TextAttributesF r f) (f TransformationTypes) Source #

HasDepth (g :+ TextAttributes r) (Maybe (TextSizeUnit r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

depth :: Lens' (g :+ TextAttributes r) (Maybe (TextSizeUnit r)) Source #

HasDepth (TextAttributesF r f) (f (TextSizeUnit r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

depth :: Lens' (TextAttributesF r f) (f (TextSizeUnit r)) Source #

HasHAlign (g :+ TextAttributes r) (Maybe HorizontalAlignment) Source #

Instance details

Defined in Ipe.Attributes

Methods

hAlign :: Lens' (g :+ TextAttributes r) (Maybe HorizontalAlignment) Source #

HasHAlign (TextAttributesF r f) (f HorizontalAlignment) Source #

Instance details

Defined in Ipe.Attributes

Methods

hAlign :: Lens' (TextAttributesF r f) (f HorizontalAlignment) Source #

HasOpacity (g :+ TextAttributes r) (Maybe (IpeValue r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

opacity :: Lens' (g :+ TextAttributes r) (Maybe (IpeValue r)) Source #

HasOpacity (TextAttributesF r f) (f (IpeValue r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

opacity :: Lens' (TextAttributesF r f) (f (IpeValue r)) Source #

HasStroke (g :+ TextAttributes r) (Maybe (IpeColor r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

stroke :: Lens' (g :+ TextAttributes r) (Maybe (IpeColor r)) Source #

HasStroke (TextAttributesF r f) (f (IpeColor r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

stroke :: Lens' (TextAttributesF r f) (f (IpeColor r)) Source #

HasStyle (g :+ TextAttributes r) (Maybe TeXStyle) Source #

Instance details

Defined in Ipe.Attributes

Methods

style :: Lens' (g :+ TextAttributes r) (Maybe TeXStyle) Source #

HasStyle (TextAttributesF r f) (f TeXStyle) Source #

Instance details

Defined in Ipe.Attributes

Methods

style :: Lens' (TextAttributesF r f) (f TeXStyle) Source #

HasTextHeight (g :+ TextAttributes r) (Maybe (TextSizeUnit r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

textHeight :: Lens' (g :+ TextAttributes r) (Maybe (TextSizeUnit r)) Source #

HasTextHeight (TextAttributesF r f) (f (TextSizeUnit r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

textHeight :: Lens' (TextAttributesF r f) (f (TextSizeUnit r)) Source #

HasTextSize (g :+ TextAttributes r) (Maybe (IpeSize r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

textSize :: Lens' (g :+ TextAttributes r) (Maybe (IpeSize r)) Source #

HasTextSize (TextAttributesF r f) (f (IpeSize r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

textSize :: Lens' (TextAttributesF r f) (f (IpeSize r)) Source #

HasTextWidth (g :+ TextAttributes r) (Maybe (TextSizeUnit r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

textWidth :: Lens' (g :+ TextAttributes r) (Maybe (TextSizeUnit r)) Source #

HasTextWidth (TextAttributesF r f) (f (TextSizeUnit r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

textWidth :: Lens' (TextAttributesF r f) (f (TextSizeUnit r)) Source #

HasVAlign (g :+ TextAttributes r) (Maybe VerticalAlignment) Source #

Instance details

Defined in Ipe.Attributes

Methods

vAlign :: Lens' (g :+ TextAttributes r) (Maybe VerticalAlignment) Source #

HasVAlign (TextAttributesF r f) (f VerticalAlignment) Source #

Instance details

Defined in Ipe.Attributes

Methods

vAlign :: Lens' (TextAttributesF r f) (f VerticalAlignment) Source #

type AllB (c :: Type -> Constraint) (TextAttributesF r :: (Type -> Type) -> Type) Source #

Instance details

Defined in Ipe.Attributes

type AllB (c :: Type -> Constraint) (TextAttributesF r :: (Type -> Type) -> Type) = GAll 0 c (GAllRepB (TextAttributesF r))

type Rep (TextAttributesF r f) Source #

Instance details

Defined in Ipe.Attributes

type TextAttributes r = TextAttributesF r Maybe Source #

class HasTextSize s a | s -> a where Source #

Methods

textSize :: Lens' s a Source #

Instances

Instances details

HasTextSize (g :+ TextAttributes r) (Maybe (IpeSize r)) Source #
Instance details Defined in Ipe.Attributes Methods textSize :: Lens' (g :+ TextAttributes r) (Maybe (IpeSize r)) Source #
HasTextSize (TextAttributesF r f) (f (IpeSize r)) Source #
Instance details Defined in Ipe.Attributes Methods textSize :: Lens' (TextAttributesF r f) (f (IpeSize r)) Source #

class HasTextWidth s a | s -> a where Source #

Methods

textWidth :: Lens' s a Source #

Instances

Instances details

HasTextWidth (g :+ TextAttributes r) (Maybe (TextSizeUnit r)) Source #
Instance details Defined in Ipe.Attributes Methods textWidth :: Lens' (g :+ TextAttributes r) (Maybe (TextSizeUnit r)) Source #
HasTextWidth (TextAttributesF r f) (f (TextSizeUnit r)) Source #
Instance details Defined in Ipe.Attributes Methods textWidth :: Lens' (TextAttributesF r f) (f (TextSizeUnit r)) Source #

class HasTextHeight s a | s -> a where Source #

Methods

textHeight :: Lens' s a Source #

Instances

Instances details

HasTextHeight (g :+ TextAttributes r) (Maybe (TextSizeUnit r)) Source #
Instance details Defined in Ipe.Attributes Methods textHeight :: Lens' (g :+ TextAttributes r) (Maybe (TextSizeUnit r)) Source #
HasTextHeight (TextAttributesF r f) (f (TextSizeUnit r)) Source #
Instance details Defined in Ipe.Attributes Methods textHeight :: Lens' (TextAttributesF r f) (f (TextSizeUnit r)) Source #

class HasDepth s a | s -> a where Source #

Methods

depth :: Lens' s a Source #

Instances

Instances details

HasDepth (g :+ TextAttributes r) (Maybe (TextSizeUnit r)) Source #
Instance details Defined in Ipe.Attributes Methods depth :: Lens' (g :+ TextAttributes r) (Maybe (TextSizeUnit r)) Source #
HasDepth (TextAttributesF r f) (f (TextSizeUnit r)) Source #
Instance details Defined in Ipe.Attributes Methods depth :: Lens' (TextAttributesF r f) (f (TextSizeUnit r)) Source #

class HasHAlign s a | s -> a where Source #

Methods

hAlign :: Lens' s a Source #

Instances

Instances details

HasHAlign (g :+ TextAttributes r) (Maybe HorizontalAlignment) Source #
Instance details Defined in Ipe.Attributes Methods hAlign :: Lens' (g :+ TextAttributes r) (Maybe HorizontalAlignment) Source #
HasHAlign (TextAttributesF r f) (f HorizontalAlignment) Source #
Instance details Defined in Ipe.Attributes Methods hAlign :: Lens' (TextAttributesF r f) (f HorizontalAlignment) Source #

class HasVAlign s a | s -> a where Source #

Methods

vAlign :: Lens' s a Source #

Instances

Instances details

HasVAlign (g :+ TextAttributes r) (Maybe VerticalAlignment) Source #
Instance details Defined in Ipe.Attributes Methods vAlign :: Lens' (g :+ TextAttributes r) (Maybe VerticalAlignment) Source #
HasVAlign (TextAttributesF r f) (f VerticalAlignment) Source #
Instance details Defined in Ipe.Attributes Methods vAlign :: Lens' (TextAttributesF r f) (f VerticalAlignment) Source #

class HasStyle s a | s -> a where Source #

Methods

style :: Lens' s a Source #

Instances

Instances details

HasStyle (g :+ TextAttributes r) (Maybe TeXStyle) Source #
Instance details Defined in Ipe.Attributes Methods style :: Lens' (g :+ TextAttributes r) (Maybe TeXStyle) Source #
HasStyle (TextAttributesF r f) (f TeXStyle) Source #
Instance details Defined in Ipe.Attributes Methods style :: Lens' (TextAttributesF r f) (f TeXStyle) Source #

type ImageAttributes r = CommonAttributes r Maybe Source #

class AttributeNames (ats :: (k -> Type) -> Type) where Source #

Methods

attributeNames :: ats (Const Text :: k -> Type) Source #

Construct the attribute names

Instances

Instances details

AttributeNames (CommonAttributes r :: (Type -> Type) -> Type) Source #
Instance details Defined in Ipe.Attributes Methods attributeNames :: CommonAttributes r (Const Text :: Type -> Type) Source #
AttributeNames (GroupAttributesF r :: (Type -> Type) -> Type) Source #
Instance details Defined in Ipe.Attributes Methods attributeNames :: GroupAttributesF r (Const Text :: Type -> Type) Source #
AttributeNames (PathAttributesF r :: (Type -> Type) -> Type) Source #
Instance details Defined in Ipe.Attributes Methods attributeNames :: PathAttributesF r (Const Text :: Type -> Type) Source #
AttributeNames (SymbolAttributesF r :: (Type -> Type) -> Type) Source #
Instance details Defined in Ipe.Attributes Methods attributeNames :: SymbolAttributesF r (Const Text :: Type -> Type) Source #
AttributeNames (TextAttributesF r :: (Type -> Type) -> Type) Source #
Instance details Defined in Ipe.Attributes Methods attributeNames :: TextAttributesF r (Const Text :: Type -> Type) Source #

mkAttrs :: Default at => [at -> at] -> at Source #

Constructs attrs

applyAttrs :: [at -> at] -> at -> at Source #

Apply a the attributes

traverseCommon :: forall g (f :: Type -> Type) r s. (Applicative g, Traversable f) => (r -> g s) -> CommonAttributes r f -> g (CommonAttributes s f) Source #

Traverse for common attributes

traverseText :: forall g (f :: Type -> Type) r s. (Applicative g, Traversable f) => (r -> g s) -> TextAttributesF r f -> g (TextAttributesF s f) Source #

traversePath :: forall g (f :: Type -> Type) r s. (Applicative g, Traversable f) => (r -> g s) -> PathAttributesF r f -> g (PathAttributesF s f) Source #

traverseSymbol :: forall g (f :: Type -> Type) r s. (Applicative g, Traversable f) => (r -> g s) -> SymbolAttributesF r f -> g (SymbolAttributesF s f) Source #

traverseGroup :: forall g (f :: Type -> Type) r s. (Applicative g, Traversable f) => (r -> g s) -> GroupAttributesF r f -> g (GroupAttributesF s f) Source #

_Bevel :: Prism' LineJoin () Source #

_Miter :: Prism' LineJoin () Source #

_Round :: Prism' LineJoin () Source #

arrowName :: forall r f. Functor f => (Text -> f Text) -> IpeArrow r -> f (IpeArrow r) Source #

arrowSize :: forall r1 r2 f. Functor f => (IpeSize r1 -> f (IpeSize r2)) -> IpeArrow r1 -> f (IpeArrow r2) Source #

normalArrow :: IpeArrow r Source #

A normal arrow

data FillType Source #

Allowed Fill types

Constructors

Wind
EOFill

Instances

Instances details

Finitary FillType Source #

Instance details

Defined in Ipe.Attributes.Types

Associated Types

type Cardinality FillType
Instance details Defined in Ipe.Attributes.Types type Cardinality FillType = GCardinality (Rep FillType)

Methods

fromFinite :: Finite (Cardinality FillType) -> FillType Source #

toFinite :: FillType -> Finite (Cardinality FillType) Source #

start :: FillType Source #

end :: FillType Source #

previous :: FillType -> Maybe FillType Source #

next :: FillType -> Maybe FillType Source #

Generic FillType Source #

Instance details

Defined in Ipe.Attributes.Types

Associated Types

type Rep FillType
Instance details Defined in Ipe.Attributes.Types type Rep FillType = D1 ('MetaData "FillType" "Ipe.Attributes.Types" "hgeometry-ipe-1.0.0.0-inplace" 'False) (C1 ('MetaCons "Wind" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "EOFill" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: FillType -> Rep FillType x Source #

to :: Rep FillType x -> FillType Source #

Read FillType Source #

Instance details

Defined in Ipe.Attributes.Types

Methods

readsPrec :: Int -> ReadS FillType Source #

readList :: ReadS [FillType] Source #

readPrec :: ReadPrec FillType Source #

readListPrec :: ReadPrec [FillType] Source #

Show FillType Source #

Instance details

Defined in Ipe.Attributes.Types

Methods

showsPrec :: Int -> FillType -> ShowS Source #

show :: FillType -> String Source #

showList :: [FillType] -> ShowS Source #

Eq FillType Source #

Instance details

Defined in Ipe.Attributes.Types

Methods

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

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

IpeReadText FillType Source #

Instance details

Defined in Ipe.Reader

Methods

ipeReadText :: Text -> Either ConversionError FillType Source #

IpeWriteText FillType Source #

Instance details

Defined in Ipe.Writer

Methods

ipeWriteText :: FillType -> Maybe Text Source #

HasFillRule (g :+ PathAttributes r) (Maybe FillType) Source #

Instance details

Defined in Ipe.Attributes

Methods

fillRule :: Lens' (g :+ PathAttributes r) (Maybe FillType) Source #

HasFillRule (PathAttributesF r f) (f FillType) Source #

Instance details

Defined in Ipe.Attributes

Methods

fillRule :: Lens' (PathAttributesF r f) (f FillType) Source #

type Cardinality FillType Source #

Instance details

Defined in Ipe.Attributes.Types

type Cardinality FillType = GCardinality (Rep FillType)

type Rep FillType Source #

Instance details

Defined in Ipe.Attributes.Types

type Rep FillType = D1 ('MetaData "FillType" "Ipe.Attributes.Types" "hgeometry-ipe-1.0.0.0-inplace" 'False) (C1 ('MetaCons "Wind" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "EOFill" 'PrefixI 'False) (U1 :: Type -> Type))

data HorizontalAlignment Source #

Constructors

AlignLeft
AlignHCenter
AlignRight

Instances

Instances details

Finitary HorizontalAlignment Source #

Instance details

Defined in Ipe.Attributes.Types

Associated Types

type Cardinality HorizontalAlignment
Instance details Defined in Ipe.Attributes.Types type Cardinality HorizontalAlignment = GCardinality (Rep HorizontalAlignment)

Generic HorizontalAlignment Source #

Instance details

Defined in Ipe.Attributes.Types

Associated Types

type Rep HorizontalAlignment
Instance details Defined in Ipe.Attributes.Types type Rep HorizontalAlignment = D1 ('MetaData "HorizontalAlignment" "Ipe.Attributes.Types" "hgeometry-ipe-1.0.0.0-inplace" 'False) (C1 ('MetaCons "AlignLeft" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "AlignHCenter" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AlignRight" 'PrefixI 'False) (U1 :: Type -> Type)))

Methods

from :: HorizontalAlignment -> Rep HorizontalAlignment x Source #

to :: Rep HorizontalAlignment x -> HorizontalAlignment Source #

Read HorizontalAlignment Source #

Instance details

Defined in Ipe.Attributes.Types

Methods

readsPrec :: Int -> ReadS HorizontalAlignment Source #

readList :: ReadS [HorizontalAlignment] Source #

readPrec :: ReadPrec HorizontalAlignment Source #

readListPrec :: ReadPrec [HorizontalAlignment] Source #

Show HorizontalAlignment Source #

Instance details

Defined in Ipe.Attributes.Types

Methods

showsPrec :: Int -> HorizontalAlignment -> ShowS Source #

show :: HorizontalAlignment -> String Source #

showList :: [HorizontalAlignment] -> ShowS Source #

Eq HorizontalAlignment Source #

Instance details

Defined in Ipe.Attributes.Types

Methods

(==) :: HorizontalAlignment -> HorizontalAlignment -> Bool Source #

(/=) :: HorizontalAlignment -> HorizontalAlignment -> Bool Source #

Ord HorizontalAlignment Source #

Instance details

Defined in Ipe.Attributes.Types

Methods

compare :: HorizontalAlignment -> HorizontalAlignment -> Ordering Source #

(<) :: HorizontalAlignment -> HorizontalAlignment -> Bool Source #

(<=) :: HorizontalAlignment -> HorizontalAlignment -> Bool Source #

(>) :: HorizontalAlignment -> HorizontalAlignment -> Bool Source #

(>=) :: HorizontalAlignment -> HorizontalAlignment -> Bool Source #

max :: HorizontalAlignment -> HorizontalAlignment -> HorizontalAlignment Source #

min :: HorizontalAlignment -> HorizontalAlignment -> HorizontalAlignment Source #

IpeReadText HorizontalAlignment Source #

Instance details

Defined in Ipe.Reader

Methods

ipeReadText :: Text -> Either ConversionError HorizontalAlignment Source #

IpeWriteText HorizontalAlignment Source #

Instance details

Defined in Ipe.Writer

Methods

ipeWriteText :: HorizontalAlignment -> Maybe Text Source #

HasHAlign (g :+ TextAttributes r) (Maybe HorizontalAlignment) Source #

Instance details

Defined in Ipe.Attributes

Methods

hAlign :: Lens' (g :+ TextAttributes r) (Maybe HorizontalAlignment) Source #

HasHAlign (TextAttributesF r f) (f HorizontalAlignment) Source #

Instance details

Defined in Ipe.Attributes

Methods

hAlign :: Lens' (TextAttributesF r f) (f HorizontalAlignment) Source #

type Cardinality HorizontalAlignment Source #

Instance details

Defined in Ipe.Attributes.Types

type Cardinality HorizontalAlignment = GCardinality (Rep HorizontalAlignment)

type Rep HorizontalAlignment Source #

Instance details

Defined in Ipe.Attributes.Types

type Rep HorizontalAlignment = D1 ('MetaData "HorizontalAlignment" "Ipe.Attributes.Types" "hgeometry-ipe-1.0.0.0-inplace" 'False) (C1 ('MetaCons "AlignLeft" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "AlignHCenter" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AlignRight" 'PrefixI 'False) (U1 :: Type -> Type)))

data IpeArrow r Source #

Possible values for an ipe arrow

Constructors

IpeArrow
Fields _arrowName :: Text _arrowSize :: IpeSize r

Instances

Instances details

Functor IpeArrow Source #

Instance details

Defined in Ipe.Attributes.Types

Methods

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

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

Foldable IpeArrow Source #

Instance details

Defined in Ipe.Attributes.Types

Methods

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

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

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

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

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

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

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

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

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

toList :: IpeArrow a -> [a] Source #

null :: IpeArrow a -> Bool Source #

length :: IpeArrow a -> Int Source #

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

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

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

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

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

Traversable IpeArrow Source #

Instance details

Defined in Ipe.Attributes.Types

Methods

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

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

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

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

Generic (IpeArrow r) Source #

Instance details

Defined in Ipe.Attributes.Types

Associated Types

type Rep (IpeArrow r)

Instance details

Defined in Ipe.Attributes.Types

type Rep (IpeArrow r) = D1 ('MetaData "IpeArrow" "Ipe.Attributes.Types" "hgeometry-ipe-1.0.0.0-inplace" 'False) (C1 ('MetaCons "IpeArrow" 'PrefixI 'True) (S1 ('MetaSel ('Just "_arrowName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "_arrowSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (IpeSize r))))

Methods

from :: IpeArrow r -> Rep (IpeArrow r) x Source #

to :: Rep (IpeArrow r) x -> IpeArrow r Source #

Show r => Show (IpeArrow r) Source #

Instance details

Defined in Ipe.Attributes.Types

Methods

showsPrec :: Int -> IpeArrow r -> ShowS Source #

show :: IpeArrow r -> String Source #

showList :: [IpeArrow r] -> ShowS Source #

Eq r => Eq (IpeArrow r) Source #

Instance details

Defined in Ipe.Attributes.Types

Methods

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

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

Coordinate r => IpeReadText (IpeArrow r) Source #

Instance details

Defined in Ipe.Reader

Methods

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

IpeWriteText r => IpeWriteText (IpeArrow r) Source #

Instance details

Defined in Ipe.Writer

Methods

ipeWriteText :: IpeArrow r -> Maybe Text Source #

HasArrow (g :+ PathAttributes r) (Maybe (IpeArrow r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

arrow :: Lens' (g :+ PathAttributes r) (Maybe (IpeArrow r)) Source #

HasArrow (PathAttributesF r f) (f (IpeArrow r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

arrow :: Lens' (PathAttributesF r f) (f (IpeArrow r)) Source #

HasRArrow (g :+ PathAttributes r) (Maybe (IpeArrow r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

rArrow :: Lens' (g :+ PathAttributes r) (Maybe (IpeArrow r)) Source #

HasRArrow (PathAttributesF r f) (f (IpeArrow r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

rArrow :: Lens' (PathAttributesF r f) (f (IpeArrow r)) Source #

type Rep (IpeArrow r) Source #

Instance details

Defined in Ipe.Attributes.Types

type Rep (IpeArrow r) = D1 ('MetaData "IpeArrow" "Ipe.Attributes.Types" "hgeometry-ipe-1.0.0.0-inplace" 'False) (C1 ('MetaCons "IpeArrow" 'PrefixI 'True) (S1 ('MetaSel ('Just "_arrowName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "_arrowSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (IpeSize r))))

data IpeDash r Source #

Possible values for Dash

Constructors

DashNamed Text
DashPattern [r] r

Instances

Instances details

Functor IpeDash Source #

Instance details

Defined in Ipe.Attributes.Types

Methods

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

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

Foldable IpeDash Source #

Instance details

Defined in Ipe.Attributes.Types

Methods

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

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

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

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

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

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

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

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

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

toList :: IpeDash a -> [a] Source #

null :: IpeDash a -> Bool Source #

length :: IpeDash a -> Int Source #

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

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

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

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

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

Traversable IpeDash Source #

Instance details

Defined in Ipe.Attributes.Types

Methods

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

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

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

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

Generic (IpeDash r) Source #

Instance details

Defined in Ipe.Attributes.Types

Associated Types

type Rep (IpeDash r)

Instance details

Defined in Ipe.Attributes.Types

type Rep (IpeDash r) = D1 ('MetaData "IpeDash" "Ipe.Attributes.Types" "hgeometry-ipe-1.0.0.0-inplace" 'False) (C1 ('MetaCons "DashNamed" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "DashPattern" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [r]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 r)))

Methods

from :: IpeDash r -> Rep (IpeDash r) x Source #

to :: Rep (IpeDash r) x -> IpeDash r Source #

Show r => Show (IpeDash r) Source #

Instance details

Defined in Ipe.Attributes.Types

Methods

showsPrec :: Int -> IpeDash r -> ShowS Source #

show :: IpeDash r -> String Source #

showList :: [IpeDash r] -> ShowS Source #

Eq r => Eq (IpeDash r) Source #

Instance details

Defined in Ipe.Attributes.Types

Methods

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

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

Coordinate r => IpeReadText (IpeDash r) Source #

Instance details

Defined in Ipe.Reader

Methods

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

IpeWriteText r => IpeWriteText (IpeDash r) Source #

Instance details

Defined in Ipe.Writer

Methods

ipeWriteText :: IpeDash r -> Maybe Text Source #

HasDash (g :+ PathAttributes r) (Maybe (IpeDash r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

dash :: Lens' (g :+ PathAttributes r) (Maybe (IpeDash r)) Source #

HasDash (PathAttributesF r f) (f (IpeDash r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

dash :: Lens' (PathAttributesF r f) (f (IpeDash r)) Source #

type Rep (IpeDash r) Source #

Instance details

Defined in Ipe.Attributes.Types

type Rep (IpeDash r) = D1 ('MetaData "IpeDash" "Ipe.Attributes.Types" "hgeometry-ipe-1.0.0.0-inplace" 'False) (C1 ('MetaCons "DashNamed" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "DashPattern" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [r]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 r)))

type IpeGradient = Text Source #

type IpeOpacity = Text Source #

IpeOpacity, IpeTyling, and IpeGradient are all symbolic values

newtype IpePen r Source #

Pen/Thickness

Constructors

IpePen (IpeValue r)

Instances

Instances details

Functor IpePen Source #

Instance details

Defined in Ipe.Attributes.Types

Methods

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

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

Foldable IpePen Source #

Instance details

Defined in Ipe.Attributes.Types

Methods

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

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

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

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

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

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

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

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

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

toList :: IpePen a -> [a] Source #

null :: IpePen a -> Bool Source #

length :: IpePen a -> Int Source #

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

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

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

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

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

Traversable IpePen Source #

Instance details

Defined in Ipe.Attributes.Types

Methods

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

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

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

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

Generic (IpePen r) Source #

Instance details

Defined in Ipe.Attributes.Types

Associated Types

type Rep (IpePen r)
Instance details Defined in Ipe.Attributes.Types type Rep (IpePen r) = D1 ('MetaData "IpePen" "Ipe.Attributes.Types" "hgeometry-ipe-1.0.0.0-inplace" 'True) (C1 ('MetaCons "IpePen" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (IpeValue r))))

Methods

from :: IpePen r -> Rep (IpePen r) x Source #

to :: Rep (IpePen r) x -> IpePen r Source #

Show r => Show (IpePen r) Source #

Instance details

Defined in Ipe.Attributes.Types

Methods

showsPrec :: Int -> IpePen r -> ShowS Source #

show :: IpePen r -> String Source #

showList :: [IpePen r] -> ShowS Source #

Eq r => Eq (IpePen r) Source #

Instance details

Defined in Ipe.Attributes.Types

Methods

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

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

Ord r => Ord (IpePen r) Source #

Instance details

Defined in Ipe.Attributes.Types

Methods

compare :: IpePen r -> IpePen r -> Ordering Source #

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

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

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

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

max :: IpePen r -> IpePen r -> IpePen r Source #

min :: IpePen r -> IpePen r -> IpePen r Source #

Coordinate r => IpeReadText (IpePen r) Source #

Instance details

Defined in Ipe.Reader

Methods

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

IpeWriteText r => IpeWriteText (IpePen r) Source #

Instance details

Defined in Ipe.Writer

Methods

ipeWriteText :: IpePen r -> Maybe Text Source #

HasPen (g :+ PathAttributes r) (Maybe (IpePen r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

pen :: Lens' (g :+ PathAttributes r) (Maybe (IpePen r)) Source #

HasPen (g :+ SymbolAttributes r) (Maybe (IpePen r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

pen :: Lens' (g :+ SymbolAttributes r) (Maybe (IpePen r)) Source #

HasPen (PathAttributesF r f) (f (IpePen r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

pen :: Lens' (PathAttributesF r f) (f (IpePen r)) Source #

HasPen (SymbolAttributesF r f) (f (IpePen r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

pen :: Lens' (SymbolAttributesF r f) (f (IpePen r)) Source #

type Rep (IpePen r) Source #

Instance details

Defined in Ipe.Attributes.Types

type Rep (IpePen r) = D1 ('MetaData "IpePen" "Ipe.Attributes.Types" "hgeometry-ipe-1.0.0.0-inplace" 'True) (C1 ('MetaCons "IpePen" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (IpeValue r))))

newtype IpeSize r Source #

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

Size

Constructors

IpeSize (IpeValue r)

Instances

Instances details

Functor IpeSize Source #

Instance details

Defined in Ipe.Attributes.Types

Methods

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

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

Foldable IpeSize Source #

Instance details

Defined in Ipe.Attributes.Types

Methods

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

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

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

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

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

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

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

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

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

toList :: IpeSize a -> [a] Source #

null :: IpeSize a -> Bool Source #

length :: IpeSize a -> Int Source #

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

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

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

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

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

Traversable IpeSize Source #

Instance details

Defined in Ipe.Attributes.Types

Methods

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

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

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

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

Generic (IpeSize r) Source #

Instance details

Defined in Ipe.Attributes.Types

Associated Types

type Rep (IpeSize r)
Instance details Defined in Ipe.Attributes.Types type Rep (IpeSize r) = D1 ('MetaData "IpeSize" "Ipe.Attributes.Types" "hgeometry-ipe-1.0.0.0-inplace" 'True) (C1 ('MetaCons "IpeSize" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (IpeValue r))))

Methods

from :: IpeSize r -> Rep (IpeSize r) x Source #

to :: Rep (IpeSize r) x -> IpeSize r Source #

Show r => Show (IpeSize r) Source #

Instance details

Defined in Ipe.Attributes.Types

Methods

showsPrec :: Int -> IpeSize r -> ShowS Source #

show :: IpeSize r -> String Source #

showList :: [IpeSize r] -> ShowS Source #

Eq r => Eq (IpeSize r) Source #

Instance details

Defined in Ipe.Attributes.Types

Methods

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

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

Ord r => Ord (IpeSize r) Source #

Instance details

Defined in Ipe.Attributes.Types

Methods

compare :: IpeSize r -> IpeSize r -> Ordering Source #

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

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

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

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

max :: IpeSize r -> IpeSize r -> IpeSize r Source #

min :: IpeSize r -> IpeSize r -> IpeSize r Source #

Coordinate r => IpeReadText (IpeSize r) Source #

Instance details

Defined in Ipe.Reader

Methods

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

IpeWriteText r => IpeWriteText (IpeSize r) Source #

Instance details

Defined in Ipe.Writer

Methods

ipeWriteText :: IpeSize r -> Maybe Text Source #

HasSymbolSize (g :+ SymbolAttributes r) (Maybe (IpeSize r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

symbolSize :: Lens' (g :+ SymbolAttributes r) (Maybe (IpeSize r)) Source #

HasSymbolSize (SymbolAttributesF r f) (f (IpeSize r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

symbolSize :: Lens' (SymbolAttributesF r f) (f (IpeSize r)) Source #

HasTextSize (g :+ TextAttributes r) (Maybe (IpeSize r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

textSize :: Lens' (g :+ TextAttributes r) (Maybe (IpeSize r)) Source #

HasTextSize (TextAttributesF r f) (f (IpeSize r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

textSize :: Lens' (TextAttributesF r f) (f (IpeSize r)) Source #

type Rep (IpeSize r) Source #

Instance details

Defined in Ipe.Attributes.Types

type Rep (IpeSize r) = D1 ('MetaData "IpeSize" "Ipe.Attributes.Types" "hgeometry-ipe-1.0.0.0-inplace" 'True) (C1 ('MetaCons "IpeSize" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (IpeValue r))))

type IpeTiling = Text Source #

data LineJoin Source #

A type Representing possible LineJoin values

Constructors

Miter
Round
Bevel

Instances

Instances details

Default LineJoin Source #

Instance details

Defined in Ipe.Attributes.Types

Methods

def :: LineJoin Source #

Finitary LineJoin Source #

Instance details

Defined in Ipe.Attributes.Types

Associated Types

type Cardinality LineJoin
Instance details Defined in Ipe.Attributes.Types type Cardinality LineJoin = GCardinality (Rep LineJoin)

Methods

fromFinite :: Finite (Cardinality LineJoin) -> LineJoin Source #

toFinite :: LineJoin -> Finite (Cardinality LineJoin) Source #

start :: LineJoin Source #

end :: LineJoin Source #

previous :: LineJoin -> Maybe LineJoin Source #

next :: LineJoin -> Maybe LineJoin Source #

Generic LineJoin Source #

Instance details

Defined in Ipe.Attributes.Types

Associated Types

type Rep LineJoin
Instance details Defined in Ipe.Attributes.Types type Rep LineJoin = D1 ('MetaData "LineJoin" "Ipe.Attributes.Types" "hgeometry-ipe-1.0.0.0-inplace" 'False) (C1 ('MetaCons "Miter" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Round" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Bevel" 'PrefixI 'False) (U1 :: Type -> Type)))

Methods

from :: LineJoin -> Rep LineJoin x Source #

to :: Rep LineJoin x -> LineJoin Source #

Read LineJoin Source #

Instance details

Defined in Ipe.Attributes.Types

Methods

readsPrec :: Int -> ReadS LineJoin Source #

readList :: ReadS [LineJoin] Source #

readPrec :: ReadPrec LineJoin Source #

readListPrec :: ReadPrec [LineJoin] Source #

Show LineJoin Source #

Instance details

Defined in Ipe.Attributes.Types

Methods

showsPrec :: Int -> LineJoin -> ShowS Source #

show :: LineJoin -> String Source #

showList :: [LineJoin] -> ShowS Source #

Eq LineJoin Source #

Instance details

Defined in Ipe.Attributes.Types

Methods

(==) :: LineJoin -> LineJoin -> Bool Source #

(/=) :: LineJoin -> LineJoin -> Bool Source #

IpeReadText LineJoin Source #

Instance details

Defined in Ipe.Reader

Methods

ipeReadText :: Text -> Either ConversionError LineJoin Source #

IpeWriteText LineJoin Source #

Instance details

Defined in Ipe.Writer

Methods

ipeWriteText :: LineJoin -> Maybe Text Source #

HasLineJoin (g :+ PathAttributes r) (Maybe LineJoin) Source #

Instance details

Defined in Ipe.Attributes

Methods

lineJoin :: Lens' (g :+ PathAttributes r) (Maybe LineJoin) Source #

HasLineJoin (PathAttributesF r f) (f LineJoin) Source #

Instance details

Defined in Ipe.Attributes

Methods

lineJoin :: Lens' (PathAttributesF r f) (f LineJoin) Source #

type Cardinality LineJoin Source #

Instance details

Defined in Ipe.Attributes.Types

type Cardinality LineJoin = GCardinality (Rep LineJoin)

type Rep LineJoin Source #

Instance details

Defined in Ipe.Attributes.Types

type Rep LineJoin = D1 ('MetaData "LineJoin" "Ipe.Attributes.Types" "hgeometry-ipe-1.0.0.0-inplace" 'False) (C1 ('MetaCons "Miter" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Round" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Bevel" 'PrefixI 'False) (U1 :: Type -> Type)))

data PinType Source #

Possible values for Pin

Constructors

No
Yes
Horizontal
Vertical

Instances

Instances details

Finitary PinType Source #

Instance details

Defined in Ipe.Attributes.Types

Associated Types

type Cardinality PinType
Instance details Defined in Ipe.Attributes.Types type Cardinality PinType = GCardinality (Rep PinType)

Methods

fromFinite :: Finite (Cardinality PinType) -> PinType Source #

toFinite :: PinType -> Finite (Cardinality PinType) Source #

start :: PinType Source #

end :: PinType Source #

previous :: PinType -> Maybe PinType Source #

next :: PinType -> Maybe PinType Source #

Generic PinType Source #

Instance details

Defined in Ipe.Attributes.Types

Associated Types

type Rep PinType

Instance details

Defined in Ipe.Attributes.Types

type Rep PinType = D1 ('MetaData "PinType" "Ipe.Attributes.Types" "hgeometry-ipe-1.0.0.0-inplace" 'False) ((C1 ('MetaCons "No" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Yes" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Horizontal" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Vertical" 'PrefixI 'False) (U1 :: Type -> Type)))

Methods

from :: PinType -> Rep PinType x Source #

to :: Rep PinType x -> PinType Source #

Read PinType Source #

Instance details

Defined in Ipe.Attributes.Types

Methods

readsPrec :: Int -> ReadS PinType Source #

readList :: ReadS [PinType] Source #

readPrec :: ReadPrec PinType Source #

readListPrec :: ReadPrec [PinType] Source #

Show PinType Source #

Instance details

Defined in Ipe.Attributes.Types

Methods

showsPrec :: Int -> PinType -> ShowS Source #

show :: PinType -> String Source #

showList :: [PinType] -> ShowS Source #

Eq PinType Source #

Instance details

Defined in Ipe.Attributes.Types

Methods

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

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

IpeReadText PinType Source #

Instance details

Defined in Ipe.Reader

Methods

ipeReadText :: Text -> Either ConversionError PinType Source #

IpeWriteText PinType Source #

Instance details

Defined in Ipe.Writer

Methods

ipeWriteText :: PinType -> Maybe Text Source #

type Cardinality PinType Source #

Instance details

Defined in Ipe.Attributes.Types

type Cardinality PinType = GCardinality (Rep PinType)

type Rep PinType Source #

Instance details

Defined in Ipe.Attributes.Types

type Rep PinType = D1 ('MetaData "PinType" "Ipe.Attributes.Types" "hgeometry-ipe-1.0.0.0-inplace" 'False) ((C1 ('MetaCons "No" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Yes" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Horizontal" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Vertical" 'PrefixI 'False) (U1 :: Type -> Type)))

type TeXStyle = Text Source #

Should be a symbolic name.

newtype TextSizeUnit r Source #

size of text in points

Constructors

TextSizeUnit r

Instances

Instances details

Functor TextSizeUnit Source #

Instance details

Defined in Ipe.Attributes.Types

Methods

fmap :: (a -> b) -> TextSizeUnit a -> TextSizeUnit b Source #

(<$) :: a -> TextSizeUnit b -> TextSizeUnit a Source #

Foldable TextSizeUnit Source #

Instance details

Defined in Ipe.Attributes.Types

Methods

fold :: Monoid m => TextSizeUnit m -> m Source #

foldMap :: Monoid m => (a -> m) -> TextSizeUnit a -> m Source #

foldMap' :: Monoid m => (a -> m) -> TextSizeUnit a -> m Source #

foldr :: (a -> b -> b) -> b -> TextSizeUnit a -> b Source #

foldr' :: (a -> b -> b) -> b -> TextSizeUnit a -> b Source #

foldl :: (b -> a -> b) -> b -> TextSizeUnit a -> b Source #

foldl' :: (b -> a -> b) -> b -> TextSizeUnit a -> b Source #

foldr1 :: (a -> a -> a) -> TextSizeUnit a -> a Source #

foldl1 :: (a -> a -> a) -> TextSizeUnit a -> a Source #

toList :: TextSizeUnit a -> [a] Source #

null :: TextSizeUnit a -> Bool Source #

length :: TextSizeUnit a -> Int Source #

elem :: Eq a => a -> TextSizeUnit a -> Bool Source #

maximum :: Ord a => TextSizeUnit a -> a Source #

minimum :: Ord a => TextSizeUnit a -> a Source #

sum :: Num a => TextSizeUnit a -> a Source #

product :: Num a => TextSizeUnit a -> a Source #

Traversable TextSizeUnit Source #

Instance details

Defined in Ipe.Attributes.Types

Methods

traverse :: Applicative f => (a -> f b) -> TextSizeUnit a -> f (TextSizeUnit b) Source #

sequenceA :: Applicative f => TextSizeUnit (f a) -> f (TextSizeUnit a) Source #

mapM :: Monad m => (a -> m b) -> TextSizeUnit a -> m (TextSizeUnit b) Source #

sequence :: Monad m => TextSizeUnit (m a) -> m (TextSizeUnit a) Source #

Generic (TextSizeUnit r) Source #

Instance details

Defined in Ipe.Attributes.Types

Associated Types

type Rep (TextSizeUnit r)
Instance details Defined in Ipe.Attributes.Types type Rep (TextSizeUnit r) = D1 ('MetaData "TextSizeUnit" "Ipe.Attributes.Types" "hgeometry-ipe-1.0.0.0-inplace" 'True) (C1 ('MetaCons "TextSizeUnit" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 r)))

Methods

from :: TextSizeUnit r -> Rep (TextSizeUnit r) x Source #

to :: Rep (TextSizeUnit r) x -> TextSizeUnit r Source #

Read r => Read (TextSizeUnit r) Source #

Instance details

Defined in Ipe.Attributes.Types

Methods

readsPrec :: Int -> ReadS (TextSizeUnit r) Source #

readList :: ReadS [TextSizeUnit r] Source #

readPrec :: ReadPrec (TextSizeUnit r) Source #

readListPrec :: ReadPrec [TextSizeUnit r] Source #

Show r => Show (TextSizeUnit r) Source #

Instance details

Defined in Ipe.Attributes.Types

Methods

showsPrec :: Int -> TextSizeUnit r -> ShowS Source #

show :: TextSizeUnit r -> String Source #

showList :: [TextSizeUnit r] -> ShowS Source #

Eq r => Eq (TextSizeUnit r) Source #

Instance details

Defined in Ipe.Attributes.Types

Methods

(==) :: TextSizeUnit r -> TextSizeUnit r -> Bool Source #

(/=) :: TextSizeUnit r -> TextSizeUnit r -> Bool Source #

Ord r => Ord (TextSizeUnit r) Source #

Instance details

Defined in Ipe.Attributes.Types

Methods

compare :: TextSizeUnit r -> TextSizeUnit r -> Ordering Source #

(<) :: TextSizeUnit r -> TextSizeUnit r -> Bool Source #

(<=) :: TextSizeUnit r -> TextSizeUnit r -> Bool Source #

(>) :: TextSizeUnit r -> TextSizeUnit r -> Bool Source #

(>=) :: TextSizeUnit r -> TextSizeUnit r -> Bool Source #

max :: TextSizeUnit r -> TextSizeUnit r -> TextSizeUnit r Source #

min :: TextSizeUnit r -> TextSizeUnit r -> TextSizeUnit r Source #

Coordinate r => IpeReadText (TextSizeUnit r) Source #

Instance details

Defined in Ipe.Reader

Methods

ipeReadText :: Text -> Either ConversionError (TextSizeUnit r) Source #

IpeWriteText r => IpeWriteText (TextSizeUnit r) Source #

Instance details

Defined in Ipe.Writer

Methods

ipeWriteText :: TextSizeUnit r -> Maybe Text Source #

HasDepth (g :+ TextAttributes r) (Maybe (TextSizeUnit r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

depth :: Lens' (g :+ TextAttributes r) (Maybe (TextSizeUnit r)) Source #

HasDepth (TextAttributesF r f) (f (TextSizeUnit r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

depth :: Lens' (TextAttributesF r f) (f (TextSizeUnit r)) Source #

HasTextHeight (g :+ TextAttributes r) (Maybe (TextSizeUnit r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

textHeight :: Lens' (g :+ TextAttributes r) (Maybe (TextSizeUnit r)) Source #

HasTextHeight (TextAttributesF r f) (f (TextSizeUnit r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

textHeight :: Lens' (TextAttributesF r f) (f (TextSizeUnit r)) Source #

HasTextWidth (g :+ TextAttributes r) (Maybe (TextSizeUnit r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

textWidth :: Lens' (g :+ TextAttributes r) (Maybe (TextSizeUnit r)) Source #

HasTextWidth (TextAttributesF r f) (f (TextSizeUnit r)) Source #

Instance details

Defined in Ipe.Attributes

Methods

textWidth :: Lens' (TextAttributesF r f) (f (TextSizeUnit r)) Source #

type Rep (TextSizeUnit r) Source #

Instance details

Defined in Ipe.Attributes.Types

type Rep (TextSizeUnit r) = D1 ('MetaData "TextSizeUnit" "Ipe.Attributes.Types" "hgeometry-ipe-1.0.0.0-inplace" 'True) (C1 ('MetaCons "TextSizeUnit" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 r)))

data TransformationTypes Source #

Possible values for Transformation

Constructors

Affine
Rigid
Translations

Instances

Instances details

Finitary TransformationTypes Source #

Instance details

Defined in Ipe.Attributes.Types

Associated Types

type Cardinality TransformationTypes
Instance details Defined in Ipe.Attributes.Types type Cardinality TransformationTypes = GCardinality (Rep TransformationTypes)

Generic TransformationTypes Source #

Instance details

Defined in Ipe.Attributes.Types

Associated Types

type Rep TransformationTypes
Instance details Defined in Ipe.Attributes.Types type Rep TransformationTypes = D1 ('MetaData "TransformationTypes" "Ipe.Attributes.Types" "hgeometry-ipe-1.0.0.0-inplace" 'False) (C1 ('MetaCons "Affine" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Rigid" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Translations" 'PrefixI 'False) (U1 :: Type -> Type)))

Methods

from :: TransformationTypes -> Rep TransformationTypes x Source #

to :: Rep TransformationTypes x -> TransformationTypes Source #

Read TransformationTypes Source #

Instance details

Defined in Ipe.Attributes.Types

Methods

readsPrec :: Int -> ReadS TransformationTypes Source #

readList :: ReadS [TransformationTypes] Source #

readPrec :: ReadPrec TransformationTypes Source #

readListPrec :: ReadPrec [TransformationTypes] Source #

Show TransformationTypes Source #

Instance details

Defined in Ipe.Attributes.Types

Methods

showsPrec :: Int -> TransformationTypes -> ShowS Source #

show :: TransformationTypes -> String Source #

showList :: [TransformationTypes] -> ShowS Source #

Eq TransformationTypes Source #

Instance details

Defined in Ipe.Attributes.Types

Methods

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

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

IpeReadText TransformationTypes Source #

Instance details

Defined in Ipe.Reader

Methods

ipeReadText :: Text -> Either ConversionError TransformationTypes Source #

IpeWriteText TransformationTypes Source #

Instance details

Defined in Ipe.Writer

Methods

ipeWriteText :: TransformationTypes -> Maybe Text Source #

type Cardinality TransformationTypes Source #

Instance details

Defined in Ipe.Attributes.Types

type Cardinality TransformationTypes = GCardinality (Rep TransformationTypes)

type Rep TransformationTypes Source #

Instance details

Defined in Ipe.Attributes.Types

type Rep TransformationTypes = D1 ('MetaData "TransformationTypes" "Ipe.Attributes.Types" "hgeometry-ipe-1.0.0.0-inplace" 'False) (C1 ('MetaCons "Affine" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Rigid" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Translations" 'PrefixI 'False) (U1 :: Type -> Type)))

data VerticalAlignment Source #

Constructors

AlignTop
AlignVCenter
AlignBottom
AlignBaseline

Instances

Instances details

Finitary VerticalAlignment Source #

Instance details

Defined in Ipe.Attributes.Types

Associated Types

type Cardinality VerticalAlignment
Instance details Defined in Ipe.Attributes.Types type Cardinality VerticalAlignment = GCardinality (Rep VerticalAlignment)