class_docstr: For Literate Idris (Bird-style or LaTeX) source.
  
  Additional options accepted:
  
  `litstyle`
      If given, must be ``"bird"`` or ``"latex"``.  If not given, the style
      is autodetected: if the first non-whitespace character in the source
      is a backslash or percent character, LaTeX is assumed, else Bird.
  
  .. versionadded:: 2.0
class_docstr_tok: ["For","Literate","Idris","(","Bird-style","or","LaTeX",")","source",".","Additional","options","accepted",":","`","litstyle","`","If","given",",","must","be","``","``","bird","''","``","or","``","``","latex","''","``",".","If","not","given",",","the","style","is","autodetected",":","if","the","first","non-whitespace","character","in","the","source","is","a","backslash","or","percent","character",",","LaTeX","is","assumed",",","else","Bird",".","..","versionadded",":",":","2.0"]
code: def __init__(self, **options):
      hslexer = IdrisLexer(**options)
      LiterateLexer.__init__(self, hslexer, **options)
  
imports: import re
  from pygments.lexer import Lexer, RegexLexer, bygroups, do_insertions, default, include, inherit, line_re
  from pygments.token import Text, Comment, Operator, Keyword, Name, String, Number, Punctuation, Generic, Whitespace
  from pygments import unistring
label_desc: Use image node_id 1 to create a new LiterateIdrisLexer object from inherited base classes: LiterateLexer with example: obj = LiterateIdrisLexer()