ADPfusion-0.4.1.0: Efficient, high-level dynamic programming.

Safe HaskellNone
LanguageHaskell2010

ADP.Fusion.SynVar.Axiom

Description

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

Synopsis

Documentation

class Axiom t where Source

The Axiom type class

Associated Types

type AxiomStream t :: * Source

The corresponding stream being returned by axiom

Methods

axiom :: t -> AxiomStream t Source

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)