clafer-0.4.4: Compiles Clafer models to other formats: Alloy, JavaScript, JSON, 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

Eq Token Source # 

Methods

(==) :: Token -> Token -> Bool #

(/=) :: Token -> Token -> Bool #

Ord Token Source # 

Methods

compare :: Token -> Token -> Ordering #

(<) :: Token -> Token -> Bool #

(<=) :: Token -> Token -> Bool #

(>) :: Token -> Token -> Bool #

(>=) :: Token -> Token -> Bool #

max :: Token -> Token -> Token #

min :: Token -> Token -> Token #

Show Token Source # 

Methods

showsPrec :: Int -> Token -> ShowS #

show :: Token -> String #

showList :: [Token] -> ShowS #

data BTree Source #

Constructors

N 
B String Tok BTree BTree 

Instances

data Posn Source #

Constructors

Pn !Int !Int !Int 

Instances

Eq Posn Source # 

Methods

(==) :: Posn -> Posn -> Bool #

(/=) :: Posn -> Posn -> Bool #

Ord Posn Source # 

Methods

compare :: Posn -> Posn -> Ordering #

(<) :: Posn -> Posn -> Bool #

(<=) :: Posn -> Posn -> Bool #

(>) :: Posn -> Posn -> Bool #

(>=) :: Posn -> Posn -> Bool #

max :: Posn -> Posn -> Posn #

min :: Posn -> Posn -> Posn #

Show Posn Source # 

Methods

showsPrec :: Int -> Posn -> ShowS #

show :: Posn -> String #

showList :: [Posn] -> ShowS #

utf8Encode :: Char -> [Word8] Source #

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

data AlexAddr Source #

Constructors

AlexA# Addr# 

data AlexLastAcc a Source #

Instances

Functor AlexLastAcc Source # 

Methods

fmap :: (a -> b) -> AlexLastAcc a -> AlexLastAcc b #

(<$) :: a -> AlexLastAcc b -> AlexLastAcc a #

data AlexAcc a user Source #

Constructors

AlexAccNone 
AlexAcc a 
AlexAccSkip