Overview  Index  Help 

ML_TOKENS

All Known Implementing Modules:

MLLrValsFun.Tokens


signature ML_TOKENS =
sig
  type ('a, 'b) token
  type svalue
  val AQID : string * 'a * 'a -> (svalue, 'a) token
  val OBJL : string * 'a * 'a -> (svalue, 'a) token
  val ENDQ : string * 'a * 'a -> (svalue, 'a) token
  val BEGINQ : 'a * 'a -> (svalue, 'a) token
  val VECTORSTART : 'a * 'a -> (svalue, 'a) token
  val FUNSIG : 'a * 'a -> (svalue, 'a) token
  val ANDALSO : 'a * 'a -> (svalue, 'a) token
  val ORELSE : 'a * 'a -> (svalue, 'a) token
  val RPAREN : 'a * 'a -> (svalue, 'a) token
  val RBRACKET : 'a * 'a -> (svalue, 'a) token
  val RBRACE : 'a * 'a -> (svalue, 'a) token
  val LPAREN : 'a * 'a -> (svalue, 'a) token
  val LBRACKET : 'a * 'a -> (svalue, 'a) token
  val LBRACE : 'a * 'a -> (svalue, 'a) token
  val COMMA : 'a * 'a -> (svalue, 'a) token
  val COLONGT : 'a * 'a -> (svalue, 'a) token
  val COLON : 'a * 'a -> (svalue, 'a) token
  val ASTERISK : 'a * 'a -> (svalue, 'a) token
  val WITHTYPE : 'a * 'a -> (svalue, 'a) token
  val WITH : 'a * 'a -> (svalue, 'a) token
  val WILD : 'a * 'a -> (svalue, 'a) token
  val WHILE : 'a * 'a -> (svalue, 'a) token
  val WHERE : 'a * 'a -> (svalue, 'a) token
  val VAL : 'a * 'a -> (svalue, 'a) token
  val TYPE : 'a * 'a -> (svalue, 'a) token
  val THEN : 'a * 'a -> (svalue, 'a) token
  val STRUCTURE : 'a * 'a -> (svalue, 'a) token
  val STRUCT : 'a * 'a -> (svalue, 'a) token
  val SIGNATURE : 'a * 'a -> (svalue, 'a) token
  val SIG : 'a * 'a -> (svalue, 'a) token
  val SHARING : 'a * 'a -> (svalue, 'a) token
  val REC : 'a * 'a -> (svalue, 'a) token
  val RAISE : 'a * 'a -> (svalue, 'a) token
  val OVERLOAD : 'a * 'a -> (svalue, 'a) token
  val OPEN : 'a * 'a -> (svalue, 'a) token
  val OP : 'a * 'a -> (svalue, 'a) token
  val OF : 'a * 'a -> (svalue, 'a) token
  val NONFIX : 'a * 'a -> (svalue, 'a) token
  val LOCAL : 'a * 'a -> (svalue, 'a) token
  val LET : 'a * 'a -> (svalue, 'a) token
  val LAZY : 'a * 'a -> (svalue, 'a) token
  val INFIXR : 'a * 'a -> (svalue, 'a) token
  val INFIX : 'a * 'a -> (svalue, 'a) token
  val INCLUDE : 'a * 'a -> (svalue, 'a) token
  val IN : 'a * 'a -> (svalue, 'a) token
  val IF : 'a * 'a -> (svalue, 'a) token
  val HASH : 'a * 'a -> (svalue, 'a) token
  val HANDLE : 'a * 'a -> (svalue, 'a) token
  val FUNCTOR : 'a * 'a -> (svalue, 'a) token
  val FUN : 'a * 'a -> (svalue, 'a) token
  val FN : 'a * 'a -> (svalue, 'a) token
  val DARROW : 'a * 'a -> (svalue, 'a) token
  val DOT : 'a * 'a -> (svalue, 'a) token
  val DO : 'a * 'a -> (svalue, 'a) token
  val EXCEPTION : 'a * 'a -> (svalue, 'a) token
  val EQTYPE : 'a * 'a -> (svalue, 'a) token
  val EQUALOP : 'a * 'a -> (svalue, 'a) token
  val END : 'a * 'a -> (svalue, 'a) token
  val ELSE : 'a * 'a -> (svalue, 'a) token
  val DOTDOTDOT : 'a * 'a -> (svalue, 'a) token
  val DATATYPE : 'a * 'a -> (svalue, 'a) token
  val CASE : 'a * 'a -> (svalue, 'a) token
  val BAR : 'a * 'a -> (svalue, 'a) token
  val AS : 'a * 'a -> (svalue, 'a) token
  val ARROW : 'a * 'a -> (svalue, 'a) token
  val AND : 'a * 'a -> (svalue, 'a) token
  val ABSTYPE : 'a * 'a -> (svalue, 'a) token
  val CHAR : string * 'a * 'a -> (svalue, 'a) token
  val STRING : string * 'a * 'a -> (svalue, 'a) token
  val REAL : string * 'a * 'a -> (svalue, 'a) token
  val WORD : int * 'a * 'a -> (svalue, 'a) token
  val INT0 : int * 'a * 'a -> (svalue, 'a) token
  val INT : int * 'a * 'a -> (svalue, 'a) token
  val TYVAR : string * 'a * 'a -> (svalue, 'a) token
  val ID : string * 'a * 'a -> (svalue, 'a) token
  val SEMICOLON : 'a * 'a -> (svalue, 'a) token
  val EOF : 'a * 'a -> (svalue, 'a) token
end

 
Type detail

token

type ('a, 'b) token


svalue

type svalue

     
Value detail

AQID

val AQID : string * 'a * 'a -> (svalue, 'a) token


OBJL

val OBJL : string * 'a * 'a -> (svalue, 'a) token


ENDQ

val ENDQ : string * 'a * 'a -> (svalue, 'a) token


BEGINQ

val BEGINQ : 'a * 'a -> (svalue, 'a) token


VECTORSTART

val VECTORSTART : 'a * 'a -> (svalue, 'a) token


FUNSIG

val FUNSIG : 'a * 'a -> (svalue, 'a) token


ANDALSO

val ANDALSO : 'a * 'a -> (svalue, 'a) token


ORELSE

val ORELSE : 'a * 'a -> (svalue, 'a) token


RPAREN

val RPAREN : 'a * 'a -> (svalue, 'a) token


RBRACKET

val RBRACKET : 'a * 'a -> (svalue, 'a) token


RBRACE

val RBRACE : 'a * 'a -> (svalue, 'a) token


LPAREN

val LPAREN : 'a * 'a -> (svalue, 'a) token


LBRACKET

val LBRACKET : 'a * 'a -> (svalue, 'a) token


LBRACE

val LBRACE : 'a * 'a -> (svalue, 'a) token


COMMA

val COMMA : 'a * 'a -> (svalue, 'a) token


COLONGT

val COLONGT : 'a * 'a -> (svalue, 'a) token


COLON

val COLON : 'a * 'a -> (svalue, 'a) token


ASTERISK

val ASTERISK : 'a * 'a -> (svalue, 'a) token


WITHTYPE

val WITHTYPE : 'a * 'a -> (svalue, 'a) token


WITH

val WITH : 'a * 'a -> (svalue, 'a) token


WILD

val WILD : 'a * 'a -> (svalue, 'a) token


WHILE

val WHILE : 'a * 'a -> (svalue, 'a) token


WHERE

val WHERE : 'a * 'a -> (svalue, 'a) token


VAL

val VAL : 'a * 'a -> (svalue, 'a) token


TYPE

val TYPE : 'a * 'a -> (svalue, 'a) token


THEN

val THEN : 'a * 'a -> (svalue, 'a) token


STRUCTURE

val STRUCTURE : 'a * 'a -> (svalue, 'a) token


STRUCT

val STRUCT : 'a * 'a -> (svalue, 'a) token


SIGNATURE

val SIGNATURE : 'a * 'a -> (svalue, 'a) token


SIG

val SIG : 'a * 'a -> (svalue, 'a) token


SHARING

val SHARING : 'a * 'a -> (svalue, 'a) token


REC

val REC : 'a * 'a -> (svalue, 'a) token


RAISE

val RAISE : 'a * 'a -> (svalue, 'a) token


OVERLOAD

val OVERLOAD : 'a * 'a -> (svalue, 'a) token


OPEN

val OPEN : 'a * 'a -> (svalue, 'a) token


OP

val OP : 'a * 'a -> (svalue, 'a) token


OF

val OF : 'a * 'a -> (svalue, 'a) token


NONFIX

val NONFIX : 'a * 'a -> (svalue, 'a) token


LOCAL

val LOCAL : 'a * 'a -> (svalue, 'a) token


LET

val LET : 'a * 'a -> (svalue, 'a) token


LAZY

val LAZY : 'a * 'a -> (svalue, 'a) token


INFIXR

val INFIXR : 'a * 'a -> (svalue, 'a) token


INFIX

val INFIX : 'a * 'a -> (svalue, 'a) token


INCLUDE

val INCLUDE : 'a * 'a -> (svalue, 'a) token


IN

val IN : 'a * 'a -> (svalue, 'a) token


IF

val IF : 'a * 'a -> (svalue, 'a) token


HASH

val HASH : 'a * 'a -> (svalue, 'a) token


HANDLE

val HANDLE : 'a * 'a -> (svalue, 'a) token


FUNCTOR

val FUNCTOR : 'a * 'a -> (svalue, 'a) token


FUN

val FUN : 'a * 'a -> (svalue, 'a) token


FN

val FN : 'a * 'a -> (svalue, 'a) token


DARROW

val DARROW : 'a * 'a -> (svalue, 'a) token


DOT

val DOT : 'a * 'a -> (svalue, 'a) token


DO

val DO : 'a * 'a -> (svalue, 'a) token


EXCEPTION

val EXCEPTION : 'a * 'a -> (svalue, 'a) token


EQTYPE

val EQTYPE : 'a * 'a -> (svalue, 'a) token


EQUALOP

val EQUALOP : 'a * 'a -> (svalue, 'a) token


END

val END : 'a * 'a -> (svalue, 'a) token


ELSE

val ELSE : 'a * 'a -> (svalue, 'a) token


DOTDOTDOT

val DOTDOTDOT : 'a * 'a -> (svalue, 'a) token


DATATYPE

val DATATYPE : 'a * 'a -> (svalue, 'a) token


CASE

val CASE : 'a * 'a -> (svalue, 'a) token


BAR

val BAR : 'a * 'a -> (svalue, 'a) token


AS

val AS : 'a * 'a -> (svalue, 'a) token


ARROW

val ARROW : 'a * 'a -> (svalue, 'a) token


AND

val AND : 'a * 'a -> (svalue, 'a) token


ABSTYPE

val ABSTYPE : 'a * 'a -> (svalue, 'a) token


CHAR

val CHAR : string * 'a * 'a -> (svalue, 'a) token


STRING

val STRING : string * 'a * 'a -> (svalue, 'a) token


REAL

val REAL : string * 'a * 'a -> (svalue, 'a) token


WORD

val WORD : int * 'a * 'a -> (svalue, 'a) token


INT0

val INT0 : int * 'a * 'a -> (svalue, 'a) token


INT

val INT : int * 'a * 'a -> (svalue, 'a) token


TYVAR

val TYVAR : string * 'a * 'a -> (svalue, 'a) token


ID

val ID : string * 'a * 'a -> (svalue, 'a) token


SEMICOLON

val SEMICOLON : 'a * 'a -> (svalue, 'a) token


EOF

val EOF : 'a * 'a -> (svalue, 'a) token

 


Overview  Index  Help