hylolib-1.5.4: Tools for hybrid logics related programs

Safe Haskell	None
Language	Haskell2010

HyLo.Signature.String

Documentation

type StringSignature = Signature NomSymbol PropSymbol RelSymbol Source #

newtype PropSymbol Source #

Constructors

PropSymbol String

Instances

Eq PropSymbol Source #
Instance details Defined in HyLo.Signature.String Methods (==) :: PropSymbol -> PropSymbol -> Bool # (/=) :: PropSymbol -> PropSymbol -> Bool #
Ord PropSymbol Source #
Instance details Defined in HyLo.Signature.String Methods compare :: PropSymbol -> PropSymbol -> Ordering # (<) :: PropSymbol -> PropSymbol -> Bool # (<=) :: PropSymbol -> PropSymbol -> Bool # (>) :: PropSymbol -> PropSymbol -> Bool # (>=) :: PropSymbol -> PropSymbol -> Bool # max :: PropSymbol -> PropSymbol -> PropSymbol # min :: PropSymbol -> PropSymbol -> PropSymbol #
Read PropSymbol Source #
Instance details Defined in HyLo.Signature.String Methods readsPrec :: Int -> ReadS PropSymbol # readList :: ReadS [PropSymbol] # readPrec :: ReadPrec PropSymbol # readListPrec :: ReadPrec [PropSymbol] #
Show PropSymbol Source #
Instance details Defined in HyLo.Signature.String Methods showsPrec :: Int -> PropSymbol -> ShowS # show :: PropSymbol -> String # showList :: [PropSymbol] -> ShowS #

newtype NomSymbol Source #

Constructors

NomSymbol String

Instances

Eq NomSymbol Source #
Instance details Defined in HyLo.Signature.String Methods (==) :: NomSymbol -> NomSymbol -> Bool # (/=) :: NomSymbol -> NomSymbol -> Bool #
Ord NomSymbol Source #
Instance details Defined in HyLo.Signature.String Methods compare :: NomSymbol -> NomSymbol -> Ordering # (<) :: NomSymbol -> NomSymbol -> Bool # (<=) :: NomSymbol -> NomSymbol -> Bool # (>) :: NomSymbol -> NomSymbol -> Bool # (>=) :: NomSymbol -> NomSymbol -> Bool # max :: NomSymbol -> NomSymbol -> NomSymbol # min :: NomSymbol -> NomSymbol -> NomSymbol #
Read NomSymbol Source #
Instance details Defined in HyLo.Signature.String Methods readsPrec :: Int -> ReadS NomSymbol # readList :: ReadS [NomSymbol] # readPrec :: ReadPrec NomSymbol # readListPrec :: ReadPrec [NomSymbol] #
Show NomSymbol Source #
Instance details Defined in HyLo.Signature.String Methods showsPrec :: Int -> NomSymbol -> ShowS # show :: NomSymbol -> String # showList :: [NomSymbol] -> ShowS #

newtype RelSymbol Source #

Constructors

RelSymbol String

Instances

Eq RelSymbol Source #
Instance details Defined in HyLo.Signature.String Methods (==) :: RelSymbol -> RelSymbol -> Bool # (/=) :: RelSymbol -> RelSymbol -> Bool #
Ord RelSymbol Source #
Instance details Defined in HyLo.Signature.String Methods compare :: RelSymbol -> RelSymbol -> Ordering # (<) :: RelSymbol -> RelSymbol -> Bool # (<=) :: RelSymbol -> RelSymbol -> Bool # (>) :: RelSymbol -> RelSymbol -> Bool # (>=) :: RelSymbol -> RelSymbol -> Bool # max :: RelSymbol -> RelSymbol -> RelSymbol # min :: RelSymbol -> RelSymbol -> RelSymbol #
Read RelSymbol Source #
Instance details Defined in HyLo.Signature.String Methods readsPrec :: Int -> ReadS RelSymbol # readList :: ReadS [RelSymbol] # readPrec :: ReadPrec RelSymbol # readListPrec :: ReadPrec [RelSymbol] #
Show RelSymbol Source #
Instance details Defined in HyLo.Signature.String Methods showsPrec :: Int -> RelSymbol -> ShowS # show :: RelSymbol -> String # showList :: [RelSymbol] -> ShowS #