MagicHaskeller-0.8.6.2: Automatic inductive functional programmer by systematic search Contents Index

Control.Monad.Search.Best

Synopsis

data Best a = Result [a] | Delay (Best a) getBests :: Best a -> [a] fromLists :: [[a]] -> Best a

Documentation

data Best a

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) Instances Monad Best Functor Best MonadPlus Best Search Best Delay Best Memoable Best Best Read a => Read (Best a) Show a => Show (Best a)

getBests :: Best a -> [a]

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

Produced by Haddock version 2.7.2