beautifHOL Contents Index

LexHOL

Documentation

alex_base :: AlexAddr

alex_table :: AlexAddr

alex_check :: AlexAddr

alex_deflt :: AlexAddr

data AlexReturn a

Constructors AlexEOF AlexError !AlexInput AlexSkip !AlexInput !Int AlexToken !AlexInput !Int a

data AlexLastAcc a

Constructors AlexNone AlexLastAcc a !AlexInput !Int AlexLastSkip !AlexInput !Int

data AlexAcc a user

Constructors AlexAcc a AlexAccSkip AlexAccPred a (AlexAccPred user) AlexAccSkipPred (AlexAccPred user)

type AlexAccPred user = user -> AlexInput -> Int -> AlexInput -> Bool

share :: String -> String

data Tok

Constructors TS !String TL !String TI !String TV !String TD !String TC !String T_Idents !String T_PredId !String T_FunctId !String Instances Eq Tok Ord Tok Show Tok

data Token

Constructors PT Posn Tok Err Posn Instances Eq Token Ord Token Show Token

data BTree

Constructors N B String Tok BTree BTree Instances Show BTree

eitherResIdent :: (String -> Tok) -> String -> Tok

unescapeInitTail :: String -> String

data Posn

Constructors Pn !Int !Int !Int Instances Eq Posn Ord Posn Show Posn

alexStartPos :: Posn

alexMove :: Posn -> Char -> Posn

type AlexInput = (Posn, Char, String)

tokens :: String -> [Token]

alexGetChar :: AlexInput -> Maybe (Char, AlexInput)

alexInputPrevChar :: AlexInput -> Char

data AlexAddr

Constructors AlexA# Addr#

Produced by Haddock version 2.4.1