Language.EFLINT.Print

Documentation

ppProgram :: Program -> String

ppPhrase :: Phrase -> String

ppCPhrase :: CPhrase -> String

ppDecl :: Decl -> String

ppTypeExt :: DomId -> [ModClause] -> String

ppDeclSpec :: DomId -> TypeSpec -> String

ppDirective :: Directive -> String

ppClauses :: [ModClause] -> String

ppClause :: ModClause -> [String]

ppAct :: [Char] -> TypeSpec -> ActSpec -> [Char]

ppAct' :: [Char] -> Domain -> Term -> [ModClause] -> [Char]

ppPostConditions :: [Effect] -> String

ppPreConditions :: [Term] -> String

ppEvent :: [Char] -> TypeSpec -> EventSpec -> [Char]

ppEvent' :: [Char] -> Domain -> Term -> [ModClause] -> [Char]

ppEffect :: Effect -> String

ppFact :: DomId -> TypeSpec -> FactSpec -> String

ppDerivRules :: [Derivation] -> String

ppDuty :: [Char] -> TypeSpec -> DutySpec -> [Char]

ppDuty' :: [Char] -> Domain -> Term -> [ModClause] -> [Char]

ppViolationConds :: [Term] -> String

ppEnforcingActs :: [DomId] -> String

ppDeriv :: Derivation -> String

ppDom :: Domain -> Term -> String

ppConstraint :: Term -> String

ppTerm :: Term -> String

ppVar :: Var -> String

ppMod :: Modifier -> String

ppPlaceholder :: DomId -> DomId -> String

seq :: [String] -> String

foreach :: [Var] -> String -> String

exists :: [Var] -> String -> String

forall :: [Var] -> String -> String

count :: [Var] -> String -> String

binder :: String -> [Var] -> String -> String

app :: String -> [String] -> String

app_infix :: String -> String -> String -> String