Safe Haskell	None
Language	Haskell2010

Data.Geometry.Ipe.Attributes

Contents

Attribute names in Ipe

Synopsis

Documentation

data AttributeUniverse Source

Constructors

Layer
Matrix
Pin
Transformations
Stroke
Fill
Pen
Size
Dash
LineCap
LineJoin
FillRule
Arrow
RArrow
Opacity
Tiling
Gradient
Clip

Instances

Eq AttributeUniverse Source
Read AttributeUniverse Source
Show AttributeUniverse Source
SingI AttributeUniverse Layer Source
SingI AttributeUniverse Matrix Source
SingI AttributeUniverse Pin Source
SingI AttributeUniverse Transformations Source
SingI AttributeUniverse Stroke Source
SingI AttributeUniverse Fill Source
SingI AttributeUniverse Pen Source
SingI AttributeUniverse Size Source
SingI AttributeUniverse Dash Source
SingI AttributeUniverse LineCap Source
SingI AttributeUniverse LineJoin Source
SingI AttributeUniverse FillRule Source
SingI AttributeUniverse Arrow Source
SingI AttributeUniverse RArrow Source
SingI AttributeUniverse Opacity Source
SingI AttributeUniverse Tiling Source
SingI AttributeUniverse Gradient Source
SingI AttributeUniverse Clip Source
SingKind AttributeUniverse (KProxy AttributeUniverse) Source
(AllSatisfy AttributeUniverse IpeAttrName rs, RecAll AttributeUniverse (Attr AttributeUniverse f) rs IpeWriteText, IpeWrite g) => IpeWrite ((:+) g (Attributes AttributeUniverse f rs)) Source
SuppressUnusedWarnings (* -> TyFun AttributeUniverse * -> *) AttrMapSym1
SuppressUnusedWarnings (TyFun * (TyFun AttributeUniverse * -> ) -> ) AttrMapSym0
data Sing AttributeUniverse where SLayer :: (~) AttributeUniverse z Layer => Sing AttributeUniverse z SMatrix :: (~) AttributeUniverse z Matrix => Sing AttributeUniverse z SPin :: (~) AttributeUniverse z Pin => Sing AttributeUniverse z STransformations :: (~) AttributeUniverse z Transformations => Sing AttributeUniverse z SStroke :: (~) AttributeUniverse z Stroke => Sing AttributeUniverse z SFill :: (~) AttributeUniverse z Fill => Sing AttributeUniverse z SPen :: (~) AttributeUniverse z Pen => Sing AttributeUniverse z SSize :: (~) AttributeUniverse z Size => Sing AttributeUniverse z SDash :: (~) AttributeUniverse z Dash => Sing AttributeUniverse z SLineCap :: (~) AttributeUniverse z LineCap => Sing AttributeUniverse z SLineJoin :: (~) AttributeUniverse z LineJoin => Sing AttributeUniverse z SFillRule :: (~) AttributeUniverse z FillRule => Sing AttributeUniverse z SArrow :: (~) AttributeUniverse z Arrow => Sing AttributeUniverse z SRArrow :: (~) AttributeUniverse z RArrow => Sing AttributeUniverse z SOpacity :: (~) AttributeUniverse z Opacity => Sing AttributeUniverse z STiling :: (~) AttributeUniverse z Tiling => Sing AttributeUniverse z SGradient :: (~) AttributeUniverse z Gradient => Sing AttributeUniverse z SClip :: (~) AttributeUniverse z Clip => Sing AttributeUniverse z Source
type Apply * AttributeUniverse (AttrMapSym1 l1) l0 = AttrMapSym2 l1 l0
type DemoteRep AttributeUniverse (KProxy AttributeUniverse) = AttributeUniverse Source
type Apply (TyFun AttributeUniverse * -> ) AttrMapSym0 l0 = AttrMapSym1 l0

type LayerSym0 = Layer Source

type MatrixSym0 = Matrix Source

type PinSym0 = Pin Source

type TransformationsSym0 = Transformations Source

type StrokeSym0 = Stroke Source

type FillSym0 = Fill Source

type PenSym0 = Pen Source

type SizeSym0 = Size Source

type DashSym0 = Dash Source

type LineCapSym0 = LineCap Source

type LineJoinSym0 = LineJoin Source

type FillRuleSym0 = FillRule Source

type ArrowSym0 = Arrow Source

type RArrowSym0 = RArrow Source

type OpacitySym0 = Opacity Source

type TilingSym0 = Tiling Source

type GradientSym0 = Gradient Source

type ClipSym0 = Clip Source

type SAttributeUniverse z = Sing z Source

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

type TextLabelAttributes = CommonAttributes Source

type MiniPageAttributes = CommonAttributes Source

type ImageAttributes = CommonAttributes Source

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

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

type GroupAttributes = CommonAttributes ++ `[Clip]` Source

newtype Attr f label Source

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 * u f label) => Eq (Attr u f label) Source
Ord (Apply * u f label) => Ord (Attr u f label) Source
Read (Apply * u f label) => Read (Attr u f label) Source
Show (Apply * u f label) => Show (Attr u f label) Source
Monoid (Attr k f l) Source	Give pref. to the RIGHT
IpeWriteText (Apply * k f at) => IpeWriteText (Attr k f at) Source
IpeReadText (Apply * k f at) => IpeReadAttr (Attr k f at) Source

getAttr :: forall f label f label. Iso (Attr f label) (Attr f label) (Maybe (Apply f label :: *)) (Maybe (Apply f label :: *)) Source

