| Copyright | (c) Klaus Luettich Uni Bremen 2002-2006 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | Christian.Maeder@dfki.de |
| Stability | provisional |
| Portability | non-portable(Grothendieck) |
| Safe Haskell | None |
Syntax.Print_AS_Architecture
Contents
Description
Pretty printing of CASL architectural specifications
Orphan instances
| PrettyLG FIT_ARG_UNIT Source # | |
Methods prettyLG :: LogicGraph -> FIT_ARG_UNIT -> Doc Source # | |
| PrettyLG UNIT_TERM Source # | |
| PrettyLG UNIT_BINDING Source # | |
Methods prettyLG :: LogicGraph -> UNIT_BINDING -> Doc Source # | |
| PrettyLG UNIT_EXPRESSION Source # | |
Methods prettyLG :: LogicGraph -> UNIT_EXPRESSION -> Doc Source # | |
| PrettyLG UNIT_REF Source # | |
| PrettyLG REF_SPEC Source # | |
| PrettyLG UNIT_SPEC Source # | |
| PrettyLG UNIT_DECL_DEFN Source # | |
Methods prettyLG :: LogicGraph -> UNIT_DECL_DEFN -> Doc Source # | |
| PrettyLG ARCH_SPEC Source # | |