HyLo.Signature.Simple

Documentation

type SimpleSignature = Signature NomSymbol PropSymbol RelSymbol

newtype PropSymbol

Constructors

PropSymbol Int

Instances

Enum PropSymbol

Defined in HyLo.Signature.Simple

Methods

succ :: PropSymbol -> PropSymbol

pred :: PropSymbol -> PropSymbol

toEnum :: Int -> PropSymbol

fromEnum :: PropSymbol -> Int

enumFrom :: PropSymbol -> [PropSymbol]

enumFromThen :: PropSymbol -> PropSymbol -> [PropSymbol]

enumFromTo :: PropSymbol -> PropSymbol -> [PropSymbol]

enumFromThenTo :: PropSymbol -> PropSymbol -> PropSymbol -> [PropSymbol]

Eq PropSymbol

Defined in HyLo.Signature.Simple

Methods

(==) :: PropSymbol -> PropSymbol -> Bool

(/=) :: PropSymbol -> PropSymbol -> Bool

Ord PropSymbol

Defined in HyLo.Signature.Simple

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

Defined in HyLo.Signature.Simple

Methods

readsPrec :: Int -> ReadS PropSymbol

readList :: ReadS [PropSymbol]

readPrec :: ReadPrec PropSymbol

readListPrec :: ReadPrec [PropSymbol]

Show PropSymbol

Defined in HyLo.Signature.Simple

Methods

showsPrec :: Int -> PropSymbol -> ShowS

show :: PropSymbol -> String

showList :: [PropSymbol] -> ShowS

data NomSymbol

Constructors

N Int

X Int

Instances

Eq NomSymbol

Defined in HyLo.Signature.Simple

Methods

(==) :: NomSymbol -> NomSymbol -> Bool

(/=) :: NomSymbol -> NomSymbol -> Bool

Ord NomSymbol

Defined in HyLo.Signature.Simple

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

Defined in HyLo.Signature.Simple

Methods

readsPrec :: Int -> ReadS NomSymbol

readList :: ReadS [NomSymbol]

readPrec :: ReadPrec NomSymbol

readListPrec :: ReadPrec [NomSymbol]

Show NomSymbol

Defined in HyLo.Signature.Simple

Methods

showsPrec :: Int -> NomSymbol -> ShowS

show :: NomSymbol -> String

showList :: [NomSymbol] -> ShowS

newtype RelSymbol

Constructors

RelSymbol Int

Instances

Eq RelSymbol

Defined in HyLo.Signature.Simple

Methods

(==) :: RelSymbol -> RelSymbol -> Bool

(/=) :: RelSymbol -> RelSymbol -> Bool

Ord RelSymbol

Defined in HyLo.Signature.Simple

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

Defined in HyLo.Signature.Simple

Methods

readsPrec :: Int -> ReadS RelSymbol

readList :: ReadS [RelSymbol]

readPrec :: ReadPrec RelSymbol

readListPrec :: ReadPrec [RelSymbol]

Show RelSymbol

Defined in HyLo.Signature.Simple

Methods

showsPrec :: Int -> RelSymbol -> ShowS

show :: RelSymbol -> String

showList :: [RelSymbol] -> ShowS