package tyxml

  1. Overview
  2. Docs
A library for building correct HTML and SVG documents

Install

Dune Dependency

github.com Readme Changelog Edit opam file Versions (6)

Authors

  1. T
    The ocsigen team

Maintainers

  1. D
    dev@ocsigen.org

Sources

tyxml-4.6.0.tbz
sha256=bfeb673c6b4e120a4eca4c48448add47dc3f8d02c2b40f63ffdccc4e91c902dd
sha512=69750eeaf467014282087bf9628f3278f3e5f00f4c7400358750d208664cfc3f79a5cba16767d2935e53477d1a6862fe08c5b801b69052ec12e09d1a93a5e9b4

doc/tyxml.functor/Svg_types/index.html

Module Svg_types

SVG types with variants, goes with Svg_sigs.T.

This module defines basic data types for data, attributes and element occurring in SVG documents. It is based on the specification available at http://www.w3.org/TR/SVG/.

This module is experimental, it may lack of some attributes, and the interface is very low level and do not take deeply into account the needs of SVG elements.

Categories of elements and attributes

This part defines the categories of elements and attributes

Elements

type animation_element = [
  1. | `AnimateColor
  2. | `AnimateMotion
  3. | `AnimateTransform
  4. | `Animate
  5. | `Set
]
type descriptive_element = [
  1. | `Desc
  2. | `Metadata
  3. | `Title
]
type basic_shape_element = [
  1. | `Circle
  2. | `Ellipse
  3. | `Line
  4. | `Polygon
  5. | `Polyline
  6. | `Rect
]
type container_element = [
  1. | `A
  2. | `Defs
  3. | `Glyph
  4. | `G
  5. | `Marker
  6. | `Mask
  7. | `Missing_glyph
  8. | `Pattern
  9. | `Svg
  10. | `Switch
  11. | `Symbol
]
type filter_primitive_element = [
  1. | `FeBlend
  2. | `FeColorMatrix
  3. | `FeComponentTransfer
  4. | `FeComposite
  5. | `FeConvolveMatrix
  6. | `FeDiffuseLighting
  7. | `FeDisplacementMap
  8. | `FeFlood
  9. | `FeGaussianBlur
  10. | `FeImage
  11. | `FeMerge
  12. | `FeMorphology
  13. | `FeOffset
  14. | `FeSpecularLighting
  15. | `FeTile
  16. | `FeTurbulence
]
type light_source_element = [
  1. | `FeDistantLight
  2. | `FePointLight
  3. | `FeSpotLight
]
type shape_element = [
  1. | `Circle
  2. | `Ellipse
  3. | `Line
  4. | `Path
  5. | `Polyline
  6. | `Polygon
  7. | `Rect
]
type structural_element = [
  1. | `Defs
  2. | `G
  3. | `Svg
  4. | `Symbol
  5. | `Use
]
type text_content_element = [
  1. | `AltGlyph
  2. | `TextPath
  3. | `Text
  4. | `Tref
  5. | `Tspan
]
type text_content_child_element = [
  1. | `AltGlyph
  2. | `TextPath
  3. | `Tref
  4. | `Tspan
]
type gradient_element = [
  1. | `Lineargradient
  2. | `Radialgradient
]
type graphics_element = [
  1. | `Circle
  2. | `Ellipse
  3. | `Image
  4. | `Line
  5. | `Path
  6. | `Polygon
  7. | `Polyline
  8. | `Rect
  9. | `Text
  10. | `Use
]
type graphics_ref_element = [
  1. | `Image
  2. | `Use
]

Attributes

type conditional_processing_attr = [
  1. | `RequiredExtensions
  2. | `RequiredFeatures
  3. | `SystemLanguage
]
type core_attr = [
  1. | `Id
  2. | `Xml_base
  3. | `Xml_lang
  4. | `Xml_space
  5. | `User_data
]
type transfer_attr = [
  1. | `Type_transfert
  2. | `TableValues
  3. | `Slope
  4. | `Intercept
  5. | `Amplitude
  6. | `Exponent
  7. | `Offset_transfer
]
type document_event_attr = [
  1. | `OnAbort
  2. | `OnError
  3. | `OnResize
  4. | `OnScroll
  5. | `OnUnload
  6. | `OnZoom
]
type filter_primitive_attr = [
  1. | `Height
  2. | `Result
  3. | `Width
  4. | `X
  5. | `Y
]
type animation_event_attr = [
  1. | `OnBegin
  2. | `OnEnd
  3. | `OnRepeat
  4. | `OnLoad
]
type animation_attr_target_attr = [
  1. | `AttributeType
  2. | `AttributeName
]
type animation_timing_attr = [
  1. | `Begin
  2. | `Dur
  3. | `End
  4. | `Min
  5. | `Max
  6. | `Restart
  7. | `RepeatCount
  8. | `RepeatDur
  9. | `Fill_Animation
]
type animation_value_attr = [
  1. | `CalcMode
  2. | `Valuesanim
  3. | `KeyTimes
  4. | `KeySplines
  5. | `From
  6. | `To
  7. | `By
]
type animation_addition_attr = [
  1. | `Additive
  2. | `Accumulate
]
type presentation_attr = [
  1. | `Alignment_Baseline
  2. | `Baseline_Shift
  3. | `Clip
  4. | `Clip_Path
  5. | `Clip_Rule
  6. | `Color
  7. | `Color_Interpolation
  8. | `Color_interpolation_filters
  9. | `Color_profile
  10. | `Color_rendering
  11. | `Cursor
  12. | `Direction
  13. | `Display
  14. | `Dominant_Baseline
  15. | `Enable_background
  16. | `Fill
  17. | `Fill_opacity
  18. | `Fill_rule
  19. | `Filter
  20. | `Flood_Color
  21. | `Flood_Opacity
  22. | `Font_Family
  23. | `Font_Size
  24. | `Font_Size_Adjust
  25. | `Font_Stretch
  26. | `Font_Style
  27. | `Font_Variant
  28. | `Font_Weight
  29. | `Glyph_Orientation_Horizontal
  30. | `Glyph_Orientation_Vertical
  31. | `Image_Rendering
  32. | `Kerning
  33. | `Letter_Spacing
  34. | `Lighting_Color
  35. | `Marker_End
  36. | `Marker_Mid
  37. | `Marker_Start
  38. | `Mask
  39. | `Opacity
  40. | `Overflow
  41. | `Pointer_Events
  42. | `Shape_Rendering
  43. | `Stop_Color
  44. | `Stop_Opacity
  45. | `Stroke
  46. | `Stroke_Dasharray
  47. | `Stroke_Dashoffset
  48. | `Stroke_Linecap
  49. | `Stroke_Linejoin
  50. | `Stroke_Miterlimit
  51. | `Stroke_Opacity
  52. | `Stroke_Width
  53. | `Text_Anchor
  54. | `Text_Decoration
  55. | `Text_Rendering
  56. | `Unicode_Bidi
  57. | `Visibility
  58. | `Word_Spacing
  59. | `Writing_Mode
]
type graphical_event_attr = [
  1. | `OnActivate
  2. | `OnClick
  3. | `OnFocusIn
  4. | `OnFocusOut
  5. | `OnLoad
  6. | `OnMouseDown
  7. | `OnMouseMove
  8. | `OnMouseOut
  9. | `OnMouseOver
  10. | `OnMouseUp
]

