Control.Monad.Search.Combinatorial

Documentation

newtype Matrix a

Constructors

Mx

Fields

• unMx :: Stream (Bag a)

Instances

Monad Matrix

Methods

(>>=) :: Matrix a -> (a -> Matrix b) -> Matrix b

(>>) :: Matrix a -> Matrix b -> Matrix b

return :: a -> Matrix a

fail :: String -> Matrix a

Functor Matrix

Methods

fmap :: (a -> b) -> Matrix a -> Matrix b

(<$) :: a -> Matrix b -> Matrix a

Applicative Matrix

Methods

pure :: a -> Matrix a

(<*>) :: Matrix (a -> b) -> Matrix a -> Matrix b

(*>) :: Matrix a -> Matrix b -> Matrix b

(<*) :: Matrix a -> Matrix b -> Matrix a

Alternative Matrix

Methods

empty :: Matrix a

(<|>) :: Matrix a -> Matrix a -> Matrix a

some :: Matrix a -> Matrix [a]

many :: Matrix a -> Matrix [a]

MonadPlus Matrix

Methods

mzero :: Matrix a

mplus :: Matrix a -> Matrix a -> Matrix a

Search Matrix

Methods

fromRc :: Recomp a -> Matrix a

toRc :: Matrix a -> Recomp a

fromMx :: Matrix a -> Matrix a

toMx :: Matrix a -> Matrix a

fromDB :: DBound a -> Matrix a

fromDF :: [a] -> Matrix a

toDF :: Matrix a -> [a]

mapDepth :: (Bag a -> Bag b) -> Matrix a -> Matrix b

catBags :: Matrix (Bag a) -> Matrix a

mergesortDepthWithBy :: (k -> k -> k) -> (k -> k -> Ordering) -> Matrix k -> Matrix k

ifDepth :: (Int -> Bool) -> Matrix a -> Matrix a -> Matrix a

Delay Matrix

Methods

delay :: Matrix a -> Matrix a

ndelay :: Int -> Matrix a -> Matrix a

getDepth :: Matrix Int

SStrategy Matrix

Methods

sfilter :: Relation r => (k -> k -> r) -> (Int -> Int) -> Matrix ([k], e) -> Matrix ([k], e)

ofilter :: Relation r => (k -> k -> r) -> Matrix (k, e) -> Matrix (k, e)

Memoable Matrix Recomp

Methods

tabulate :: Recomp a -> Matrix a

applyMemo :: Matrix a -> Recomp a

Show a => Show (Matrix a)

Methods

showsPrec :: Int -> Matrix a -> ShowS

show :: Matrix a -> String

showList :: [Matrix a] -> ShowS

Monoid (Matrix a)

Methods

mempty :: Matrix a

mappend :: Matrix a -> Matrix a -> Matrix a

mconcat :: [Matrix a] -> Matrix a

(/\) :: Monad m => (a -> m b) -> (t -> m a) -> t -> m b

(\/) :: MonadPlus m => (t -> m a) -> (t -> m a) -> t -> m a

newtype Recomp a

Constructors

Rc

Fields

• unRc :: Int -> Bag a

Instances

Monad Recomp

Methods

(>>=) :: Recomp a -> (a -> Recomp b) -> Recomp b

(>>) :: Recomp a -> Recomp b -> Recomp b

return :: a -> Recomp a

fail :: String -> Recomp a

Functor Recomp

Methods

fmap :: (a -> b) -> Recomp a -> Recomp b

(<$) :: a -> Recomp b -> Recomp a

Applicative Recomp

Methods

pure :: a -> Recomp a

(<*>) :: Recomp (a -> b) -> Recomp a -> Recomp b

(*>) :: Recomp a -> Recomp b -> Recomp b

(<*) :: Recomp a -> Recomp b -> Recomp a

Alternative Recomp

Methods

empty :: Recomp a

(<|>) :: Recomp a -> Recomp a -> Recomp a

some :: Recomp a -> Recomp [a]

many :: Recomp a -> Recomp [a]

