Idris2Doc : Parser.Lexer.Common

Parser.Lexer.Common

(source)
Reexports
import public Libraries.Text.Lexer
Definitions
comment : Lexer
  In `comment` we are careful not to parse closing delimiters as
  valid comments. i.e. you may not write many dashes followed by
  a closing brace and call it a valid comment.

  Totality: total
  Visibility: export
blockComment : Lexer
  Totality: total
  Visibility: export
data Flavour : Type
  Totality: total
  Visibility: public export
  Constructors:
  
AllowDashes : Flavour
  
Capitalised : Flavour
  
Normal : Flavour
isIdent : Flavour -> String -> Bool
  Totality: total
  Visibility: export
ident : Flavour -> Lexer
  Totality: total
  Visibility: export
isIdentNormal : String -> Bool
  Totality: total
  Visibility: export
identNormal : Lexer
  Totality: total
  Visibility: export
identAllowDashes : Lexer
  Totality: total
  Visibility: export
namespacedIdent : Lexer
  Totality: total
  Visibility: export
spacesOrNewlines : Lexer
  Totality: total
  Visibility: export