Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
data DomainSize Source
O | |
Type | |
|
typeMaybeName :: Type -> Maybe Name Source
connective :: Connective -> Form -> Form -> Form Source
notInwards :: Form -> Form Source
CNF | |
|
toLiterals :: Clause -> [Literal] Source
data NoAnswerReason 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] | |
Input_ :: (Symbolic a, Symbolic (Input a)) => TypeOf (Input a) | |
CNF_ :: TypeOf CNF |
recursively :: Symbolic a => (forall a. Symbolic a => a -> a) -> a -> a Source
recursivelyM :: (Monad m, Symbolic a) => (forall a. Symbolic a => a -> m a) -> a -> m a Source
termsAndBinders :: forall a b. Symbolic a => (Term -> DList b) -> (forall a. Symbolic a => Bind a -> [b]) -> a -> [b] Source
uniqueNames :: Symbolic a => a -> NameM a Source