MonadPlus Recomp

Methods

mzero :: Recomp a

mplus :: Recomp a -> Recomp a -> Recomp a

Search Recomp

Methods

fromRc :: Recomp a -> Recomp a

toRc :: Recomp a -> Recomp a

fromMx :: Matrix a -> Recomp a

toMx :: Recomp a -> Matrix a

fromDB :: DBound a -> Recomp a

fromDF :: [a] -> Recomp a

toDF :: Recomp a -> [a]

mapDepth :: (Bag a -> Bag b) -> Recomp a -> Recomp b

catBags :: Recomp (Bag a) -> Recomp a

mergesortDepthWithBy :: (k -> k -> k) -> (k -> k -> Ordering) -> Recomp k -> Recomp k

ifDepth :: (Int -> Bool) -> Recomp a -> Recomp a -> Recomp a

Delay Recomp

Methods

delay :: Recomp a -> Recomp a

ndelay :: Int -> Recomp a -> Recomp a

getDepth :: Recomp Int

Memoable Matrix Recomp

Methods

tabulate :: Recomp a -> Matrix a

applyMemo :: Matrix a -> Recomp a

Show (Recomp a)

Methods

showsPrec :: Int -> Recomp a -> ShowS

show :: Recomp a -> String

showList :: [Recomp a] -> ShowS

Monoid (Recomp a)

Methods

mempty :: Recomp a

mappend :: Recomp a -> Recomp a -> Recomp a

mconcat :: [Recomp a] -> Recomp a

newtype RecompT m a

Constructors

RcT

Fields

• unRcT :: Int -> m (Bag a)

Instances

(Functor m, Monad m) => Monad (RecompT m)

Methods

(>>=) :: RecompT m a -> (a -> RecompT m b) -> RecompT m b

(>>) :: RecompT m a -> RecompT m b -> RecompT m b

return :: a -> RecompT m a

fail :: String -> RecompT m a

Functor f => Functor (RecompT f)

Methods

fmap :: (a -> b) -> RecompT f a -> RecompT f b

(<$) :: a -> RecompT f b -> RecompT f a

(Functor m, Monad m) => Applicative (RecompT m)

Methods

pure :: a -> RecompT m a

(<*>) :: RecompT m (a -> b) -> RecompT m a -> RecompT m b

(*>) :: RecompT m a -> RecompT m b -> RecompT m b

(<*) :: RecompT m a -> RecompT m b -> RecompT m a

(Functor m, Monad m) => Alternative (RecompT m)

Methods

empty :: RecompT m a

(<|>) :: RecompT m a -> RecompT m a -> RecompT m a

some :: RecompT m a -> RecompT m [a]

many :: RecompT m a -> RecompT m [a]

(Functor m, Monad m) => MonadPlus (RecompT m)

Methods

mzero :: RecompT m a

mplus :: RecompT m a -> RecompT m a -> RecompT m a

(Functor m, Monad m) => Search (RecompT m)

Methods

fromRc :: Recomp a -> RecompT m a

toRc :: RecompT m a -> Recomp a

fromMx :: Matrix a -> RecompT m a

toMx :: RecompT m a -> Matrix a

fromDB :: DBound a -> RecompT m a

fromDF :: [a] -> RecompT m a

toDF :: RecompT m a -> [a]

mapDepth :: (Bag a -> Bag b) -> RecompT m a -> RecompT m b

catBags :: RecompT m (Bag a) -> RecompT m a

mergesortDepthWithBy :: (k -> k -> k) -> (k -> k -> Ordering) -> RecompT m k -> RecompT m k

ifDepth :: (Int -> Bool) -> RecompT m a -> RecompT m a -> RecompT m a

Monad m => Delay (RecompT m)

Methods

delay :: RecompT m a -> RecompT m a

ndelay :: Int -> RecompT m a -> RecompT m a

getDepth :: RecompT m Int

(Functor m, Monad m) => Monoid (RecompT m a)

Methods

mempty :: RecompT m a

