Hets - the Heterogeneous Tool Set

Copyright(c) C. Maeder DFKI 2008
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellNone

CASL.ToSExpr

Description

translation of CASL to S-Expressions

Documentation

sfail :: String -> Range -> a Source #

sRec :: GetRange f => Sign a e -> (f -> SExpr) -> Record f SExpr SExpr Source #