Idris2Doc : Text.SVG.Types

Text.SVG.Types

(source)
Reexports
import public Data.Refined
Definitions
renderDouble : Double -> String
  Prints a floating point number, removing the trailing `".0"`
  in case it's an integer.

  Totality: total
  Visibility: export
data SVGAngle : Type
  Totality: total
  Visibility: public export
  Constructors:
  
Deg : Double -> SVGAngle
  
Rad : Double -> SVGAngle
  
Grad : Double -> SVGAngle

  Hint: 
Interpolation SVGAngle
deg : Cast SVGAngle a => Double -> a
  Totality: total
  Visibility: export
rad : Cast SVGAngle a => Double -> a
  Totality: total
  Visibility: export
grad : Cast SVGAngle a => Double -> a
  Totality: total
  Visibility: export
.deg : Cast SVGAngle a => Double -> a
  Totality: total
  Visibility: export
.rad : Cast SVGAngle a => Double -> a
  Totality: total
  Visibility: export
.grad : Cast SVGAngle a => Double -> a
  Totality: total
  Visibility: export
IsPercentage : Double -> Bool
  Totality: total
  Visibility: public export
record Percentage : Type
  A floating point percentage value in the the
  range [0,100].

  Totality: total
  Visibility: public export
  Constructor: 
MkPercentage : (value : Double) -> {auto 0 _ : Holds IsPercentage value} -> Percentage

  Projections:
  
0 .prf : ({rec:0} : Percentage) -> Holds IsPercentage (value {rec:0})
  
.value : Percentage -> Double

  Hints:
  
Cast Percentage LengthOrPercentage
  
Eq Percentage
  
Interpolation Percentage
  
Ord Percentage
  
Show Percentage
.value : Percentage -> Double
  Totality: total
  Visibility: public export
value : Percentage -> Double
  Totality: total
  Visibility: public export
0 .prf : ({rec:0} : Percentage) -> Holds IsPercentage (value {rec:0})
  Totality: total
  Visibility: public export
0 prf : ({rec:0} : Percentage) -> Holds IsPercentage (value {rec:0})
  Totality: total
  Visibility: public export
perc : Cast Percentage a => (v : Double) -> {auto 0 _ : Holds IsPercentage v} -> a
  Convenience function for creating percentages with little
  syntactic overhead.
  
  ```idris example
  perc 12
  ```

  Totality: total
  Visibility: export
.perc : Cast Percentage a => (v : Double) -> {auto 0 _ : Holds IsPercentage v} -> a
  Convenience function for creating percentages with little
  syntactic overhead.
  
  ```idris example
  12.perc
  ```

  Totality: total
  Visibility: export
data SVGColor : Type
  Totality: total
  Visibility: public export
  Constructors:
  
RGB : Bits8 -> Bits8 -> Bits8 -> SVGColor
  
RGBA : Bits8 -> Bits8 -> Bits8 -> Percentage -> SVGColor
  
Key : String -> SVGColor

  Hints:
  
Interpolation SVGColor
  
Show SVGColor
data Length : Type
  Totality: total
  Visibility: public export
  Constructors:
  
U : Double -> Length
  
Pt : Double -> Length
  
Px : Double -> Length
  
Mm : Double -> Length
  
Cm : Double -> Length

  Hints:
  
Cast Length LengthOrPercentage
  
Interpolation Length
u : Cast Length a => Double -> a
  Totality: total
  Visibility: export
mm : Cast Length a => Double -> a
  Totality: total
  Visibility: export
cm : Cast Length a => Double -> a
  Totality: total
  Visibility: export
px : Cast Length a => Double -> a
  Totality: total
  Visibility: export
pt : Cast Length a => Double -> a
  Totality: total
  Visibility: export
.u : Cast Length a => Double -> a
  Totality: total
  Visibility: export
.mm : Cast Length a => Double -> a
  Totality: total
  Visibility: export
.cm : Cast Length a => Double -> a
  Totality: total
  Visibility: export
.px : Cast Length a => Double -> a
  Totality: total
  Visibility: export
.pt : Cast Length a => Double -> a
  Totality: total
  Visibility: export
data LengthOrPercentage : Type
  Totality: total
  Visibility: public export
  Constructors:
  
Len : Length -> LengthOrPercentage
  
Per : Percentage -> LengthOrPercentage

  Hints:
  
Cast Percentage LengthOrPercentage
  
Cast Length LengthOrPercentage
  
Interpolation LengthOrPercentage
data PathCmd : Type
  Totality: total
  Visibility: public export
  Constructors:
  
Move : Bool -> Double -> Double -> PathCmd
  
Line : Bool -> Double -> Double -> PathCmd
  
Horiz : Bool -> Double -> PathCmd
  
