Hets - the Heterogeneous Tool Set

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

Fpl.Sign

Description

signature extension for FPL to keep track of constructors

Documentation

boolSort :: Id

trueC :: Id

falseC :: Id

boolType :: OpType

data SignExt

Constructors

SignExt 

Fields

constr :: OpMap
 

Instances

emptyFplSign :: SignExt

diffFplSign :: SignExt -> SignExt -> SignExt

addFplSign :: SignExt -> SignExt -> SignExt

interFplSign :: SignExt -> SignExt -> SignExt

isSubFplSign :: SignExt -> SignExt -> Bool

type FplSign = Sign TermExt SignExt

addBools :: OpMap -> OpMap

addConsts :: SignExt -> SignExt

addBuiltins :: FplSign -> FplSign

delBuiltins :: FplSign -> FplSign