Safe Haskell | None |
---|
Documentation
data DomainSize Source
Eq DomainSize | |
Ord DomainSize | |
Show DomainSize | |
Typeable DomainSize |
O | |
Type | |
|
typeMaybeName :: Type -> Maybe NameSource
connective :: Connective -> Form -> Form -> FormSource
notInwards :: Form -> FormSource
Obligs | |
|
toLiterals :: Clause -> [Literal]Source
Form :: TypeOf Form | |
Clause_ :: TypeOf Clause | |
Term :: TypeOf Term | |
Atomic :: TypeOf Atomic | |
Signed :: (Symbolic a, Symbolic (Signed a)) => TypeOf (Signed a) | |
Bind_ :: (Symbolic a, Symbolic (Bind a)) => TypeOf (Bind a) | |
List :: (Symbolic a, Symbolic [a]) => TypeOf [a] | |
Seq :: (Symbolic a, Symbolic (Seq a)) => TypeOf (Seq a) | |
Input_ :: (Symbolic a, Symbolic (Input a)) => TypeOf (Input a) | |
Obligs_ :: TypeOf Obligs |
recursively :: Symbolic a => (forall a. Symbolic a => a -> a) -> a -> aSource
recursivelyM :: (Monad m, Symbolic a) => (forall a. Symbolic a => a -> m a) -> a -> m aSource
termsAndBinders :: forall a b. Symbolic a => (Term -> Seq b) -> (forall a. Symbolic a => Bind a -> Seq b) -> a -> Seq bSource
uniqueNames :: Symbolic a => a -> NameM aSource