Vert : Bool -> Double -> PathCmd
  
Z : PathCmd
  
Quadr : Bool -> Double -> Double -> Double -> Double -> PathCmd
  
QSucc : Bool -> Double -> Double -> PathCmd
  
Cubic : Bool -> Double -> Double -> Double -> Double -> Double -> Double -> PathCmd
  
CSucc : Bool -> Double -> Double -> Double -> Double -> PathCmd
  
Arc : Bool -> Double -> Double -> Double -> Bool -> Bool -> Double -> Double -> PathCmd

  Hint: 
Interpolation PathCmd
M : Double -> Double -> PathCmd
  Totality: total
  Visibility: export
m : Double -> Double -> PathCmd
  Totality: total
  Visibility: export
L : Double -> Double -> PathCmd
  Totality: total
  Visibility: export
l : Double -> Double -> PathCmd
  Totality: total
  Visibility: export
H : Double -> PathCmd
  Totality: total
  Visibility: export
h : Double -> PathCmd
  Totality: total
  Visibility: export
V : Double -> PathCmd
  Totality: total
  Visibility: export
v : Double -> PathCmd
  Totality: total
  Visibility: export
S : Double -> Double -> Double -> Double -> PathCmd
  Totality: total
  Visibility: export
s : Double -> Double -> Double -> Double -> PathCmd
  Totality: total
  Visibility: export
C : Double -> Double -> Double -> Double -> Double -> Double -> PathCmd
  Totality: total
  Visibility: export
c : Double -> Double -> Double -> Double -> Double -> Double -> PathCmd
  Totality: total
  Visibility: export
T : Double -> Double -> PathCmd
  Totality: total
  Visibility: export
t : Double -> Double -> PathCmd
  Totality: total
  Visibility: export
Q : Double -> Double -> Double -> Double -> PathCmd
  Totality: total
  Visibility: export
q : Double -> Double -> Double -> Double -> PathCmd
  Totality: total
  Visibility: export
A : Double -> Double -> Double -> Bool -> Bool -> Double -> Double -> PathCmd
  Totality: total
  Visibility: export
a : Double -> Double -> Double -> Bool -> Bool -> Double -> Double -> PathCmd
  Totality: total
  Visibility: export
data StrokeLinecap : Type
  Totality: total
  Visibility: public export
  Constructors:
  
Butt : StrokeLinecap
  
Round : StrokeLinecap
  
Square : StrokeLinecap

  Hint: 
Interpolation StrokeLinecap
data StrokeLinejoin : Type
  Totality: total
  Visibility: public export
  Constructors:
  
Miter : StrokeLinejoin
  
Round : StrokeLinejoin
  
Bevel : StrokeLinejoin

  Hint: 
Interpolation StrokeLinejoin
data TextAnchor : Type
  Totality: total
  Visibility: public export
  Constructors:
  
Start : TextAnchor
  
Middle : TextAnchor
  
End : TextAnchor

  Hint: 
Interpolation TextAnchor
data DominantBaseline : Type
  Totality: total
  Visibility: public export
  Constructors:
  
Auto : DominantBaseline
  
Ideographic : DominantBaseline
  
Alphabetic : DominantBaseline
  
Hanging : DominantBaseline
  
Mathematical : DominantBaseline
  
Middle : DominantBaseline
  
Central : DominantBaseline
  
TextAfterEdge : DominantBaseline
  
TextBeforeEdge : DominantBaseline
  
TextBottom : DominantBaseline
  
TextTop : DominantBaseline

  Hint: 
Interpolation DominantBaseline
data FontWeight : Type
  Totality: total
  Visibility: public export
  Constructors:
  
Normal : FontWeight
  
Bold : FontWeight
  
Bolder : FontWeight
  
Lighter : FontWeight
  
Val : Double -> FontWeight

  Hint: 
Interpolation FontWeight
data LengthAdjust : Type
  Totality: total
  Visibility: export
  Constructors:
  
Spacing : LengthAdjust
  
SpacingAndGlyphs : LengthAdjust

  Hint: 
Interpolation LengthAdjust
data Transform : Type
  Totality: total
  Visibility: public export
  Constructors:
  
Translate : Double -> Double -> Transform
  
Rotate : Double -> Transform
  
Scale : Double -> Double -> Transform
  
Matrix : Double -> Double -> Double -> Double -> Double -> Double -> Transform

  Hint: 
Interpolation Transform
none : SVGColor
  Totality: total
  Visibility: export
aliceblue : SVGColor
  Totality: total
  Visibility: export
antiquewhite : SVGColor
  Totality: total
  Visibility: export
aqua : SVGColor
  Totality: total
  Visibility: export
aquamarine : SVGColor
  Totality: total
  Visibility: export
azure : SVGColor
  Totality: total
  Visibility: export
