Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Documentation
(Eq n, Eq p, Eq r) => Eq (Signature n p r) Source # | |
(Ord n, Ord p, Ord r, Read n, Read p, Read r) => Read (Signature n p r) Source # | |
(Show n, Show p, Show r) => Show (Signature n p r) Source # | |
(Ord n, Ord p, Ord r) => Monoid (Signature n p r) Source # | |
HasSignature (Signature n p r) Source # | |
type NomsOf (Signature n p r) Source # | |
type PropsOf (Signature n p r) Source # | |
type RelsOf (Signature n p r) Source # | |
emptySignature :: Signature n p r Source #
commonSig :: (Ord n, Ord p, Ord r) => Signature n p r -> Signature n p r -> Signature n p r Source #
relSymbols :: Signature n p r -> Set r Source #
propSymbols :: Signature n p r -> Set p Source #
nomSymbols :: Signature n p r -> Set n Source #
class HasSignature a where Source #
HasSignature (Signature n p r) Source # | |
(Ord n, Ord p, Ord r) => HasSignature (Formula n p r) Source # | |
(Ord r, Ord n, Ord p) => HasSignature (HerbrandModel n p r) Source # | |
HasSignature (Model w n p r) Source # | |