| Copyright | (c) Christian Maeder and Uni Bremen 2003 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | Christian.Maeder@dfki.de |
| Stability | experimental |
| Portability | portable |
| Safe Haskell | None |
HasCASL.PrintAs
Contents
Description
printing data types of the abstract syntax
Synopsis
- noPrint :: Bool -> Doc -> Doc
- noNullPrint :: [a] -> Doc -> Doc
- semiDs :: Pretty a => [a] -> Doc
- semiAnnoted :: Pretty a => [Annoted a] -> Doc
- varOfTypeArg :: TypeArg -> Id
- bracket :: BracketKind -> Doc -> Doc
- printKind :: Kind -> Doc
- printVarKind :: Variance -> VarKind -> Doc
- data TypePrec
- parenPrec :: TypePrec -> (TypePrec, Doc) -> Doc
- printTypeToken :: Token -> Doc
- printTypeId :: Id -> Doc
- toMixType :: Type -> (TypePrec, Doc)
- printTypeScheme :: PolyId -> TypeScheme -> Doc
- isSimpleTerm :: Term -> Bool
- isSimpleArgTerm :: Term -> Bool
- hasRightQuant :: Term -> Bool
- zipArgs :: Id -> [Term] -> [Doc] -> [Doc]
- isPatVarDecl :: VarDecl -> Bool
- parenTermDoc :: Term -> Doc -> Doc
- printTermRec :: FoldRec Doc (Doc, Doc)
- printTerm :: Term -> Doc
- rmTypeRec :: MapRec
- rmSomeTypes :: Term -> Term
- parenTermRec :: MapRec
- parenTerm :: Term -> Term
- printEq0 :: Doc -> (Doc, Doc) -> Doc
- printGenVarDecls :: [GenVarDecl] -> Doc
- sameType :: GenVarDecl -> GenVarDecl -> Bool
- printVarDeclType :: Type -> Doc
- printList0 :: Pretty a => [a] -> Doc
- plClass :: [Annoted ClassItem] -> Bool
- pluralS :: [a] -> String
- isDatatype :: SigItems -> Bool
- plTypes :: [Annoted TypeItem] -> String
- plOps :: [Annoted OpItem] -> String
- isSimpleTypeItem :: TypeItem -> Bool
- isSimpleTypePat :: TypePattern -> Bool
- isSimpleType :: Type -> Bool
- printItScheme :: [PolyId] -> Bool -> TypeScheme -> Doc
- printHead :: [[VarDecl]] -> [Doc]
- prettyOpItem :: Bool -> OpItem -> Doc
- printSK :: SymbKind -> [a] -> Doc
Documentation
noNullPrint :: [a] -> Doc -> Doc Source #
varOfTypeArg :: TypeArg -> Id Source #
printVarKind :: Variance -> VarKind -> Doc Source #
print the kind of a variable with its variance and a preceding colon
printTypeToken :: Token -> Doc Source #
printTypeId :: Id -> Doc Source #
printTypeScheme :: PolyId -> TypeScheme -> Doc Source #
isSimpleTerm :: Term -> Bool Source #
isSimpleArgTerm :: Term -> Bool Source #
used only to produce CASL applications
hasRightQuant :: Term -> Bool Source #
isPatVarDecl :: VarDecl -> Bool Source #
rmSomeTypes :: Term -> Term Source #
parenTermRec :: MapRec Source #
put parenthesis around applications
printEq0 :: Doc -> (Doc, Doc) -> Doc Source #
print an equation with different symbols between pattern and term
printGenVarDecls :: [GenVarDecl] -> Doc Source #
sameType :: GenVarDecl -> GenVarDecl -> Bool Source #
printVarDeclType :: Type -> Doc Source #
printList0 :: Pretty a => [a] -> Doc Source #
don't print an empty list and put parens around longer lists
isDatatype :: SigItems -> Bool Source #
isSimpleTypeItem :: TypeItem -> Bool Source #
isSimpleTypePat :: TypePattern -> Bool Source #
isSimpleType :: Type -> Bool Source #
printItScheme :: [PolyId] -> Bool -> TypeScheme -> Doc Source #
prettyOpItem :: Bool -> OpItem -> Doc Source #