hylolib-1.3.0: Tools for hybrid logics related programs

HyLo.Signature.String

Documentation

type StringSignature = Signature NomSymbol PropSymbol RelSymbol Source

newtype PropSymbol Source

Constructors

PropSymbol String

Instances

Eq PropSymbol
Ord PropSymbol
Read PropSymbol
Show PropSymbol

newtype NomSymbol Source

Constructors

NomSymbol String

Instances

Eq NomSymbol
Ord NomSymbol
Read NomSymbol
Show NomSymbol

data RelSymbol Source

Constructors

RelSymbol String
InvRelSymbol String

Instances

Eq RelSymbol
Ord RelSymbol
Read RelSymbol
Show RelSymbol
IsRelSym RelSymbol

inv :: RelSymbol -> RelSymbol Source