hylolib-1.4.0: Tools for hybrid logics related programs

Safe Haskell	None

HyLo.Signature.Simple

Documentation

type SimpleSignature = Signature NomSymbol PropSymbol RelSymbol Source

newtype PropSymbol Source

Constructors

Instances

Enum PropSymbol
Eq PropSymbol
Ord PropSymbol
Read PropSymbol
Show PropSymbol
Arbitrary PropSymbol

data NomSymbol Source

Constructors

N Int
X Int

Instances

Eq NomSymbol
Ord NomSymbol
Read NomSymbol
Show NomSymbol
Arbitrary NomSymbol

newtype RelSymbol Source

Constructors

Instances

Eq RelSymbol
Ord RelSymbol
Read RelSymbol
Show RelSymbol
Arbitrary RelSymbol

unit_tests :: UnitTest Source