Generic data types

type iri = string

An IRI reference is an Internationalized Resource Identifier with an optional fragment identifier, as defined in Internationalized Resource Identifiers RFC3987. An IRI reference serves as a reference to a resource or (with a fragment identifier) to a secondary resource. See References and the ‘defs’ element..

Units

module Unit : sig ... end

SVG defines several units to measure time, length, angles.

type coord = Unit.length
type number = float
type number_optional_number = number * number option
type percentage = float
type strings = string list
type color = string
type icccolor = string
type paint_whitout_icc = [
  1. | `None
  2. | `CurrentColor
  3. | `Color of color * icccolor option
]
type paint = [
  1. | paint_whitout_icc
  2. | `Icc of iri * paint_whitout_icc option
]
type fill_rule = [
  1. | `Nonzero
  2. | `Evenodd
]
type transform = [
  1. | `Matrix of float * float * float * float * float * float
  2. | `Translate of float * float option
  3. | `Scale of float * float option
  4. | `Rotate of Unit.angle * (float * float) option
  5. | `SkewX of Unit.angle
  6. | `SkewY of Unit.angle
]
type spacestrings = string list
type commastrings = string list
type transforms = transform list
type fourfloats = float * float * float * float
type lengths = Unit.length list
type numbers = float list
type numbers_semicolon = float list
type coords = (float * float) list
type rotate = float list
type pcdata = [
  1. | `PCDATA
]
type txt = [
  1. | `PCDATA
]

Element

