Idris2Doc : Language.XML.Misc

Language.XML.Misc

(source)
Definitions
data Misc : Type
  Totality: total
  Visibility: public export
  Constructors:
  
Comment : String -> Misc
  
ProcessingInstruction : String -> String -> Misc

  Hint: 
Show Misc
comment : Parser Misc
  Visibility: export
processingInstruction : Parser Misc
  Visibility: export
misc : Parser Misc
  Visibility: export