ADP.Fusion.SynVar.Axiom

The axiom runs a backtracking algebra. The name comes from Robert Giegerichs ADP where axiom runs the fully formed algorithm.

Documentation

class Axiom t where

The Axiom type class

Associated Types

type AxiomStream t :: *

The corresponding stream being returned by axiom

Methods

axiom :: t -> AxiomStream t

Given a table, run the axiom

Instances

(Monad m, IndexStream i) => Axiom (IRec m i x)

(Monad mB, PrimArrayOps arr i x, IndexStream i) => Axiom (Backtrack (ITbl mF arr i x) mF mB r)

(Monad mB, IndexStream i) => Axiom (Backtrack (IRec mF i x) mF mB r)

(Monad m, PrimArrayOps arr i x, IndexStream i) => Axiom (ITbl m arr i x)