mappend :: RecompT m a -> RecompT m a -> RecompT m a

mconcat :: [RecompT m a] -> RecompT m a

rcToMx :: Recomp a -> Matrix a

mxToRc :: Matrix a -> Recomp a

class (Delay m, MonadPlus m, Functor m) => Search m where

Minimal complete definition

fromRc, toRc, fromMx, toMx, fromDB, fromDF, toDF, mapDepth, ifDepth

Methods

fromRc :: Recomp a -> m a

toRc :: m a -> Recomp a

fromMx :: Matrix a -> m a

toMx :: m a -> Matrix a

fromDB :: DBound a -> m a

fromDF :: [a] -> m a

toDF :: m a -> [a]

mapDepth :: (Bag a -> Bag b) -> m a -> m b

mapDepth applies a function to the bag at each depth.

catBags :: m (Bag a) -> m a

catBags flattens each bag.

mergesortDepthWithBy :: (k -> k -> k) -> (k -> k -> Ordering) -> m k -> m k

mergesortDepthWithBy converts bags to sets, by (possibly sorting each bag and) removing duplicates. Efficiency on lists with lots of duplicates is required.

ifDepth :: (Int -> Bool) -> m a -> m a -> m a

Instances

Search DBound

Methods

fromRc :: Recomp a -> DBound a

toRc :: DBound a -> Recomp a

fromMx :: Matrix a -> DBound a

toMx :: DBound a -> Matrix a

fromDB :: DBound a -> DBound a

fromDF :: [a] -> DBound a

toDF :: DBound a -> [a]

mapDepth :: (Bag a -> Bag b) -> DBound a -> DBound b

catBags :: DBound (Bag a) -> DBound a

mergesortDepthWithBy :: (k -> k -> k) -> (k -> k -> Ordering) -> DBound k -> DBound k

ifDepth :: (Int -> Bool) -> DBound a -> DBound a -> DBound a

Search Recomp

Methods

fromRc :: Recomp a -> Recomp a

toRc :: Recomp a -> Recomp a

fromMx :: Matrix a -> Recomp a

toMx :: Recomp a -> Matrix a

fromDB :: DBound a -> Recomp a

fromDF :: [a] -> Recomp a

toDF :: Recomp a -> [a]

mapDepth :: (Bag a -> Bag b) -> Recomp a -> Recomp b

catBags :: Recomp (Bag a) -> Recomp a

mergesortDepthWithBy :: (k -> k -> k) -> (k -> k -> Ordering) -> Recomp k -> Recomp k

ifDepth :: (Int -> Bool) -> Recomp a -> Recomp a -> Recomp a

Search Matrix

Methods

fromRc :: Recomp a -> Matrix a

toRc :: Matrix a -> Recomp a

fromMx :: Matrix a -> Matrix a

toMx :: Matrix a -> Matrix a

fromDB :: DBound a -> Matrix a

fromDF :: [a] -> Matrix a

toDF :: Matrix a -> [a]

mapDepth :: (Bag a -> Bag b) -> Matrix a -> Matrix b

catBags :: Matrix (Bag a) -> Matrix a

mergesortDepthWithBy :: (k -> k -> k) -> (k -> k -> Ordering) -> Matrix k -> Matrix k

ifDepth :: (Int -> Bool) -> Matrix a -> Matrix a -> Matrix a

Search Best

Methods

fromRc :: Recomp a -> Best a

toRc :: Best a -> Recomp a

fromMx :: Matrix a -> Best a

toMx :: Best a -> Matrix a

fromDB :: DBound a -> Best a

fromDF :: [a] -> Best a

toDF :: Best a -> [a]

mapDepth :: (Bag a -> Bag b) -> Best a -> Best b

catBags :: Best (Bag a) -> Best a

mergesortDepthWithBy :: (k -> k -> k) -> (k -> k -> Ordering) -> Best k -> Best k

ifDepth :: (Int -> Bool) -> Best a -> Best a -> Best a

(Functor m, Monad m) => Search (DBoundT m)

Methods

