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

Safe HaskellNone
LanguageHaskell2010

Language.Clafer.Front.ParClafer

Documentation

newtype HappyAbsSyn Source

Constructors

HappyAbsSyn HappyAny 

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

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

happyReturn1 :: a -> b -> Err a Source

happySeq :: a -> b -> b Source

returnM :: a -> Err a Source

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

pp :: [Token] -> Pos Source

data HappyStk a infixr 9 Source

Constructors

HappyStk a (HappyStk a) infixr 9 

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

data HappyAddr Source

Constructors

HappyA# Addr# 

happyTcHack :: Int# -> a -> a Source

happyDoSeq :: a -> b -> b Source

happyDontSeq :: a -> b -> b Source