clafer-0.3.9: clafer compiles Clafer models to other formats, such as Alloy, XML, HTML, Dot.

Safe HaskellNone
LanguageHaskell2010

Language.Clafer.Front.LexClafer

Synopsis

Documentation

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

data Token Source

Constructors

PT Posn Tok 
Err Posn 

Instances

data BTree Source

Constructors

N 
B String Tok BTree BTree 

Instances

data Posn Source

Constructors

Pn !Int !Int !Int 

Instances

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