beige : SVGColor
  Totality: total
  Visibility: export
bisque : SVGColor
  Totality: total
  Visibility: export
blanchedalmond : SVGColor
  Totality: total
  Visibility: export
black : SVGColor
  Totality: total
  Visibility: export
blue : SVGColor
  Totality: total
  Visibility: export
blueviolet : SVGColor
  Totality: total
  Visibility: export
brown : SVGColor
  Totality: total
  Visibility: export
burlywood : SVGColor
  Totality: total
  Visibility: export
cadetblue : SVGColor
  Totality: total
  Visibility: export
chartreuse : SVGColor
  Totality: total
  Visibility: export
chocolate : SVGColor
  Totality: total
  Visibility: export
coral : SVGColor
  Totality: total
  Visibility: export
cornflowerblue : SVGColor
  Totality: total
  Visibility: export
cornsilk : SVGColor
  Totality: total
  Visibility: export
crimson : SVGColor
  Totality: total
  Visibility: export
cyan : SVGColor
  Totality: total
  Visibility: export
darkblue : SVGColor
  Totality: total
  Visibility: export
darkcyan : SVGColor
  Totality: total
  Visibility: export
darkgoldenrod : SVGColor
  Totality: total
  Visibility: export
darkgray : SVGColor
  Totality: total
  Visibility: export
darkgreen : SVGColor
  Totality: total
  Visibility: export
darkgrey : SVGColor
  Totality: total
  Visibility: export
darkkhaki : SVGColor
  Totality: total
  Visibility: export
darkmagenta : SVGColor
  Totality: total
  Visibility: export
darkolivegreen : SVGColor
  Totality: total
  Visibility: export
darkorange : SVGColor
  Totality: total
  Visibility: export
darkorchid : SVGColor
  Totality: total
  Visibility: export
darkred : SVGColor
  Totality: total
  Visibility: export
darksalmon : SVGColor
  Totality: total
  Visibility: export
darkseagreen : SVGColor
  Totality: total
  Visibility: export
darkslateblue : SVGColor
  Totality: total
  Visibility: export
darkslategray : SVGColor
  Totality: total
  Visibility: export
darkslategrey : SVGColor
  Totality: total
  Visibility: export
darkturquoise : SVGColor
  Totality: total
  Visibility: export
darkviolet : SVGColor
  Totality: total
  Visibility: export
deeppink : SVGColor
  Totality: total
  Visibility: export
deepskyblue : SVGColor
  Totality: total
  Visibility: export
dimgray : SVGColor
  Totality: total
  Visibility: export
dimgrey : SVGColor
  Totality: total
  Visibility: export
dodgerblue : SVGColor
  Totality: total
  Visibility: export
firebrick : SVGColor
  Totality: total
  Visibility: export
floralwhite : SVGColor
  Totality: total
  Visibility: export
forestgreen : SVGColor
  Totality: total
  Visibility: export
fuchsia : SVGColor
  Totality: total
  Visibility: export
gainsboro : SVGColor
  Totality: total
  Visibility: export
ghostwhite : SVGColor
  Totality: total
  Visibility: export
gold : SVGColor
  Totality: total
  Visibility: export
goldenrod : SVGColor
  Totality: total
  Visibility: export
gray : SVGColor
  Totality: total
  Visibility: export
green : SVGColor
  Totality: total
  Visibility: export
greenyellow : SVGColor
  Totality: total
  Visibility: export
grey : SVGColor
  Totality: total
  Visibility: export
honeydew : SVGColor
  Totality: total
  Visibility: export
hotpink : SVGColor
  Totality: total
  Visibility: export
indianred : SVGColor
  Totality: total
  Visibility: export
indigo : SVGColor
  Totality: total
  Visibility: export
ivory : SVGColor
  Totality: total
  Visibility: export
khaki : SVGColor
  Totality: total
  Visibility: export
lavender : SVGColor
  Totality: total
  Visibility: export
lavenderblush : SVGColor
  Totality: total
  Visibility: export
lawngreen : SVGColor
  Totality: total
  Visibility: export
lemonchiffon : SVGColor
  Totality: total
  Visibility: export
lightblue : SVGColor
  Totality: total
  Visibility: export
lightcoral : SVGColor
  Totality: total
  Visibility: export
lightcyan : SVGColor
  Totality: total
  Visibility: export
lightgoldenrodyellow : SVGColor
  Totality: total
  Visibility: export
lightgray : SVGColor
  Totality: total
  Visibility: export
lightgreen : SVGColor
  Totality: total
  Visibility: export
lightgrey : SVGColor
  Totality: total
  Visibility: export
lightpink : SVGColor
  Totality: total
  Visibility: export
lightsalmon : SVGColor
  Totality: total
  Visibility: export
