Control.Monad.Search.Combinatorial

data Matrix a

(/\)

(\/)

data Recomp a

data RecompT m a

rcToMx

mxToRc

class Search m

diag

class Delay m

msumMx

msumRc

listToRc

consMx

consRc

zipWithBF

printMx

printNMx

mapDepthDB

type Bag a

type Stream a

cat

toList

getDepth

scanl1BF

zipDepthMx

zipDepthRc

zipDepth3Mx

zipDepth3Rc

scanlRc

data DBound a

data DBoundT m a

zipDepthDB

data DBMemo a

class Memoable m n

shrink

class DB m

dbtToRcT