Idris2Doc : Parser.Lexer.Package

Parser.Lexer.Package

(source)
Reexports
import public Parser.Lexer.Common
import public Libraries.Text.Lexer
import public Libraries.Text.Parser
import public Libraries.Text.Bounded
Definitions
data Token : Type
  Totality: total
  Visibility: public export
  Constructors:
  
Comment : String -> Token
  
EndOfInput : Token
  
Equals : Token
  
DotSepIdent : Maybe Namespace -> String -> Token
  
Separator : Token
  
Dot : Token
  
LTE : Token
  
GTE : Token
  
LT : Token
  
GT : Token
  
EqOp : Token
  
AndOp : Token
  
Space : Token
  
StringLit : String -> Token
  
IntegerLit : Integer -> Token

  Hints:
  
Pretty Void Token
  
Show Token
lex : String -> Either (Int, (Int, String)) (List (WithBounds Token))
  Totality: total
  Visibility: export