Safe Haskell | None |
---|---|
Language | Haskell2010 |
The axiom
runs a backtracking algebra. The name comes from Robert
Giegerichs ADP
where axiom
runs the fully formed algorithm.
- class Axiom t where
- type AxiomStream t :: *
- axiom :: t -> AxiomStream t
Documentation
The Axiom type class
type AxiomStream t :: * Source
The corresponding stream being returned by axiom
axiom :: t -> AxiomStream t Source
Given a table, run the axiom
(Monad mB, PrimArrayOps arr i x, IndexStream i) => Axiom (Backtrack (ITbl mF arr c i x) mF mB r) Source | |
(Monad mB, IndexStream i) => Axiom (Backtrack (IRec mF c i x) mF mB r) Source | |
(Monad m, IndexStream i) => Axiom (IRec m c i x) Source | |
(Monad m, PrimArrayOps arr i x, IndexStream i) => Axiom (ITbl m arr c i x) Source |