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 :: 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

sugarClafer :: IClafer -> Clafer Source

desugarSuper :: Super -> ISuper Source

desugarSuperHow :: SuperHow -> Bool Source

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

desugarInitHow :: InitHow -> Bool Source

desugarName :: Name -> IExp Source

desugarModId :: ModId -> Result Source

sugarModId :: String -> ModId Source

sugarSuper :: ISuper -> Super Source

sugarSuperHow :: Bool -> SuperHow Source

sugarInitHow :: Bool -> InitHow Source

desugarConstraint :: Constraint -> PExp Source

desugarSoftConstraint :: SoftConstraint -> PExp Source

desugarGoal :: Goal -> PExp Source

sugarConstraint :: PExp -> Constraint Source

sugarSoftConstraint :: PExp -> SoftConstraint Source

sugarGoal :: PExp -> 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

mkArrowConstraint :: Clafer -> [Element] Source

isSuperSomeArrow :: Super -> Bool Source

isSuperArrow :: SuperHow -> Bool 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

desugarSetExp :: SetExp -> PExp Source

desugarSetExp' :: SetExp -> IExp Source

sugarExp :: PExp -> Exp Source

sugarExp' :: IExp -> Exp Source

sugarSetExp :: PExp -> SetExp Source

sugarSetExp' :: IExp -> SetExp Source

desugarPath :: PExp -> PExp Source

isSet :: 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