pattern Attr :: Apply * k t t -> Attr k t t Source

pattern NoAttr :: Attr k t t Source

newtype Attributes f ats Source

Constructors

Attrs
Fields _unAttrs :: Rec (Attr f) ats

Instances

(AllSatisfy AttributeUniverse IpeAttrName rs, RecAll AttributeUniverse (Attr AttributeUniverse f) rs IpeWriteText, IpeWrite g) => IpeWrite ((:+) g (Attributes AttributeUniverse f rs)) Source
RecAll k (Attr k f) ats Eq => Eq (Attributes k f ats) Source
RecAll k (Attr k f) ats Show => Show (Attributes k f ats) Source
RecApplicative k ats => Monoid (Attributes k f ats) Source
Semigroup (Attributes k f ats) Source

unAttrs :: forall f ats f ats. Iso (Attributes f ats) (Attributes f ats) (Rec (Attr f :: u -> *) ats) (Rec (Attr f :: u -> *) ats) Source

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

attrLens :: at ∈ ats => proxy at -> Lens' (Attributes f ats) (Maybe (Apply f at)) Source

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

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

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

gets and removes the attribute from Attributes

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

unsets/Removes an attribute

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

data PinType Source

Common Attributes

Possible values for Pin

Constructors

No
Yes
Horizontal
Vertical

Instances

Eq PinType Source
Read PinType Source
Show PinType Source
IpeWriteText PinType Source
IpeReadText PinType Source

data TransformationTypes Source

Possible values for Transformation

Constructors

Affine
Rigid
Translations

Instances

Eq TransformationTypes Source
Read TransformationTypes Source
Show TransformationTypes Source
IpeWriteText TransformationTypes Source
IpeReadText TransformationTypes Source

data IpeValue v Source

TODO

Symbol Attributes

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

Many types either consist of a symbolc value, or a value of type v

Constructors

Named Text
Valued v

Instances

Eq v => Eq (IpeValue v) Source
Ord v => Ord (IpeValue v) Source
Show v => Show (IpeValue v) Source
IsString (IpeValue v) Source
IpeWriteText v => IpeWriteText (IpeValue v) Source

type Colour = Text Source

newtype IpeSize r Source

Constructors

IpeSize (IpeValue r)

Instances

Eq r => Eq (IpeSize r) Source
Ord r => Ord (IpeSize r) Source
Show r => Show (IpeSize r) Source
IpeWriteText r => IpeWriteText (IpeSize r) Source
Coordinate r => IpeReadText (IpeSize r) Source

newtype IpePen r Source

Constructors

IpePen (IpeValue r)

Instances

Eq r => Eq (IpePen r) Source
Ord r => Ord (IpePen r) Source
Show r => Show (IpePen r) Source
IpeWriteText r => IpeWriteText (IpePen r) Source
Coordinate r => IpeReadText (IpePen r) Source

newtype IpeColor Source

Constructors

IpeColor (IpeValue Colour)

Instances

Eq IpeColor Source
Ord IpeColor Source
Show IpeColor Source
IpeWriteText IpeColor Source
IpeReadText IpeColor Source

data IpeDash r Source

Path Attributes

Possible values for Dash

Constructors

DashNamed Text
DashPattern [r] r

Instances

Eq r => Eq (IpeDash r) Source
Show r => Show (IpeDash r) Source
IpeWriteText r => IpeWriteText (IpeDash r) Source
Coordinate r => IpeReadText (IpeDash r) Source

data FillType Source

Allowed Fill types

Constructors

Wind
EOFill

Instances

Eq FillType Source
Read FillType Source
Show FillType Source
IpeWriteText FillType Source
IpeReadText FillType Source

type IpeOpacity = Text Source

IpeOpacity, IpeTyling, and IpeGradient are all symbolic values

type IpeTiling = Text Source

type IpeGradient = Text Source

data IpeArrow r Source

Possible values for an ipe arrow

Constructors

IpeArrow
Fields _arrowName :: Text _arrowSize :: IpeSize r

Instances

Eq r => Eq (IpeArrow r) Source
Show r => Show (IpeArrow r) Source
IpeWriteText r => IpeWriteText (IpeArrow r) Source
Coordinate r => IpeReadText (IpeArrow r) Source

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

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

Attribute names in Ipe

class IpeAttrName a where Source

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

Methods

attrName :: Proxy a -> Text Source

data GDict c a where Source

Wrap up a value with a capability given by its type

Constructors

GDict :: c a => Proxy a -> GDict c a

type family AllSatisfy c xs :: Constraint Source

Function that states that all elements in xs satisfy a given constraint c

Equations

AllSatisfy c `[]` = ()
AllSatisfy c (x : xs) = (c x, AllSatisfy c xs)

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

Writing Attribute names

IpeAttrName Layer Source
IpeAttrName Matrix Source
IpeAttrName Pin Source
IpeAttrName Transformations Source
IpeAttrName Stroke Source
IpeAttrName Fill Source
IpeAttrName Pen Source
IpeAttrName Size Source
IpeAttrName Dash Source
IpeAttrName LineCap Source
IpeAttrName LineJoin Source
IpeAttrName FillRule Source
IpeAttrName Arrow Source
IpeAttrName RArrow Source
IpeAttrName Opacity Source
IpeAttrName Tiling Source
IpeAttrName Gradient Source
IpeAttrName Clip Source