Safe Haskell	None
Language	Haskell2010

Language.Clafer.Intermediate.Desugarer

Description

Transforms an Abstract Syntax Tree (AST) from Language.Clafer.Front.AbsClafer into Intermediate representation (IR) from Language.Clafer.Intermediate.Intclafer of a Clafer model.

Synopsis

Documentation

desugarModule :: Maybe String -> Module -> IModule Source

Transform the AST into the intermediate representation (IR)

sugarModule :: IModule -> Module Source

desugarEnums :: Declaration -> [Declaration] Source

desugars enumeration to abstract and global singleton features

desugarDeclaration :: Declaration -> [IElement] Source

sugarDeclaration :: IElement -> Declaration Source

desugarClafer :: Clafer -> [IElement] Source

getPExpClaferIdent :: Exp -> String Source

sugarClafer :: IClafer -> Clafer Source

desugarSuper :: Super -> Maybe PExp Source

desugarReference :: Reference -> Maybe IReference Source

desugarInit :: PosIdent -> Init -> [IElement] Source

desugarInitHow :: InitHow -> Bool Source

desugarName :: Name -> IExp Source

desugarModId :: ModId -> Result Source

sugarModId :: String -> ModId Source

sugarSuper :: Maybe PExp -> Super Source

sugarReference :: Maybe IReference -> Reference Source

sugarInitHow :: Bool -> InitHow Source

desugarConstraint :: Constraint -> PExp Source

desugarAssertion :: Assertion -> PExp Source

desugarGoal :: Goal -> IElement Source

mkMinimizeMaximizePExp :: Bool -> Span -> Exp -> IElement Source

sugarConstraint :: PExp -> Constraint Source

sugarAssertion :: PExp -> Assertion Source

sugarGoal :: PExp -> Bool -> Goal Source

desugarAbstract :: Abstract -> Bool Source

sugarAbstract :: Bool -> Abstract Source

desugarElements :: Elements -> [IElement] Source

sugarElements :: [IElement] -> Elements Source

desugarElement :: Element -> [IElement] Source

sugarElement :: IElement -> Element Source

desugarGCard :: GCard -> Maybe IGCard Source

isOptionalDef :: NCard -> Bool Source

isExIntegerAst :: ExInteger -> Bool Source

sugarGCard :: Maybe IGCard -> GCard Source

desugarCard :: Card -> Maybe Interval Source

desugarNCard :: NCard -> (Integer, Integer) Source

desugarExInteger :: ExInteger -> Integer Source

sugarCard :: Maybe Interval -> Card Source

sugarExInteger :: Integer -> ExInteger Source

desugarExp :: Exp -> PExp Source

desugarExp' :: Exp -> IExp Source

desugarOp :: (a -> PExp) -> String -> [a] -> IExp Source

sugarExp :: PExp -> Exp Source

sugarExp' :: IExp -> Exp Source

desugarPath :: PExp -> PExp Source

isSetExp :: IExp -> Bool Source

reducePExp :: PExp -> PExp Source

reduceIExp :: IExp -> IExp Source

reduceNav :: IExp -> IExp Source

desugarDecl :: Bool -> Decl -> IDecl Source

sugarDecl :: IDecl -> Decl Source

desugarLocId :: LocId -> String Source

sugarLocId :: String -> LocId Source

desugarQuant :: Quant -> IQuant Source

sugarQuant :: IQuant -> Quant Source