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

Safe HaskellNone

Language.Clafer.Front.Parclafer

Documentation

newtype HappyAbsSyn Source

Constructors

HappyAbsSyn HappyAny 

type HappyAny = AnySource

happyReduceArr :: Array Int (Int# -> Token -> Int# -> Happy_IntList -> HappyStk HappyAbsSyn -> [Token] -> Err HappyAbsSyn)Source

happyError_ :: Int# -> Token -> [Token] -> Err aSource

happyThen :: Err a -> (a -> Err b) -> Err bSource

happyThen1 :: Err a -> (a -> t -> Err b) -> t -> Err bSource

happyReturn1 :: a -> b -> Err aSource

happySeq :: a -> b -> bSource

returnM :: a -> Err aSource

thenM :: Err a -> (a -> Err b) -> Err bSource

myLexer :: String -> [Token]Source

data HappyStk a Source

Constructors

HappyStk a (HappyStk a) 

happyAccept :: Int# -> t -> Int# -> t1 -> HappyStk a -> b -> Err aSource

data HappyAddr Source

Constructors

HappyA# Addr# 

happyShift :: Int# -> Int# -> Token -> Int# -> Happy_IntList -> HappyStk HappyAbsSyn -> [Token] -> Err HappyAbsSynSource

happyGoto :: Int# -> Int# -> Token -> Int# -> Happy_IntList -> HappyStk HappyAbsSyn -> [Token] -> Err HappyAbsSynSource

happyTcHack :: Int# -> a -> aSource

happyDoSeq :: a -> b -> bSource

happyDontSeq :: a -> b -> bSource