Safe Haskell	None
Language	Haskell2010

HyLo.Signature.Simple

Documentation

Constructors

Instances

Enum PropSymbol Source #
Instance details 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 Source #
Instance details Defined in HyLo.Signature.Simple Methods (==) :: PropSymbol -> PropSymbol -> Bool # (/=) :: PropSymbol -> PropSymbol -> Bool #
Ord PropSymbol Source #
Instance details 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 Source #
Instance details Defined in HyLo.Signature.Simple Methods readsPrec :: Int -> ReadS PropSymbol # readList :: ReadS [PropSymbol] # readPrec :: ReadPrec PropSymbol # readListPrec :: ReadPrec [PropSymbol] #
Show PropSymbol Source #
Instance details Defined in HyLo.Signature.Simple Methods showsPrec :: Int -> PropSymbol -> ShowS # show :: PropSymbol -> String # showList :: [PropSymbol] -> ShowS #

Constructors

N Int
X Int

Instances

Eq NomSymbol Source #
Instance details Defined in HyLo.Signature.Simple Methods (==) :: NomSymbol -> NomSymbol -> Bool # (/=) :: NomSymbol -> NomSymbol -> Bool #
Ord NomSymbol Source #
Instance details 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 Source #
Instance details Defined in HyLo.Signature.Simple Methods readsPrec :: Int -> ReadS NomSymbol # readList :: ReadS [NomSymbol] # readPrec :: ReadPrec NomSymbol # readListPrec :: ReadPrec [NomSymbol] #
Show NomSymbol Source #
Instance details Defined in HyLo.Signature.Simple Methods showsPrec :: Int -> NomSymbol -> ShowS # show :: NomSymbol -> String # showList :: [NomSymbol] -> ShowS #

Constructors

Instances

Eq RelSymbol Source #
Instance details Defined in HyLo.Signature.Simple Methods (==) :: RelSymbol -> RelSymbol -> Bool # (/=) :: RelSymbol -> RelSymbol -> Bool #
Ord RelSymbol Source #
Instance details 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 Source #
Instance details Defined in HyLo.Signature.Simple Methods readsPrec :: Int -> ReadS RelSymbol # readList :: ReadS [RelSymbol] # readPrec :: ReadPrec RelSymbol # readListPrec :: ReadPrec [RelSymbol] #
Show RelSymbol Source #
Instance details Defined in HyLo.Signature.Simple Methods showsPrec :: Int -> RelSymbol -> ShowS # show :: RelSymbol -> String # showList :: [RelSymbol] -> ShowS #