Safe Haskell	Safe
Language	Haskell2010

HyLo.Signature

Documentation

data Signature n p r Source #

Instances

(Eq n, Eq p, Eq r) => Eq (Signature n p r) Source #
Instance details Defined in HyLo.Signature Methods (==) :: Signature n p r -> Signature n p r -> Bool # (/=) :: Signature n p r -> Signature n p r -> Bool #
(Read n, Read p, Read r, Ord n, Ord p, Ord r) => Read (Signature n p r) Source #
Instance details Defined in HyLo.Signature Methods readsPrec :: Int -> ReadS (Signature n p r) # readList :: ReadS [Signature n p r] # readPrec :: ReadPrec (Signature n p r) # readListPrec :: ReadPrec [Signature n p r] #
(Show n, Show p, Show r) => Show (Signature n p r) Source #
Instance details Defined in HyLo.Signature Methods showsPrec :: Int -> Signature n p r -> ShowS # show :: Signature n p r -> String # showList :: [Signature n p r] -> ShowS #
(Ord n, Ord p, Ord r) => Semigroup (Signature n p r) Source #
Instance details Defined in HyLo.Signature Methods (<>) :: Signature n p r -> Signature n p r -> Signature n p r # sconcat :: NonEmpty (Signature n p r) -> Signature n p r # stimes :: Integral b => b -> Signature n p r -> Signature n p r #
(Ord n, Ord p, Ord r) => Monoid (Signature n p r) Source #
Instance details Defined in HyLo.Signature Methods mempty :: Signature n p r # mappend :: Signature n p r -> Signature n p r -> Signature n p r # mconcat :: [Signature n p r] -> Signature n p r #
HasSignature (Signature n p r) Source #
Instance details Defined in HyLo.Signature Associated Types type NomsOf (Signature n p r) :: Type Source # type PropsOf (Signature n p r) :: Type Source # type RelsOf (Signature n p r) :: Type Source # Methods getSignature :: Signature n p r -> Signature (NomsOf (Signature n p r)) (PropsOf (Signature n p r)) (RelsOf (Signature n p r)) Source #
type NomsOf (Signature n p r) Source #
Instance details Defined in HyLo.Signature type NomsOf (Signature n p r) = n
type PropsOf (Signature n p r) Source #
Instance details Defined in HyLo.Signature type PropsOf (Signature n p r) = p
type RelsOf (Signature n p r) Source #
Instance details Defined in HyLo.Signature type RelsOf (Signature n p r) = r

emptySignature :: Signature n p r Source #

buildSignature :: Set n -> Set p -> Set r -> Signature n p r Source #

addNomToSig :: Ord n => n -> Signature n p r -> Signature n p r Source #

delNomFromSig :: Ord n => n -> Signature n p r -> Signature n p r Source #

addPropToSig :: Ord p => p -> Signature n p r -> Signature n p r Source #

delPropFromSig :: Ord p => p -> Signature n p r -> Signature n p r Source #

addRelToSig :: Ord r => r -> Signature n p r -> Signature n p r Source #

delRelFromSig :: Ord r => r -> Signature n p r -> Signature n p r Source #

isNomInSig :: Ord n => n -> Signature n p r -> Bool Source #

isPropInSig :: Ord p => p -> Signature n p r -> Bool Source #

isRelInSig :: Ord r => r -> Signature n p r -> Bool Source #

merge :: (Ord n, Ord p, Ord r) => Signature n p r -> Signature n p r -> 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 #

isSubsignatureOf :: (Ord n, Ord p, Ord r) => Signature n p r -> Signature n p r -> Bool Source #

class HasSignature a where Source #

Associated Types

type NomsOf a :: * Source #

type PropsOf a :: * Source #

type RelsOf a :: * Source #

Methods

getSignature :: a -> Signature (NomsOf a) (PropsOf a) (RelsOf a) Source #

Instances

HasSignature (Signature n p r) Source #
Instance details Defined in HyLo.Signature Associated Types type NomsOf (Signature n p r) :: Type Source # type PropsOf (Signature n p r) :: Type Source # type RelsOf (Signature n p r) :: Type Source # Methods getSignature :: Signature n p r -> Signature (NomsOf (Signature n p r)) (PropsOf (Signature n p r)) (RelsOf (Signature n p r)) Source #
(Ord n, Ord p, Ord r) => HasSignature (Formula n p r) Source #
Instance details Defined in HyLo.Formula Associated Types type NomsOf (Formula n p r) :: Type Source # type PropsOf (Formula n p r) :: Type Source # type RelsOf (Formula n p r) :: Type Source # Methods getSignature :: Formula n p r -> Signature (NomsOf (Formula n p r)) (PropsOf (Formula n p r)) (RelsOf (Formula n p r)) Source #
(Ord r, Ord n, Ord p) => HasSignature (HerbrandModel n p r) Source #
Instance details Defined in HyLo.Model.Herbrand Associated Types type NomsOf (HerbrandModel n p r) :: Type Source # type PropsOf (HerbrandModel n p r) :: Type Source # type RelsOf (HerbrandModel n p r) :: Type Source # Methods getSignature :: HerbrandModel n p r -> Signature (NomsOf (HerbrandModel n p r)) (PropsOf (HerbrandModel n p r)) (RelsOf (HerbrandModel n p r)) Source #
HasSignature (Model w n p r) Source #
Instance details Defined in HyLo.Model Associated Types type NomsOf (Model w n p r) :: Type Source # type PropsOf (Model w n p r) :: Type Source # type RelsOf (Model w n p r) :: Type Source # Methods getSignature :: Model w n p r -> Signature (NomsOf (Model w n p r)) (PropsOf (Model w n p r)) (RelsOf (Model w n p r)) Source #