fromRc :: Recomp a -> DBoundT m a

toRc :: DBoundT m a -> Recomp a

fromMx :: Matrix a -> DBoundT m a

toMx :: DBoundT m a -> Matrix a

fromDB :: DBound a -> DBoundT m a

fromDF :: [a] -> DBoundT m a

toDF :: DBoundT m a -> [a]

mapDepth :: (Bag a -> Bag b) -> DBoundT m a -> DBoundT m b

catBags :: DBoundT m (Bag a) -> DBoundT m a

mergesortDepthWithBy :: (k -> k -> k) -> (k -> k -> Ordering) -> DBoundT m k -> DBoundT m k

ifDepth :: (Int -> Bool) -> DBoundT m a -> DBoundT m a -> DBoundT m a

(Functor m, Monad m) => Search (RecompT m)

Methods

fromRc :: Recomp a -> RecompT m a

toRc :: RecompT m a -> Recomp a

fromMx :: Matrix a -> RecompT m a

toMx :: RecompT m a -> Matrix a

fromDB :: DBound a -> RecompT m a

fromDF :: [a] -> RecompT m a

toDF :: RecompT m a -> [a]

mapDepth :: (Bag a -> Bag b) -> RecompT m a -> RecompT m b

catBags :: RecompT m (Bag a) -> RecompT m a

mergesortDepthWithBy :: (k -> k -> k) -> (k -> k -> Ordering) -> RecompT m k -> RecompT m k

ifDepth :: (Int -> Bool) -> RecompT m a -> RecompT m a -> RecompT m a

diag :: Stream (Stream a) -> Stream (Bag a)

class Delay m where

Minimal complete definition

getDepth

Methods

delay :: m a -> m a

ndelay :: Int -> m a -> m a

getDepth :: m Int

Instances

Delay DBound

Methods

delay :: DBound a -> DBound a

ndelay :: Int -> DBound a -> DBound a

getDepth :: DBound Int

Delay Recomp

Methods

delay :: Recomp a -> Recomp a

ndelay :: Int -> Recomp a -> Recomp a

getDepth :: Recomp Int

Delay Matrix

Methods

delay :: Matrix a -> Matrix a

ndelay :: Int -> Matrix a -> Matrix a

getDepth :: Matrix Int

Delay Best

Methods

delay :: Best a -> Best a

ndelay :: Int -> Best a -> Best a

getDepth :: Best Int

Monad m => Delay (DBoundT m)

Methods

delay :: DBoundT m a -> DBoundT m a

ndelay :: Int -> DBoundT m a -> DBoundT m a

getDepth :: DBoundT m Int

Monad m => Delay (RecompT m)

Methods

delay :: RecompT m a -> RecompT m a

ndelay :: Int -> RecompT m a -> RecompT m a

getDepth :: RecompT m Int

(Monad m, Delay m) => Delay (StateT s m)

Methods

delay :: StateT s m a -> StateT s m a

ndelay :: Int -> StateT s m a -> StateT s m a

getDepth :: StateT s m Int

msumMx :: Bag a -> Matrix a

msumRc :: Bag a -> Recomp a

listToRc :: Bag a -> Recomp a

consMx :: Bag a -> Matrix a -> Matrix a

consRc :: Bag a -> Recomp a -> Recomp a

zipWithBF :: Monad m => (a -> b -> m c) -> m a -> m b -> m c

printMx :: Show a => Matrix a -> IO ()

printNMx :: Show a => Int -> Matrix a -> IO ()

mapDepthDB :: DB m => (Bag (a, Int) -> Bag (b, Int)) -> m a -> m b

type Bag a = [a]

type Stream a = [a]

cat :: [[a]] -> [a]

toList :: a -> a

getDepth :: Delay m => m Int

scanl1BF :: Search m => m x -> m x

zipDepthMx :: (Int -> Bag a -> Bag b) -> Matrix a -> Matrix b

zipDepthRc :: (Int -> Bag a -> Bag b) -> Recomp a -> Recomp b

