/*
 * Created by PyramIDE.
 * User: フランスのトトロ aka (David RENÉ) 
 * Date: 23/02/2017
 * Time: 21:43
 * © David RENÉ
 */

read xlib/web/making_a_web_site.anubis

public type Font_Awesome:
  awesome(
    String code
  )
.

public define HTML
  to_HTML
  (
    Font_Awesome    fa,
    List(CoreAttrs) attrs,
    String          text
  )=
  since fa is awesome(code),
  i([class("fa fa-"+code), attr("aria-hidden", "true")]+attrs, text)
.



public define HTML
  to_HTML
  (
    Font_Awesome    fa,
    List(CoreAttrs) attrs
  )=
  to_HTML(fa, attrs, "")
.

public define HTML
  to_HTML
  (
    Font_Awesome    fa,
    CoreAttrs       attr
  )=
  to_HTML(fa, [attr], "")
.


public define HTML
  to_HTML
  (
    Font_Awesome    fa,
    String          text
  )=
  to_HTML(fa, [], text)
.

public define HTML
  to_HTML
  (
    Font_Awesome    fa
  )=
  to_HTML(fa, [], "")
.

//public define HTML_In_Form
//  to_HTML
//  (
//    Font_Awesome    fa,
//    List(CoreAttrs) attrs,
//    String          text
//  )=
//  since fa is awesome(code),
//  i([class("fa fa-"+code), attr("aria-hidden", "true")]+attrs, text)
//.

//public define HTML_In_Form
//  to_HTML
//  (
//    Font_Awesome    fa,
//    List(CoreAttrs) attrs
//  )=
//  to_HTML(fa, attrs, "")
//.
//
//public define HTML_In_Form
//  to_HTML
//  (
//    Font_Awesome    fa,
//    CoreAttrs       attr
//  )=
//  to_HTML(fa, [attr], "")
//.
//
//
//public define HTML_In_Form
//  to_HTML
//  (
//    Font_Awesome    fa,
//    String          text
//  )=
//  to_HTML(fa, [], text)
//.
//
//public define HTML_In_Form
//  to_HTML
//  (
//    Font_Awesome    fa
//  )=
//  to_HTML(fa, [], "")
//.