{-# OPTIONS_GHC -fno-warn-missing-signatures -fno-warn-unused-do-bind -fno-warn-name-shadowing #-}

{-# LANGUAGE NoMonomorphismRestriction #-}
{-# LANGUAGE RebindableSyntax #-}

module Medium where

import Prelude
import Html

helloWorld x
  = Html
  :> ( Head :> Title :> x
     # Body :> P :> "Hello World!"
     )

table (n, m) = (Table :>) . replicate n . (Tr :>) $ map (Td :>) [(1::Int)..m]

page x
  = Html
  :> ( Body
     :> ( H1
        :> ( Img
           # Strong :> (0 :: Int)
           )
        # Div :> Div :> (1 :: Int)
        # Div
        :> ( Form
           :> ( Fieldset
              :> ( Div
                 :> ( Div
                    :> ( Label :> "a"
                       # Select
                       :> ( Option :> "b"
                          # Option :> "c"
                          )
                       # Div :> "d"
                       )
                    # I :> x
                    )
                 # Button :> I :> "e"
                 )
              )
           )
        )
     )

attrShort x
  = I :@ AccesskeyA:="a"
    :> I :@ ClassA:="b"
       :> I :@ ContenteditableA:="c"
          :> I :@ TranslateA:="d"
             :> I :@ DirA:="e"
                :> I :@ DraggableA:="f"
                   :> I :@ HiddenA
                      :> I :@ IdA:="h"
                         :> I :@ ItempropA:="i"
                            :> I :@ LangA:="j"
                               :> I :@ SpellcheckA:="k"
                                  :> I :@ StyleA:="l"
                                     :> I :@ TitleA:=x :> "m"

attrLong x =
  I :@ ( AccesskeyA       := "a"
       # ClassA           := "b"
       # ContenteditableA := "c"
       # TranslateA       := "d"
       # DirA             := "e"
       # DraggableA       := "f"
       # HiddenA
       # IdA              := "h"
       # ItempropA        := "i"
       # LangA            := "j"
       # SpellcheckA      := "k"
       # StyleA           := "l"
       # TitleA           := x
       ) :> "m"

pageA x =
  Html :> do
    Body :> do
      H1 :@ IdA:="a" :> do
        Img
        Strong :@ ClassA:="b" :> (0 :: Int)
      Div :> do
        Div :@ IdA:="c" :> (1 :: Int)
      Div :> do
        Form :@ ClassA:="d" :> do
          Fieldset :> do
            Div :@ IdA:="e" :> do
              Div :> do
                Label :@ ClassA:="f" :> "a"
                Select :> do
                  Option :@ IdA:="g" :> "b"
                  Option :> "c"
                Div :@ ClassA:="h" :> "d"
              I :> x
            Button :@ IdA:="i" :> do
              I :> "e"
  where
    (>>) = (#)