zipDepth3Mx :: (Int -> Bag a -> Bag b -> Bag c) -> Matrix a -> Matrix b -> Matrix c

zipDepth3Rc :: (Int -> Bag a -> Bag b -> Bag c) -> Recomp a -> Recomp b -> Recomp c

scanlRc :: (Bag a -> Bag b -> Bag a) -> Bag a -> Recomp b -> Recomp a

newtype DBound a

Constructors

DB

Fields

• unDB :: Int -> Bag (a, Int)

Instances

Monad DBound

Methods

(>>=) :: DBound a -> (a -> DBound b) -> DBound b

(>>) :: DBound a -> DBound b -> DBound b

return :: a -> DBound a

fail :: String -> DBound a

Functor DBound

Methods

fmap :: (a -> b) -> DBound a -> DBound b

(<$) :: a -> DBound b -> DBound a

Applicative DBound

Methods

pure :: a -> DBound a

(<*>) :: DBound (a -> b) -> DBound a -> DBound b

(*>) :: DBound a -> DBound b -> DBound b

(<*) :: DBound a -> DBound b -> DBound a

Alternative DBound

Methods

empty :: DBound a

(<|>) :: DBound a -> DBound a -> DBound a

some :: DBound a -> DBound [a]

many :: DBound a -> DBound [a]

MonadPlus DBound

Methods

mzero :: DBound a

mplus :: DBound a -> DBound a -> DBound a

Search DBound

Methods

fromRc :: Recomp a -> DBound a

toRc :: DBound a -> Recomp a

fromMx :: Matrix a -> DBound a

toMx :: DBound a -> Matrix a

fromDB :: DBound a -> DBound a

fromDF :: [a] -> DBound a

toDF :: DBound a -> [a]

mapDepth :: (Bag a -> Bag b) -> DBound a -> DBound b

catBags :: DBound (Bag a) -> DBound a

mergesortDepthWithBy :: (k -> k -> k) -> (k -> k -> Ordering) -> DBound k -> DBound k

ifDepth :: (Int -> Bool) -> DBound a -> DBound a -> DBound a

Delay DBound

Methods

delay :: DBound a -> DBound a

ndelay :: Int -> DBound a -> DBound a

getDepth :: DBound Int

DB DBound

Methods

mapDepthDB :: (Bag (a, Int) -> Bag (b, Int)) -> DBound a -> DBound b

zipDepthDB :: (Int -> Bag (a, Int) -> Bag (b, Int)) -> DBound a -> DBound b

SStrategy DBound

Methods

sfilter :: Relation r => (k -> k -> r) -> (Int -> Int) -> DBound ([k], e) -> DBound ([k], e)

ofilter :: Relation r => (k -> k -> r) -> DBound (k, e) -> DBound (k, e)

Memoable DBMemo DBound

Methods

tabulate :: DBound a -> DBMemo a

applyMemo :: DBMemo a -> DBound a

Show (DBound a)

Methods

showsPrec :: Int -> DBound a -> ShowS

show :: DBound a -> String

showList :: [DBound a] -> ShowS

newtype DBoundT m a

Constructors

DBT

Fields

• unDBT :: Int -> m (Bag (a, Int))

Instances

(Functor m, Monad m) => Monad (DBoundT m)

Methods

(>>=) :: DBoundT m a -> (a -> DBoundT m b) -> DBoundT m b

(>>) :: DBoundT m a -> DBoundT m b -> DBoundT m b

return :: a -> DBoundT m a

fail :: String -> DBoundT m a

Functor f => Functor (DBoundT f)

Methods

fmap :: (a -> b) -> DBoundT f a -> DBoundT f b

(<$) :: a -> DBoundT f b -> DBoundT f a

(Functor m, Monad m) => Applicative (DBoundT m)

Methods

pure :: a -> DBoundT m a

(<*>) :: DBoundT m (a -> b) -> DBoundT m a -> DBoundT m b

(*>) :: DBoundT m a -> DBoundT m b -> DBoundT m b

(<*) :: DBoundT m a -> DBoundT m b -> DBoundT m a