type svg = [
  1. | `Svg
]
type svg_content = [
  1. | animation_element
  2. | descriptive_element
  3. | shape_element
  4. | structural_element
  5. | gradient_element
  6. | `A
  7. | `AltGlyphDef
  8. | `ClipPath
  9. | `Color_Profile
  10. | `Cursor
  11. | `Filter
  12. | `Font
  13. | `Font_Face
  14. | `ForeignObject
  15. | `Image
  16. | `Marker
  17. | `Mask
  18. | `Pattern
  19. | `Script
  20. | `Style
  21. | `Switch
  22. | `Text
  23. | `View
]
type svg_attr = [
  1. | conditional_processing_attr
  2. | core_attr
  3. | document_event_attr
  4. | graphical_event_attr
  5. | presentation_attr
  6. | `Class
  7. | `Style
  8. | `ExternalResourcesRequired
  9. | `X
  10. | `Y
  11. | `Width
  12. | `Height
  13. | `ViewBox
  14. | `PreserveAspectRatio
  15. | `ZoomAndPlan
  16. | `Version
  17. | `BaseProfile
  18. | `ContentScriptType
  19. | `ContentStyleType
  20. | `X
  21. | `Y
]
type g = [
  1. | `G
]
type g_content = [
  1. | animation_element
  2. | descriptive_element
  3. | shape_element
  4. | structural_element
  5. | gradient_element
  6. | `A
  7. | `AltGlyphDef
  8. | `ClipPath
  9. | `Color_Profile
  10. | `Cursor
  11. | `Filter
  12. | `Font
  13. | `Font_Face
  14. | `ForeignObject
  15. | `Image
  16. | `Marker
  17. | `Mask
  18. | `Pattern
  19. | `Script
  20. | `Style
  21. | `Switch
  22. | `Text
  23. | `View
]
type g_attr = [
  1. | conditional_processing_attr
  2. | core_attr
  3. | graphical_event_attr
  4. | presentation_attr
  5. | `Class
  6. | `Style
  7. | `ExternalResourcesRequired
  8. | `Transform
]
type defs = [
  1. | `Defs
]
type defs_content = [
  1. | animation_element
  2. | descriptive_element
  3. | shape_element
  4. | structural_element
  5. | gradient_element
  6. | `A
  7. | `AltGlyphDef
  8. | `ClipPath
  9. | `Color_Profile
  10. | `Cursor
  11. | `Filter
  12. | `Font
  13. | `Font_Face
  14. | `ForeignObject
  15. | `Image
  16. | `Marker
  17. | `Mask
  18. | `Pattern
  19. | `Script
  20. | `Style
  21. | `Switch
  22. | `Text
  23. | `View
]
type defs_attr = [
  1. | conditional_processing_attr
  2. | core_attr
  3. | graphical_event_attr
  4. | presentation_attr
  5. | `Class
  6. | `Style
  7. | `ExternalResourcesRequired
  8. | `Transform
]
type desc = [
  1. | `Desc
]
type desc_content = [
  1. | `PCDATA
]
type desc_attr = [
  1. | core_attr
  2. | `Class
  3. | `Style
]
type title = [
  1. | `Title
]
type title_content = [
  1. | `PCDATA
]
type title_attr = desc_attr
type symbol = [
  1. | `Symbol
]
type symbol_content = [
  1. | animation_element
  2. | descriptive_element
  3. | structural_element
  4. | gradient_element
  5. | `A
  6. | `AltGlyphDef
  7. | `ClipPath
  8. | `Color_Profile
  9. | `Cursor
  10. | `Filter
  11. | `Font
  12. | `Font_Face
  13. | `ForeignObject
  14. | `Image
  15. | `Marker
  16. | `Mask
  17. | `Pattern
  18. | `Script
  19. | `Style
  20. | `Switch
  21. | `Text
  22. | `View
]
type symbol_attr = [
  1. | `Class
  2. | `Style
  3. | `ExternalResourcesRequired
  4. | `PreserveAspectRatio
  5. | `ViewBox
]
type use = [
  1. | `Use
]
type use_content = [
  1. | animation_element
  2. | descriptive_element
]
type use_attr = [
  1. | core_attr
  2. | conditional_processing_attr
  3. | graphical_event_attr
  4. | presentation_attr
  5. | `Class
  6. | `Style
  7. | `ExternalResourcesRequired
  8. | `Transform
  9. | `X
  10. | `Y
  11. | `Width
  12. | `Height
]
type image = [
  1. | `Image
]
type image_content = [
  1. | animation_element
  2. | descriptive_element
]
type image_attr = [
  1. | core_attr
  2. | conditional_processing_attr
  3. | graphical_event_attr
  4. | presentation_attr
  5. | `Class
  6. | `Style
  7. | `ExternalResourcesRequired
  8. | `PreserveAspectRatio
  9. | `Transform
  10. | `X
  11. | `Y
  12. | `Width
  13. | `Height
]
type switch = [
  1. | `Switch
]
type switch_content = [
  1. | animation_element
  2. | descriptive_element
  3. | shape_element
  4. | `A
  5. | `ForeignObject
  6. | `G
  7. | `Image
  8. | `Svg
  9. | `Switch
  10. | `Text
  11. | `Use
]
type switch_attr = [
  1. | conditional_processing_attr
  2. | core_attr
  3. | graphical_event_attr
  4. | presentation_attr
  5. | `Class
  6. | `Style
  7. | `ExternalResourcesRequired
  8. | `Transform
]
type style = [
  1. | `Style
]
type style_content = [
  1. | `PCDATA
]
type style_attr = [
  1. | core_attr
  2. | `Title
  3. | `Media
  4. | `Type
]
type path = [
  1. | `Path
]
type path_content = [
  1. | animation_element
  2. | descriptive_element
]
type path_attr = [
  1. | conditional_processing_attr
  2. | core_attr
  3. | graphical_event_attr
  4. | presentation_attr
  5. | `Class
  6. | `Style
  7. | `ExternalResourcesRequired
  8. | `Transform
  9. | `D
  10. | `PathLength
]
type rect = [
  1. | `Rect
]
type rect_content = [
  1. | animation_element
  2. | descriptive_element
]
type rect_attr = [
  1. | conditional_processing_attr
  2. | core_attr
  3. | graphical_event_attr
  4. | presentation_attr
  5. | `Class
  6. | `Style
  7. | `ExternalResourcesRequired
  8. | `Transform
  9. | `X
  10. | `Y
  11. | `Width
  12. | `Height
  13. | `Rx
  14. | `Ry
]
type circle = [
  1. | `Circle
]
type circle_content = [
  1. | animation_element
  2. | descriptive_element
]
type circle_attr = [
  1. | conditional_processing_attr
  2. | core_attr
  3. | graphical_event_attr
  4. | presentation_attr
  5. | `Class
  6. | `Style
  7. | `ExternalResourcesRequired
  8. | `Transform
  9. | `R
  10. | `Cx
  11. | `Cy
]
type ellipse = [
  1. | `Ellipse
]
type ellipse_content = [
  1. | animation_element
  2. | descriptive_element
]
type ellipse_attr = [
  1. | conditional_processing_attr
  2. | core_attr
  3. | graphical_event_attr
  4. | presentation_attr
  5. | `Class
  6. | `Style
  7. | `ExternalResourcesRequired
  8. | `Transform
  9. | `Rx
  10. | `Ry
  11. | `Cx
  12. | `Cy
]
type line = [
  1. | `Line
]
type line_content = [
  1. | animation_element
  2. | descriptive_element
]
type line_attr = [
  1. | conditional_processing_attr
  2. | core_attr
  3. | graphical_event_attr
  4. | presentation_attr
  5. | `Class
  6. | `Style
  7. | `ExternalResourcesRequired
  8. | `Transform
  9. | `X1
  10. | `Y1
  11. | `X2
  12. | `Y2
]
type polyline = [
  1. | `Polyline
]
type polyline_content = [
  1. | animation_element
  2. | descriptive_element
]
type polyline_attr = [
  1. | conditional_processing_attr
  2. | core_attr
  3. | graphical_event_attr
  4. | presentation_attr
  5. | `Class
  6. | `Style
  7. | `ExternalResourcesRequired
  8. | `Transform
  9. | `Points
]
type polygon = [
  1. | `Polygon
]
type polygon_content = [
  1. | animation_element
  2. | descriptive_element
]
type polygon_attr = [
  1. | conditional_processing_attr
  2. | core_attr
  3. | graphical_event_attr
  4. | presentation_attr
  5. | `Class
  6. | `Style
  7. | `ExternalResourcesRequired
  8. | `Transform
  9. | `Points
]
type text = [
  1. | `Text
]
type text_content = [
  1. | animation_element
  2. | descriptive_element
  3. | text_content_child_element
  4. | `PCDATA
  5. | `A
]
type text_attr = [
  1. | conditional_processing_attr
  2. | core_attr
  3. | graphical_event_attr
  4. | presentation_attr
  5. | `Class
  6. | `Transform
  7. | `LengthAdjust
  8. | `X_list
  9. | `Y_list
  10. | `Dx_list
  11. | `Dy_list
  12. | `Rotate
  13. | `TextLength
]
type tspan = [
  1. | `Tspan
]
type tspan_content = [
  1. | descriptive_element
  2. | core_attr
  3. | `PCDATA
  4. | `A
  5. | `AltGlyph
  6. | `Animate
  7. | `AnimateColor
  8. | `Set
  9. | `Tref
  10. | `Tspan
]
type tspan_attr = [
  1. | core_attr
  2. | conditional_processing_attr
  3. | graphical_event_attr
  4. | presentation_attr
  5. | `Class
  6. | `Style
  7. | `ExternalResourcesRequired
  8. | `X_list
  9. | `Y_list
  10. | `Dx_list
  11. | `Dy_list
  12. | `Rotate
  13. | `TextLength
  14. | `LengthAdjust
]
type tref = [
  1. | `Tref
]
type tref_content = [
  1. | descriptive_element
  2. | `Animate
  3. | `AnimateColor
  4. | `Set
]
type tref_attr = [
  1. | conditional_processing_attr
  2. | core_attr
  3. | graphical_event_attr
  4. | presentation_attr
  5. | `Class
  6. | `Style
  7. | `ExternalResourcesRequired
]
type textpath = [
  1. | `TextPath
]
type textpath_content = [
  1. | descriptive_element
  2. | `PCDATA
  3. | `A
  4. | `AltGlyph
  5. | `Animate
  6. | `AnimateColor
  7. | `Set
  8. | `Tref
  9. | `Tspan
]
type textpath_attr = [
  1. | conditional_processing_attr
  2. | core_attr
  3. | graphical_event_attr
  4. | presentation_attr
  5. | `Class
  6. | `Style
  7. | `ExternalResourcesRequired
  8. | `StartOffset
  9. | `Method
  10. | `Spacing
]
type altglyph = [
  1. | `AltGlyph
]
type altglyph_content = [
  1. | `PCDATA
]
type altglyph_attr = [
  1. | conditional_processing_attr
  2. | core_attr
  3. | graphical_event_attr
  4. | presentation_attr
  5. | `Class
  6. | `Style
  7. | `ExternalResourcesRequired
  8. | `X_list
  9. | `Y_list
  10. | `Dx_list
  11. | `Dy_list
  12. | `GlyphRef
  13. | `Format
  14. | `Rotate
]
type altglyphdef = [
  1. | `AltGlyphDef
]
type altglyphdef_attr = [
  1. | core_attr
]
type altglyphitem = [
  1. | `AltGlyphItem
]
type altglyphitem_content = [
  1. | `glyphRef
]
type altglyphitem_attr = [
  1. | core_attr
]
type glyphref = [
  1. | `GlyphRef
]
type glyphref_attr = [
  1. | core_attr
  2. | presentation_attr
  3. | `Class
  4. | `Style
  5. | `X
  6. | `Y
  7. | `Dx
  8. | `Dy
  9. | `GlyphRef
  10. | `Format
]
type marker = [
  1. | `Marker
]
type marker_content = [
  1. | animation_element
  2. | descriptive_element
  3. | shape_element
  4. | structural_element
  5. | gradient_element
  6. | `A
  7. | `AltGlyphDef
  8. | `ClipPath
  9. | `Color_Profile
  10. | `Cursor
  11. | `Filter
  12. | `Font
  13. | `Font_Face
  14. | `ForeignObject
  15. | `Image
  16. | `Marker
  17. | `Mask
  18. | `Pattern
  19. | `Script
  20. | `Style
  21. | `Switch
  22. | `Text
  23. | `View
]
type marker_attr = [
  1. | core_attr
  2. | presentation_attr
  3. | `Class
  4. | `Style
  5. | `ExternalResourcesRequired
  6. | `ViewBox
  7. | `PreserveAspectRatio
  8. | `RefX
  9. | `RefY
  10. | `MarkerUnits
  11. | `MarkerWidth
  12. | `MarkerHeight
  13. | `Orient
]
type colorprofile = [
  1. | `ColorProfile
]
type colorprofile_content = [
  1. | descriptive_element
]
type colorprofile_attr = [
  1. | core_attr
  2. | `Local
  3. | `Name
  4. | `Rendering_Intent
]
type lineargradient = [
  1. | `Lineargradient
]
type lineargradient_content = [
  1. | descriptive_element
  2. | `Animate
  3. | `AnimateTransform
  4. | `Set
  5. | `Stop
]
type lineargradient_attr = [
  1. | core_attr
  2. | presentation_attr
  3. | `Class
  4. | `Style
  5. | `ExternalResourcesRequired
  6. | `X1
  7. | `Y1
  8. | `X2
  9. | `Y2
  10. | `GradientUnits
  11. | `GradientTransform
  12. | `SpreadMethod
]
type radialgradient = [
  1. | `Radialgradient
]
type radialgradient_content = [
  1. | descriptive_element
  2. | `Animate
  3. | `AnimateTransform
  4. | `Set
  5. | `Stop
]
type radialgradient_attr = [
  1. | core_attr
  2. | presentation_attr
  3. | `Class
  4. | `Style
  5. | `ExternalResourcesRequired
  6. | `Cx
  7. | `Cy
  8. | `R
  9. | `Fx
  10. | `Fy
  11. | `GradientUnits
  12. | `GradientTransform
  13. | `SpreadMethod
]
type stop = [
  1. | `Stop
]
type stop_content = [
  1. | `Animate
  2. | `Animate_Color
  3. | `Set
]
type stop_attr = [
  1. | core_attr
  2. | presentation_attr
  3. | `Class
  4. | `Style
  5. | `Offset
]
type pattern = [
  1. | `Pattern
]
type pattern_content = [
  1. | animation_element
  2. | descriptive_element
  3. | shape_element
  4. | structural_element
  5. | gradient_element
  6. | `A
  7. | `AltGlyphDef
  8. | `ClipPath
  9. | `Color_Profile
  10. | `Cursor
  11. | `Filter
  12. | `Font
  13. | `Font_Face
  14. | `ForeignObject
  15. | `Image
  16. | `Marker
  17. | `Mask
  18. | `Pattern
  19. | `Script
  20. | `Style
  21. | `Switch
  22. | `Text
  23. | `View
]
type pattern_attr = [
  1. | conditional_processing_attr
  2. | core_attr
  3. | presentation_attr
  4. | `Class
  5. | `Style
  6. | `ExternalResourcesRequired
  7. | `ViewBox
  8. | `PreserveAspectRatio
  9. | `X
  10. | `Y
  11. | `Width
  12. | `Height
  13. | `PatternUnits
  14. | `PatternContentUnits
  15. | `PatternTransform
]
type clippath = [
  1. | `ClipPath
]
type clippath_attr = [
  1. | conditional_processing_attr
  2. | core_attr
  3. | presentation_attr
  4. | `Class
  5. | `Style
  6. | `ExternalResourcesRequired
  7. | `Transform
  8. | `ClipPathUnits
]
type clippath_content = [
  1. | descriptive_element
  2. | animation_element
  3. | shape_element
  4. | `Text
  5. | `Use
]
type mask = [
  1. | `Mask
]
type mask_content = [
  1. | animation_element
  2. | descriptive_element
  3. | shape_element
  4. | structural_element
  5. | gradient_element
  6. | `A
  7. | `AltGlyphDef
  8. | `ClipPath
  9. | `Color_Profile
  10. | `Cursor
  11. | `Filter
  12. | `Font
  13. | `Font_Face
  14. | `ForeignObject
  15. | `Image
  16. | `Marker
  17. | `Mask
  18. | `Pattern
  19. | `Script
  20. | `Style
  21. | `Switch
  22. | `Text
  23. | `View
]
type mask_attr = [
  1. | conditional_processing_attr
  2. | core_attr
  3. | presentation_attr
  4. | `Class
  5. | `Style
  6. | `ExternalResourcesRequired
  7. | `X
  8. | `Y
  9. | `Width
  10. | `Height
  11. | `MaskUnits
  12. | `MaskContentUnits
]
type filter = [
  1. | `Filter
]
type filter_content = [
  1. | descriptive_element
  2. | filter_primitive_element
  3. | `Animate
  4. | `Set
]
type filter_attr = [
  1. | core_attr
  2. | presentation_attr
  3. | `Class
  4. | `Style
  5. | `ExternalResourcesRequired
  6. | `X
  7. | `Y
  8. | `Width
  9. | `Height
  10. | `FilterRes
  11. | `FilterUnits
  12. | `PrimitiveUnits
]
type fedistantlight = [
  1. | `FeDistantLight
]
type fedistantlight_content = [
  1. | `Animate
  2. | `Set
]
type fedistantlight_attr = [
  1. | core_attr
  2. | `Azimuth
  3. | `Elevation
]
type fepointlight = [
  1. | `FePointLight
]
type fepointlight_content = [
  1. | `Animate
  2. | `Set
]
type fepointlight_attr = [
  1. | core_attr
  2. | `X
  3. | `Y
  4. | `Z
]
type fespotlight = [
  1. | `FeSpotLight
]
type fespotlight_content = [
  1. | `Animate
  2. | `Set
]
type fespotlight_attr = [
  1. | core_attr
  2. | `X
  3. | `Y
  4. | `Z
  5. | `PointsAtX
  6. | `PointsAtY
  7. | `PointsAtZ
  8. | `SpecularExponent
  9. | `LimitingConeAngle
]
type feblend = [
  1. | `FeBlend
]
type feblend_content = [
  1. | `Animate
  2. | `Set
]
type feblend_attr = [
  1. | core_attr
  2. | presentation_attr
  3. | filter_primitive_attr
  4. | `Class
  5. | `Style
  6. | `In
  7. | `In2
  8. | `Mode
]
type fecolormatrix = [
  1. | `FeColorMatrix
]
type fecolormatrix_content = [
  1. | `Animate
  2. | `Set
]
type fecolormatrix_attr = [
  1. | core_attr
  2. | presentation_attr
  3. | filter_primitive_attr
  4. | `Class
  5. | `Style
  6. | `Typefecolor
  7. | `Values
  8. | `In
]
type fecomponenttransfer = [
  1. | `FeComponentTransfer
]
type fecomponenttransfer_content = [
  1. | `FeFuncA
  2. | `FeFuncB
  3. | `FeFuncG
  4. | `FeFuncR
]
type fecomponenttransfer_attr = [
  1. | core_attr
  2. | presentation_attr
  3. | filter_primitive_attr
  4. | `Class
  5. | `Style
  6. | `In
]
type fefunca = [
  1. | `FeFuncA
]
type fefunca_content = [
  1. | `Animate
  2. | `Set
]
type fefunca_attr = [
  1. | core_attr
  2. | transfer_attr
]
type fefuncg = [
  1. | `FeFuncA
]
type fefuncg_content = [
  1. | `Animate
  2. | `Set
]
type fefuncg_attr = [
  1. | core_attr
  2. | transfer_attr
]
type fefuncb = [
  1. | `FeFuncA
]
type fefuncb_content = [
  1. | `Animate
  2. | `Set
]
type fefuncb_attr = [
  1. | core_attr
  2. | transfer_attr
]
type fefuncr = [
  1. | `FeFuncA
]
type fefuncr_content = [
  1. | `Animate
  2. | `Set
]
type fefuncr_attr = [
  1. | core_attr
  2. | transfer_attr
]
type fecomposite = [
  1. | `FeComposite
]
type fecomposite_content = [
  1. | `Animate
  2. | `Set
]
type fecomposite_attr = [
  1. | core_attr
  2. | presentation_attr
  3. | filter_primitive_attr
  4. | `Class
  5. | `Style
  6. | `In
  7. | `In2
  8. | `OperatorComposite
  9. | `K1
  10. | `K2
  11. | `K3
  12. | `K4
]
type feconvolvematrix = [
  1. | `FeConvolveMatrix
]
type feconvolvematrix_content = [
  1. | `Animate
  2. | `Set
]
type feconvolvematrix_attr = [
  1. | core_attr
  2. | presentation_attr
  3. | filter_primitive_attr
  4. | `Class
  5. | `Style
  6. | `In
  7. | `Order
  8. | `KernelMatrix
  9. | `Divisor
  10. | `Bias
  11. | `TargetX
  12. | `TargetY
  13. | `EdgeMode
  14. | `KernelUnitLength
  15. | `PreserveAlpha
]
type fediffuselighting = [
  1. | `FeDiffuseLighting
]
type fediffuselighting_content = [
  1. | descriptive_element
  2. | light_source_element
]
type fediffuselighting_attr = [
  1. | core_attr
  2. | filter_primitive_attr
  3. | presentation_attr
  4. | `Class
  5. | `Style
  6. | `In
  7. | `SurfaceScale
  8. | `DiffuseConstant
  9. | `KernelUnitLength
]
type fedisplacementmap = [
  1. | `FeDisplacementMap
]
type fedisplacementmap_content = [
  1. | `Animate
  2. | `Set
]
type fedisplacementmap_attr = [
  1. | core_attr
  2. | filter_primitive_attr
  3. | presentation_attr
  4. | `Class
  5. | `Style
  6. | `In
  7. | `In2
  8. | `Scale
  9. | `XChannelSelector
  10. | `YChannelSelector
]
type feflood = [
  1. | `FeFlood
]
type feflood_content = [
  1. | `Animate
  2. | `AnimateColor
  3. | `Set
]
type feflood_attr = [
  1. | core_attr
  2. | presentation_attr
  3. | filter_primitive_attr
  4. | `Class
  5. | `Style
]
type fegaussianblur = [
  1. | `FeGaussianBlur
]
type fegaussianblur_content = [
  1. | `Animate
  2. | `AnimateColor
  3. | `Set
]
type fegaussianblur_attr = [
  1. | core_attr
  2. | presentation_attr
  3. | filter_primitive_attr
  4. | `Class
  5. | `Style
  6. | `In
  7. | `StdDeviation
]
type feimage = [
  1. | `FeImage
]
type feimage_content = [
  1. | `Animate
  2. | `AnimateColor
  3. | `Set
]
type feimage_attr = [
  1. | core_attr
  2. | presentation_attr
  3. | filter_primitive_attr
  4. | `Class
  5. | `Style
  6. | `ExternalResourcesRequired
  7. | `PreserveAspectRadio
]
type femerge = [
  1. | `FeMerge
]
type femerge_content = [
  1. | `FeMergeNode
]
type femerge_attr = [
  1. | core_attr
  2. | presentation_attr
  3. | filter_primitive_attr
  4. | `Class
  5. | `Style
]
type femorphology = [
  1. | `FeMorphology
]
type femorphology_content = [
  1. | `Animate
  2. | `Set
]
type femorphology_attr = [
  1. | core_attr
  2. | presentation_attr
  3. | filter_primitive_attr
  4. | `OperatorMorphology
  5. | `Class
  6. | `Style
  7. | `In
  8. | `Radius
]
type feoffset = [
  1. | `FeOffset
]
type feoffset_content = [
  1. | `Animate
  2. | `Set
]
type feoffset_attr = [
  1. | core_attr
  2. | presentation_attr
  3. | filter_primitive_attr
  4. | `Class
  5. | `Style
  6. | `Dx
  7. | `Dy
  8. | `In
]
type fespecularlighting = [
  1. | `FeSpecularLighting
]
type fespecularlighting_content = [
  1. | descriptive_element
  2. | light_source_element
]
type fespecularlighting_attr = [
  1. | core_attr
  2. | presentation_attr
  3. | filter_primitive_attr
  4. | `Class
  5. | `Style
  6. | `In
  7. | `SurfaceScale
  8. | `SpecularConstant
  9. | `SpecularExponent
  10. | `KernelUnitLength
]
type fetile = [
  1. | `FeTile
]
type fetile_content = [
  1. | `Animate
  2. | `Set
]
type fetile_attr = [
  1. | core_attr
  2. | presentation_attr
  3. | filter_primitive_attr
  4. | `Class
  5. | `Style
  6. | `In
]
type feturbulence = [
  1. | `FeTurbulence
]
type feturbulence_content = [
  1. | `Animate
  2. | `Set
]
type feturbulence_attr = [
  1. | core_attr
  2. | presentation_attr
  3. | filter_primitive_attr
  4. | `Class
  5. | `Style
  6. | `BaseFrequency
  7. | `NumOctaves
  8. | `Seed
  9. | `StitchTiles
  10. | `TypeStitch
]
type cursor = [
  1. | `Cursor
]
type cursor_content = descriptive_element
type cursor_attr = [
  1. | core_attr
  2. | conditional_processing_attr
  3. | `X
  4. | `Y
  5. | `ExternalResourcesRequired
]
type a = [
  1. | `A
]
type a_content = [
  1. | animation_element
  2. | descriptive_element
  3. | shape_element
  4. | structural_element
  5. | gradient_element
  6. | `A
  7. | `AltGlyphDef
  8. | `ClipPath
  9. | `Color_Profile
  10. | `Cursor
  11. | `Filter
  12. | `Font
  13. | `Font_Face
  14. | `ForeignObject
  15. | `Image
  16. | `Marker
  17. | `Mask
  18. | `Pattern
  19. | `Script
  20. | `Style
  21. | `Switch
  22. | `Text
  23. | `View
]
type a_attr = [
  1. | core_attr
  2. | conditional_processing_attr
  3. | graphical_event_attr
  4. | presentation_attr
  5. | `Class
  6. | `Style
  7. | `ExternalResourcesRequired
  8. | `Transform
  9. | `Target
]
type view = [
  1. | `View
]
type view_content = descriptive_element
type view_attr = [
  1. | core_attr
  2. | `ExternalResourcesRequired
  3. | `ViewBox
  4. | `PreserveAspectRatio
  5. | `ZoomAndPan
  6. | `ViewTarget
]
type script = [
  1. | `Script
]
type script_content = [
  1. | `PCDATA
]
type script_attr = [
  1. | core_attr
  2. | `ExternalResourcesRequired
  3. | `Type
]
type animate = [
  1. | `Animate
]
type animate_content = descriptive_element
type set = [
  1. | `Set
]
type set_content = descriptive_element
type animatemotion = [
  1. | `AnimateMotion
]
type animatemotion_content = [
  1. | descriptive_element
  2. | `Mpath
]
type animatemotion_attr = [
  1. | conditional_processing_attr
  2. | core_attr
  3. | animation_event_attr
  4. | animation_timing_attr
  5. | animation_value_attr
  6. | animation_addition_attr
  7. | `ExternalResourcesRequired
  8. | `Path
  9. | `KeyPoints
  10. | `Rotate
  11. | `Origin
]
type mpath = [
  1. | `Mpath
]
type mpath_content = descriptive_element
type mpath_attr = [
  1. | core_attr
  2. | `ExternalResourcesRequired
]
type animatecolor = [
  1. | `AnimateColor
]
type animatecolor_content = descriptive_element
type animatetransform = [
  1. | `AnimateTransform
]
type animatetransform_content = descriptive_element
type font = [
  1. | `Font
]
type font_attr = [
  1. | core_attr
  2. | presentation_attr
  3. | `Class
  4. | `Style
  5. | `ExternalResourcesRequired
  6. | `HorizOriginX
  7. | `HorizOriginY
  8. | `HorizAdvX
  9. | `VertOriginX
  10. | `VertOriginY
  11. | `VertAdvY
]
type font_content = [
  1. | descriptive_element
  2. | `Font_Face
  3. | `Glyph
  4. | `Hkern
  5. | `MissingGlyph
  6. | `Vkern
]
type glyph = [
  1. | `Glyph
]
type glyph_content = [
  1. | animation_element
  2. | descriptive_element
  3. | shape_element
  4. | structural_element
  5. | gradient_element
  6. | `A
  7. | `AltGlyphDef
  8. | `ClipPath
  9. | `Color_Profile
  10. | `Cursor
  11. | `Filter
  12. | `Font
  13. | `Font_Face
  14. | `ForeignObject
  15. | `Image
  16. | `Marker
  17. | `Mask
  18. | `Pattern
  19. | `Script
  20. | `Style
  21. | `Switch
  22. | `Text
  23. | `View
]
type glyph_attr = [
  1. | core_attr
  2. | presentation_attr
  3. | `Class
  4. | `Style
  5. | `D
  6. | `HorizAdvX
  7. | `VertOriginX
  8. | `VertOriginY
  9. | `VertAdvY
  10. | `Unicode
  11. | `GlyphName
  12. | `Orientation
  13. | `ArabicForm
  14. | `Lang
]
type missingglyph = [
  1. | `MissingGlyph
]
type missingglyph_content = [
  1. | animation_element
  2. | descriptive_element
  3. | shape_element
  4. | structural_element
  5. | gradient_element
  6. | `A
  7. | `AltGlyphDef
  8. | `ClipPath
  9. | `Color_Profile
  10. | `Cursor
  11. | `Filter
  12. | `Font
  13. | `Font_Face
  14. | `ForeignObject
  15. | `Image
  16. | `Marker
  17. | `Mask
  18. | `Pattern
  19. | `Script
  20. | `Style
  21. | `Switch
  22. | `Text
  23. | `View
]
type missingglyph_attr = [
  1. | core_attr
  2. | presentation_attr
  3. | `Class
  4. | `Style
  5. | `D
  6. | `HorizAdvX
  7. | `VertOriginX
  8. | `VertOriginY
  9. | `VertAdvY
]
type hkern = [
  1. | `Hkern
]
type hkern_attr = [
  1. | core_attr
  2. | `U1
  3. | `G1
  4. | `U2
  5. | `G2
  6. | `K
]
type vkern = [
  1. | `Vkern
]
type vkern_attr = [
  1. | core_attr
  2. | `U1
  3. | `G1
  4. | `U2
  5. | `G2
  6. | `K
]
type font_face = [
  1. | `Font_Face
]
type font_face_content = [
  1. | descriptive_element
  2. | `Font_Face_Src
]
type font_face_attr = [
  1. | core_attr
  2. | `Font_Family
  3. | `Font_Style
  4. | `Font_Variant
  5. | `Font_Weight
  6. | `Font_Stretch
  7. | `Font_Size
  8. | `UnicodeRange
  9. | `UnitsPerEm
  10. | `Panose1
  11. | `Stemv
  12. | `Stemh
  13. | `Slope
  14. | `CapHeight
  15. | `XHeight
  16. | `AccentHeight
  17. | `Ascent
  18. | `Descent
  19. | `Widths
  20. | `Bbox
  21. | `Ideographic
  22. | `Alphabetic
  23. | `Mathematical
  24. | `Hanging
  25. | `VIdeographic
  26. | `VAlphabetic
  27. | `VMathematical
  28. | `VHanging
  29. | `UnderlinePosition
  30. | `UnderlineThickness
  31. | `StrikethroughPosition
  32. | `StrikethroughThickness
  33. | `OverlinePosition
  34. | `OverlineThickness
]
type font_face_src = [
  1. | `Font_Face_Src
]
type font_face_src_content = [
  1. | `Font_Face_Name
  2. | `Font_Face_Uri
]
type font_face_src_attr = core_attr
type font_face_uri = [
  1. | `Font_Face_Uri
]
type font_face_uri_content = [
  1. | `Font_Face_Format
]
type font_face_uri_attr = [
  1. | core_attr
]
type font_face_format = [
  1. | `Font_Face_Format
]
type font_face_format_attr = [
  1. | core_attr
  2. | `String
]
type font_face_name = [
  1. | `Font_Face_Name
]
type font_face_name_attr = [
  1. | core_attr
  2. | `Name
]
type metadata = [
  1. | `Metadata
]
type metadata_attr = [
  1. | core_attr
]
type foreignobject = [
  1. | `ForeignObject
]
type foreignobject_attr = [
  1. | core_attr
  2. | conditional_processing_attr
  3. | graphical_event_attr
  4. | presentation_attr
  5. | `Class
  6. | `Style
  7. | `ExternalResourcesRequired
  8. | `Transform
  9. | `X
  10. | `Y
  11. | `Width
  12. | `Height
]
type alignment_baseline = [
  1. | `After_edge
  2. | `Alphabetic
  3. | `Auto
  4. | `Baseline
  5. | `Before_edge
  6. | `Central
  7. | `Hanging
  8. | `Ideographic
  9. | `Inherit
  10. | `Mathematical
  11. | `Middle
  12. | `Text_after_edge
  13. | `Text_before_edge
]
type dominant_baseline = [
  1. | `Auto
  2. | `Use_script
  3. | `No_change
  4. | `Reset_size
  5. | `Ideographic
  6. | `Alphabetic
  7. | `Hanging
  8. | `Mathematical
  9. | `Central
  10. | `Middle
  11. | `Text_after_edge
  12. | `Text_before_edge
  13. | `Inherit
]
type in_value = [
  1. | `SourceGraphic
  2. | `SourceAlpha
  3. | `BackgroundImage
  4. | `BackgroundAlpha
  5. | `FillPaint
  6. | `StrokePaint
  7. | `Ref of string
]
type offset = [
  1. | `Number of number
  2. | `Percentage of percentage
]
type big_variant = [
  1. | `A
  2. | `Absolute_colorimetric
  3. | `Align
  4. | `Always
  5. | `Atop
  6. | `Arithmetic
  7. | `Auto
  8. | `B
  9. | `Bever
  10. | `Butt
  11. | `CSS
  12. | `Darken
  13. | `Default
  14. | `Dilate
  15. | `Disable
  16. | `Discrete
  17. | `Duplicate
  18. | `End
  19. | `Erode
  20. | `Exact
  21. | `FractalNoise
  22. | `Freeze
  23. | `HueRotate
  24. | `G
  25. | `Gamma
  26. | `GeometricPrecision
  27. | `H
  28. | `Identity
  29. | `In
  30. | `Inherit
  31. | `Initial
  32. | `Isolated
  33. | `Lighten
  34. | `Line_through
  35. | `Linear
  36. | `LuminanceToAlpha
  37. | `Magnify
  38. | `Matrix
  39. | `Medial
  40. | `Middle
  41. | `Miter
  42. | `Multiply
  43. | `Never
  44. | `New
  45. | `None
  46. | `Normal
  47. | `NoStitch
  48. | `ObjectBoundingBox
  49. | `OnLoad
  50. | `OnRequest
  51. | `OptimizeLegibility
  52. | `OptimizeSpeed
  53. | `Other
  54. | `Out
  55. | `Over
  56. | `Overline
  57. | `Paced
  58. | `Pad
  59. | `Perceptual
  60. | `Preserve
  61. | `R
  62. | `Reflect
  63. | `Remove
  64. | `Repeat
  65. | `Replace
  66. | `Relative_colorimetric
  67. | `Rotate
  68. | `Round
  69. | `Saturate
  70. | `Saturation
  71. | `Scale
  72. | `Screen
  73. | `SkewX
  74. | `SkewY
  75. | `Spacing
  76. | `SpacingAndGlyphs
  77. | `Spline
  78. | `Square
  79. | `Start
  80. | `Stitch
  81. | `Stretch
  82. | `StrokeWidth
  83. | `Sum
  84. | `Table
  85. | `Terminal
  86. | `Translate
  87. | `Turbulence
  88. | `Underline
  89. | `UserSpaceOnUse
  90. | `V
  91. | `WhenNotActive
  92. | `Wrap
  93. | `XML
  94. | `Xor
]

Deprecated

type animation = animate
  • deprecated

    Use animate instead

type animation_content = animate_content
  • deprecated

    Use animate_content instead

type animation_attr = animate_attr
  • deprecated

    Use animate_attr instead

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct