Overview  Index  Help 

SyntaxLexFun.UserDeclarations

Enclosing Modules:

SyntaxLexFun


   
Inner Structure summary

structure T

     
Type summary

type arg = lexarg

type lexarg =
     ((pos * pos -> lexresult) -> bool) *
     ((pos * pos -> lexresult) -> bool) *
     (string * (pos * pos -> lexresult)) list *
     (pos * pos -> string -> unit)

type lexresult = (svaluepostoken

type pos = int

type svalue = T.svalue

type ('a, 'b) token = ('a, 'b) T.token

     
Value summary

val addS

val convert

val current

val curstring

val depth

val enterC

val eof

val getS

val idToken

val initLexer

val instring

val leaveC

val line

val linePos

val locate

val locate'

val newline

val newS

val startpos

 

 
Type detail

pos

type pos = int


svalue

type svalue = T.svalue


token

type ('a, 'b) token = ('a, 'b) T.token


lexresult

type lexresult = (svaluepostoken


lexarg

type lexarg =
     ((pos * pos -> lexresult) -> bool) *
     ((pos * pos -> lexresult) -> bool) *
     (string * (pos * pos -> lexresult)) list *
     (pos * pos -> string -> unit)


arg

type arg = lexarg

     
Value detail

idToken

val idToken


current

val current


line

val line


linePos

val linePos


initLexer

val initLexer


convert

val convert


locate'

val locate'


locate

val locate


newline

val newline


depth

val depth


enterC

val enterC


leaveC

val leaveC


curstring

val curstring


startpos

val startpos


instring

val instring


newS

val newS


addS

val addS


getS

val getS


eof

val eof

 


Overview  Index  Help