(Functor m, Monad m) => Alternative (DBoundT m)

Methods

empty :: DBoundT m a

(<|>) :: DBoundT m a -> DBoundT m a -> DBoundT m a

some :: DBoundT m a -> DBoundT m [a]

many :: DBoundT m a -> DBoundT m [a]

(Functor m, Monad m) => MonadPlus (DBoundT m)

Methods

mzero :: DBoundT m a

mplus :: DBoundT m a -> DBoundT m a -> DBoundT m a

(Functor m, Monad m) => Search (DBoundT m)

Methods

fromRc :: Recomp a -> DBoundT m a

toRc :: DBoundT m a -> Recomp a

fromMx :: Matrix a -> DBoundT m a

toMx :: DBoundT m a -> Matrix a

fromDB :: DBound a -> DBoundT m a

fromDF :: [a] -> DBoundT m a

toDF :: DBoundT m a -> [a]

mapDepth :: (Bag a -> Bag b) -> DBoundT m a -> DBoundT m b

catBags :: DBoundT m (Bag a) -> DBoundT m a

mergesortDepthWithBy :: (k -> k -> k) -> (k -> k -> Ordering) -> DBoundT m k -> DBoundT m k

ifDepth :: (Int -> Bool) -> DBoundT m a -> DBoundT m a -> DBoundT m a

Monad m => Delay (DBoundT m)

Methods

delay :: DBoundT m a -> DBoundT m a

ndelay :: Int -> DBoundT m a -> DBoundT m a

getDepth :: DBoundT m Int

(Functor m, Monad m) => DB (DBoundT m)

Methods

mapDepthDB :: (Bag (a, Int) -> Bag (b, Int)) -> DBoundT m a -> DBoundT m b

zipDepthDB :: (Int -> Bag (a, Int) -> Bag (b, Int)) -> DBoundT m a -> DBoundT m b

zipDepthDB :: DB m => (Int -> Bag (a, Int) -> Bag (b, Int)) -> m a -> m b

newtype DBMemo a

Constructors

DBM

Fields

• unDBM :: Stream (Bag (a, Int))

Instances

Memoable DBMemo DBound

Methods

tabulate :: DBound a -> DBMemo a

applyMemo :: DBMemo a -> DBound a

class Search n => Memoable m n where

Minimal complete definition

tabulate, applyMemo

Methods

tabulate :: n a -> m a

applyMemo :: m a -> n a

Instances

Memoable DBMemo DBound

Methods

tabulate :: DBound a -> DBMemo a

applyMemo :: DBMemo a -> DBound a

Memoable Matrix Recomp

Methods

tabulate :: Recomp a -> Matrix a

applyMemo :: Matrix a -> Recomp a

Memoable Best Best

Methods

tabulate :: Best a -> Best a

applyMemo :: Best a -> Best a

shrink :: (Num t, Ix t) => (t1 -> t1 -> t1) -> (t1 -> t1 -> Maybe Ordering) -> t -> [(t1, t)] -> [(t1, t)]

class Search m => DB m where

Minimal complete definition

mapDepthDB, zipDepthDB

Methods

mapDepthDB :: (Bag (a, Int) -> Bag (b, Int)) -> m a -> m b

zipDepthDB :: (Int -> Bag (a, Int) -> Bag (b, Int)) -> m a -> m b

Instances

DB DBound

Methods

mapDepthDB :: (Bag (a, Int) -> Bag (b, Int)) -> DBound a -> DBound b

zipDepthDB :: (Int -> Bag (a, Int) -> Bag (b, Int)) -> DBound a -> DBound b

(Functor m, Monad m) => DB (DBoundT m)

Methods

mapDepthDB :: (Bag (a, Int) -> Bag (b, Int)) -> DBoundT m a -> DBoundT m b

zipDepthDB :: (Int -> Bag (a, Int) -> Bag (b, Int)) -> DBoundT m a -> DBoundT m b

dbtToRcT :: Monad m => DBoundT m a -> RecompT m a