Graphics.DOT.Lexer

Definitions

data DOTToken : Type

Totality: total
Visibility: public export
Constructors:

Keyword : String -> DOTToken

  A keyword

NameID : String -> DOTToken

  An identifier as a name

NumeralID : String -> DOTToken

  An identifier as a numeral

StringID : String -> DOTToken

  An identifier as a double-quoted string

HTML_ID : String -> DOTToken

  An identifier as a HTML string

DiGrEdgeOp : DOTToken

  An edge operation in a directed graph

GrEdgeOp : DOTToken

  An edge operation in a graph

CompassPt : String -> DOTToken

  A compass point (used in combination with ports)

Comment : DOTToken

  A comment

MultilineBackslash : DOTToken

  A multiline indicator

StrConcat : DOTToken

  A double-quoted-string concatenation operator ('+')

Whitespace : DOTToken

  Any amount of whitespace

LBracket : DOTToken

  [

RBracket : DOTToken

  ]

LBrace : DOTToken

  {

RBrace : DOTToken

  }

Comma : DOTToken

  ,

Semicolon : DOTToken

  ;

Colon : DOTToken

  :

Equal : DOTToken

  =

Hint: 

Show DOTToken

lex : String -> (List (WithBounds DOTToken), (Int, (Int, String)))

  Given a source file, return the token stream

Totality: total
Visibility: export