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

PortabilityGHC-only
Stabilityexperimental
MaintainerFontaine@cs.uni-duesseldorf.de
Safe HaskellNone

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 -> DocSource