/
H2.purs
38 lines (33 loc) · 864 Bytes
/
H2.purs
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
module Deku.DOM.Elt.H2 where
import Bolson.Core (Entity(..), fixed)
import Control.Plus (empty)
import Data.Array (mapWithIndex)
import Deku.Attribute (Attribute)
import Deku.Control as DC
import Deku.Core (Domable(..), Domable', unsafeSetPos)
import FRP.Event (Event)
import Safe.Coerce (coerce)
data H2_
h2
:: forall lock payload
. Event (Attribute H2_)
-> Array (Domable lock payload)
-> Domable lock payload
h2 attributes kids = Domable
( Element'
( DC.elementify "h2" attributes
( (coerce :: Domable' lock payload -> Domable lock payload)
(fixed (coerce (mapWithIndex unsafeSetPos kids)))
)
)
)
h2_
:: forall lock payload
. Array (Domable lock payload)
-> Domable lock payload
h2_ = h2 empty
h2__
:: forall lock payload
. String
-> Domable lock payload
h2__ t = h2_ [ DC.text_ t ]