fragment type String; size String 8; atom suffix String _s;
meta
(description (
'A\sclass\sattribute\scan\sbe\sadded\sto\smost\shtml\selements.
))
(example (
(div( (class 'p-data_s)
(h2( 'Hello_s ))
))
))
;
fragment class := λ(: cls String). (: (
(.program(
'\sclass=" (.program cls) '"\s
))
) HTMLAttribute);
meta
(description (
'A\sname\sattribute\scan\sbe\sadded\sto\smost\shtml\selements.
))
(example (
(div( (name 'data_s)
(h2( 'Hello_s ))
))
))
;
fragment name := λ(: cls String). (: (
(.program(
'\sname=" (.program cls) '"\s
))
) HTMLAttribute);
meta
(description (
'An\sautocomplete\sattribute\scan\sbe\sadded\sto\smost\shtml\selements.
))
(example (
(input( (type_ 'text_s) (autocomplete 'default\svalue_s)
))
))
;
fragment autocomplete := λ(: cls String). (: (
(.program(
'\sautocomplete=" (.program cls) '"\s
))
) HTMLAttribute);
meta
(description (
'A\srequired\sattribute\scan\sbe\sadded\sto\smost\shtml\selements.
))
(example (
(input( (type_ 'text_s) (required 'yes_s)
))
))
;
fragment required := λ(: cls String). (: (
(.program(
'\srequired=" (.program cls) '"\s
))
) HTMLAttribute);
meta
(description (
'A\splaceholder\sattribute\scan\sbe\sadded\sto\smost\shtml\selements.
))
(example (
(input( (type_ 'text_s) (placeholder 'temporary\svalue_s)
))
))
;
fragment placeholder := λ(: cls String). (: (
(.program(
'\splaceholder=" (.program cls) '"\s
))
) HTMLAttribute);
meta
(description (
'A\stype\sattribute\scan\sbe\sadded\sto\smost\shtml\selements.
))
(example (
(input( (type_ 'text_s)
))
))
;
fragment type_ := λ(: cls String). (: (
(.program(
'\stype=" (.program cls) '"\s
))
) HTMLAttribute);
meta
(description (
'A\ssrc\sattribute\scan\sbe\sadded\sto\smost\shtml\selements.
))
(example (
(input( (src 'http://site_s)
))
))
;
fragment src := λ(: s String). (: (
(.program(
'\ssrc=" (.program s) '"\s
))
) HTMLAttribute);
meta
(description (
'An\sid\sattribute\scan\sbe\sadded\sto\smost\shtml\selements.
))
(example (
(input( (id 'ident_s)
))
))
;
fragment id := λ(: i String). (: (
(.program(
'\sid=" (.program i) '"\s
))
) HTMLAttribute);
meta
(description (
'A\srel\sattribute\scan\sbe\sadded\sto\smost\shtml\selements.
))
(example (
(input( (rel 'ident_s)
))
))
;
fragment rel := λ(: i String). (: (
(.program(
'\srel=" (.program i) '"\s
))
) HTMLAttribute);
meta
(description (
'An\shref\sattribute\scan\sbe\sadded\sto\smost\shtml\selements.
))
(example (
(input( (rel 'http://site_s)
))
))
;
fragment href := λ(: a String). (: (
(.program(
'\shref=" (.program a) '"\s
))
) HTMLAttribute);
meta
(description (
'text\sis\sa\stypesafe\splaintext\selement.
))
(example (
(text 'hello_s)
))
;
fragment text := λ(: t String). (: (
(.program(
(.program t)
))
) HTMLElement);
meta
(description (
'html\sis\sthe\sdocument\sroot\s.
))
(example (
(html( (text( 'hello_s )) ))
))
;
fragment html := λ(: attrs HTMLAttribute...)(: es HTMLElement...). (: (
(.program(
'\n
'\n
(for-arg e in es (.program e))
'\n
))
) HTMLElement);
meta
(description (
'main\sis\sa\ssemantic\shtml\selement.
))
(example (
(main( (text( 'hello_s )) ))
))
;
fragment main := λ(: attrs HTMLAttribute...)(: es HTMLElement...). (: (
(.program(
'\n
(for-arg e in es (.program e))
'\n
))
) HTMLElement);
meta
(description (
'head\sis\sa\ssemantic\shtml\selement.
))
(example (
(head( (title( 'The\spage\stitle_s )) ))
))
;
fragment head := λ(: attrs HTMLAttribute...)(: es HTMLElement...). (: (
(.program(
'
(for-arg e in es (.program e))
'\n
))
) HTMLElement);
meta
(description (
'title\sis\sa\ssemantic\shtml\selement.
))
(example (
(title( (text( 'hello_s )) ))
))
;
fragment title := λ(: attrs HTMLAttribute...)(: es HTMLElement...). (: (
(.program(
'
(for-arg e in es (.program e))
'\n
))
) HTMLElement);
meta
(description (
'body\sis\swhere\svisual\shtml\selements\sgo.
))
(example (
(body( (text( 'hello_s )) ))
))
;
fragment body := λ(: attrs HTMLAttribute...)(: es HTMLElement...). (: (
(.program(
'
(for-arg e in es (.program e))
'\n
))
) HTMLElement);
meta
(description (
'h1\sis\sa\ssemantic\shtml\selement.
))
(example (
(h1( (text( 'hello_s )) ))
))
;
fragment h1 := λ(: attrs HTMLAttribute...)(: es HTMLElement...). (: (
(.program(
'