Copyright | (c) Wiebke Herding C. Maeder Uni Bremen 2004-2006 |
---|---|
License | GPLv2 or higher, see LICENSE.txt |
Maintainer | luecke@informatik.uni-bremen.de |
Stability | provisional |
Portability | portable |
Safe Haskell | Safe |
printing AS_Modal ModalSign data types
Documentation
printFormulaOfModalSign :: FormExtension f => (FORMULA f -> FORMULA f) -> [[Annoted (FORMULA f)]] -> Doc Source #
Orphan instances
Pretty M_FORMULA Source # | |
Pretty MODALITY Source # | |
Pretty M_SIG_ITEM Source # | |
pretty :: M_SIG_ITEM -> Doc Source # pretties :: [M_SIG_ITEM] -> Doc Source # | |
Pretty RIGOR Source # | |
Pretty M_BASIC_ITEM Source # | |
pretty :: M_BASIC_ITEM -> Doc Source # pretties :: [M_BASIC_ITEM] -> Doc Source # | |
Pretty ModalSign Source # | |
FormExtension M_FORMULA Source # | |