| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Data.Logic.Harrison.FOL
- eval :: FirstOrderFormula formula atom v => formula -> (atom -> Bool) -> Bool
- list_disj :: (Constants formula, Combinable formula) => Set formula -> formula
- list_conj :: (Constants formula, Combinable formula) => Set formula -> formula
- var :: forall formula atom term v. (FirstOrderFormula formula atom v, Atom atom term v) => formula -> Set v
- fv :: forall formula atom term v. (FirstOrderFormula formula atom v, Atom atom term v) => formula -> Set v
- subst :: (FirstOrderFormula formula atom v, Term term v f, Atom atom term v) => Map v term -> formula -> formula
- generalize :: (FirstOrderFormula formula atom v, Atom atom term v) => formula -> formula
Documentation
eval :: FirstOrderFormula formula atom v => formula -> (atom -> Bool) -> Bool Source
list_disj :: (Constants formula, Combinable formula) => Set formula -> formula Source
list_conj :: (Constants formula, Combinable formula) => Set formula -> formula Source
var :: forall formula atom term v. (FirstOrderFormula formula atom v, Atom atom term v) => formula -> Set v Source
Return all variables occurring in a formula.
fv :: forall formula atom term v. (FirstOrderFormula formula atom v, Atom atom term v) => formula -> Set v Source
Return the variables that occur free in a formula.
subst :: (FirstOrderFormula formula atom v, Term term v f, Atom atom term v) => Map v term -> formula -> formula Source
generalize :: (FirstOrderFormula formula atom v, Atom atom term v) => formula -> formula Source