CSPM-ToProlog-0.5.5.0: some modules specific for the ProB tool

Copyright(c) Fontaine 2012
LicenseBSD3
MaintainerFontaine@cs.uni-duesseldorf.de
Stabilityexperimental
PortabilityGHC-only
Safe HaskellNone
LanguageHaskell2010

Language.CSPM.AstToProlog

Description

Convert an AST to Prolog. An experiment with the new GHC-Generic extentions This would be more compact with SYB.

Documentation

toProlog :: TP d => d -> Doc Source #