MagicHaskeller-0.9.6.4.5: Automatic inductive functional programmer by systematic search

Safe HaskellNone
LanguageHaskell98

Control.Monad.Search.Best

Synopsis

Documentation

data Best a Source

Unlike Matrix, Recomp, etc., the Best monad only keeps the best set of results. This makes the analytical synthesis like IgorII, and the exhaustive synthesis like Djinn, i.e., the resulting algorithms are more efficient, but cannot be used for (analytically-)generate-and-test.

Constructors

Result [a] 
Delay (Best a) 

getBests :: Best a -> [a] Source

fromLists :: [[a]] -> Best a Source