clafer-0.4.3: Compiles Clafer models to other formats: Alloy, JavaScript, JSON, HTML, Dot.

Safe HaskellNone
LanguageHaskell2010

Language.Clafer.Front.LexClafer

Synopsis

Documentation

quickIndex :: Array Int (AlexAcc (Posn -> [Char] -> Token) (Any *)) -> Int -> AlexAcc (Posn -> [Char] -> Token) (Any *) Source

alex_scan_tkn :: t -> t1 -> Int# -> AlexInput -> Int# -> AlexLastAcc (Posn -> [Char] -> Token) -> (AlexLastAcc (Posn -> [Char] -> Token), AlexInput) Source

tok :: (Posn -> String -> Token) -> Posn -> String -> Token Source

data Token Source

Constructors

PT Posn Tok 
Err Posn 

data BTree Source

Constructors

N 
B String Tok BTree BTree 

Instances

data Posn Source

Constructors

Pn !Int !Int !Int 

utf8Encode :: Char -> [Word8] Source

Encode a Haskell String to a list of Word8 values, in UTF8 format.

data AlexAddr Source

Constructors

AlexA# Addr# 

data AlexAcc a user Source

Constructors

AlexAccNone 
AlexAcc a 
AlexAccSkip