lightseagreen : SVGColor
  Totality: total
  Visibility: export
lightskyblue : SVGColor
  Totality: total
  Visibility: export
lightslategray : SVGColor
  Totality: total
  Visibility: export
lightslategrey : SVGColor
  Totality: total
  Visibility: export
lightsteelblue : SVGColor
  Totality: total
  Visibility: export
lightyellow : SVGColor
  Totality: total
  Visibility: export
lime : SVGColor
  Totality: total
  Visibility: export
limegreen : SVGColor
  Totality: total
  Visibility: export
linen : SVGColor
  Totality: total
  Visibility: export
magenta : SVGColor
  Totality: total
  Visibility: export
maroon : SVGColor
  Totality: total
  Visibility: export
mediumaquamarine : SVGColor
  Totality: total
  Visibility: export
mediumblue : SVGColor
  Totality: total
  Visibility: export
mediumorchid : SVGColor
  Totality: total
  Visibility: export
mediumpurple : SVGColor
  Totality: total
  Visibility: export
mediumseagreen : SVGColor
  Totality: total
  Visibility: export
mediumslateblue : SVGColor
  Totality: total
  Visibility: export
mediumspringgreen : SVGColor
  Totality: total
  Visibility: export
mediumturquoise : SVGColor
  Totality: total
  Visibility: export
mediumvioletred : SVGColor
  Totality: total
  Visibility: export
midnightblue : SVGColor
  Totality: total
  Visibility: export
mintcream : SVGColor
  Totality: total
  Visibility: export
mistyrose : SVGColor
  Totality: total
  Visibility: export
moccasin : SVGColor
  Totality: total
  Visibility: export
navajowhite : SVGColor
  Totality: total
  Visibility: export
navy : SVGColor
  Totality: total
  Visibility: export
oldlace : SVGColor
  Totality: total
  Visibility: export
olive : SVGColor
  Totality: total
  Visibility: export
olivedrab : SVGColor
  Totality: total
  Visibility: export
orange : SVGColor
  Totality: total
  Visibility: export
orangered : SVGColor
  Totality: total
  Visibility: export
orchid : SVGColor
  Totality: total
  Visibility: export
palegoldenrod : SVGColor
  Totality: total
  Visibility: export
palegreen : SVGColor
  Totality: total
  Visibility: export
paleturquoise : SVGColor
  Totality: total
  Visibility: export
palevioletred : SVGColor
  Totality: total
  Visibility: export
papayawhip : SVGColor
  Totality: total
  Visibility: export
peachpuff : SVGColor
  Totality: total
  Visibility: export
peru : SVGColor
  Totality: total
  Visibility: export
pink : SVGColor
  Totality: total
  Visibility: export
plum : SVGColor
  Totality: total
  Visibility: export
powderblue : SVGColor
  Totality: total
  Visibility: export
purple : SVGColor
  Totality: total
  Visibility: export
red : SVGColor
  Totality: total
  Visibility: export
rosybrown : SVGColor
  Totality: total
  Visibility: export
royalblue : SVGColor
  Totality: total
  Visibility: export
saddlebrown : SVGColor
  Totality: total
  Visibility: export
salmon : SVGColor
  Totality: total
  Visibility: export
sandybrown : SVGColor
  Totality: total
  Visibility: export
seagreen : SVGColor
  Totality: total
  Visibility: export
seashell : SVGColor
  Totality: total
  Visibility: export
sienna : SVGColor
  Totality: total
  Visibility: export
silver : SVGColor
  Totality: total
  Visibility: export
skyblue : SVGColor
  Totality: total
  Visibility: export
slateblue : SVGColor
  Totality: total
  Visibility: export
slategray : SVGColor
  Totality: total
  Visibility: export
slategrey : SVGColor
  Totality: total
  Visibility: export
snow : SVGColor
  Totality: total
  Visibility: export
springgreen : SVGColor
  Totality: total
  Visibility: export
steelblue : SVGColor
  Totality: total
  Visibility: export
tan : SVGColor
  Totality: total
  Visibility: export
teal : SVGColor
  Totality: total
  Visibility: export
thistle : SVGColor
  Totality: total
  Visibility: export
tomato : SVGColor
  Totality: total
  Visibility: export
transparent : SVGColor
  Totality: total
  Visibility: export
turquoise : SVGColor
  Totality: total
  Visibility: export
violet : SVGColor
  Totality: total
  Visibility: export
wheat : SVGColor
  Totality: total
  Visibility: export
white : SVGColor
  Totality: total
  Visibility: export
whitesmoke : SVGColor
  Totality: total
  Visibility: export
yellow : SVGColor
  Totality: total
  Visibility: export
yellowgreen : SVGColor
  Totality: total
  Visibility: export