Loading [Contrib]/a11y/accessibility-menu.js

hylolib-1.5.4: Tools for hybrid logics related programs

Safe HaskellNone
LanguageHaskell2010

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 #