hylolib-1.3.1: Tools for hybrid logics related programs

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

data RelSymbol Source

Constructors

RelSymbol Int
InvRelSymbol Int

Instances

Eq RelSymbol
Ord RelSymbol
Read RelSymbol
Show RelSymbol
Arbitrary RelSymbol
IsRelSym RelSymbol

inv :: RelSymbol -> RelSymbol Source

unit_tests :: UnitTest Source