-
Notifications
You must be signed in to change notification settings - Fork 5
/
Copy pathrhone-js.ipkg
50 lines (43 loc) · 1.21 KB
/
rhone-js.ipkg
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
package rhone-js
version = 0.0.1
authors = "stefan-hoeck"
brief = "Reactive single page web applications in Idris2"
depends = base >= 0.6.0
, dom
, rhone
, refined
, tailrec
opts = "--codegen javascript"
modules = Rhone.Canvas
, Rhone.Canvas.Angle
, Rhone.Canvas.Scene
, Rhone.Canvas.Shape
, Rhone.Canvas.Style
, Rhone.Canvas.Transformation
, Rhone.JS
, Rhone.JS.ElemRef
, Rhone.JS.Event
, Rhone.JS.Input
, Rhone.JS.Reactimate
, Rhone.JS.Sink
, Rhone.JS.Source
, Rhone.JS.Util
, Text.CSS
, Text.CSS.Angle
, Text.CSS.Color
, Text.CSS.Declaration
, Text.CSS.Dir
, Text.CSS.Flexbox
, Text.CSS.Gradient
, Text.CSS.Grid
, Text.CSS.Length
, Text.CSS.ListStyleType
, Text.CSS.Percentage
, Text.CSS.Property
, Text.CSS.Rule
, Text.CSS.Selector
, Text.Html
, Text.Html.Attribute
, Text.Html.Event
, Text.Html.Node
sourcedir = "src"