split-factory-and-props.fs

[<Interface>]
type HTMLAttributes<'element when 'element :> Element and 'element :> EventTarget> =
  inherit AriaAttributes
  inherit DOMAttributes<'element>

  abstract member defaultChecked: bool option with get, set

[<Interface>]
type HTMLAttributesFactory<'Property, 'element when 
    'Property :> HTMLAttributes<'element> and 
    'element :> Element and 
    'element :> EventTarget> =
    
  inherit AriaAttributesFactory<'Property>
  inherit DOMAttributesFactory<'Property, 'element>

  static member inline defaultChecked (value: bool) = 
    Interop.mkProperty<'Property> 
      (nameof(Unchecked.defaultof<HTMLAttributes<'element>>.defaultChecked)) 
      value

type InputHTMLAttributes<'element when 'element :> Element and 'element :> EventTarget> =
  inherit HTMLAttributes<'element>

  abstract member disabled: bool option with get, set

[<Interface>]
type InputHTMLAttributesFactory<'Property, 'element when
    'Property :> InputHTMLAttributes<'element> and
    'element :> Element and
    'element :> EventTarget> =
    
  inherit HTMLAttributesFactory<'Property, 'element>

  static member inline disabled (value: bool) = 
    Interop.mkProperty<'Property> 
      (nameof(Unchecked.defaultof<InputHTMLAttributes<'element>>.disabled)) 
      value

[<Interface>]
type input = inherit InputHTMLAttributesFactory<InputHTMLAttributes>