MagicHaskeller.Classification

Documentation

class Search m => SStrategy m where

Minimal complete definition

sfilter, ofilter

Methods

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

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

Instances

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)

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)

arbitraries :: Arbitrary a => [a]

arbs :: Arbitrary a => Int -> TFGen -> [a]

(/~) :: [a] -> (a -> a -> Bool) -> [[a]]

nubSortBy :: (a -> a -> Ordering) -> [a] -> [a]

nubSortByBot :: (a -> a -> Maybe Ordering) -> [a] -> [a]

(/<) :: [a] -> (a -> a -> Ordering) -> [[a]]

(/<?) :: [a] -> (a -> a -> Maybe Ordering) -> [[a]]

class Eq rel => Relation rel where

Minimal complete definition

(/), appendWithBy, diffBy, cEQ

Methods

fromListBy :: (k -> k -> rel) -> [k] -> [k]

fromListByDB :: (k -> k -> rel) -> [(k, Int)] -> [(k, Int)]

(/) :: [k] -> (k -> k -> rel) -> [[k]]

appendWithBy :: (k -> k -> k) -> (k -> k -> rel) -> [k] -> [k] -> [k]

diffBy :: (k -> k -> rel) -> [k] -> [k] -> [k]

cEQ :: rel

Instances

Relation Bool

Methods

fromListBy :: (k -> k -> Bool) -> [k] -> [k]

fromListByDB :: (k -> k -> Bool) -> [(k, Int)] -> [(k, Int)]

(/) :: [k] -> (k -> k -> Bool) -> [[k]]

appendWithBy :: (k -> k -> k) -> (k -> k -> Bool) -> [k] -> [k] -> [k]

diffBy :: (k -> k -> Bool) -> [k] -> [k] -> [k]

cEQ :: Bool

Relation Ordering

Methods

fromListBy :: (k -> k -> Ordering) -> [k] -> [k]

fromListByDB :: (k -> k -> Ordering) -> [(k, Int)] -> [(k, Int)]

(/) :: [k] -> (k -> k -> Ordering) -> [[k]]

appendWithBy :: (k -> k -> k) -> (k -> k -> Ordering) -> [k] -> [k] -> [k]

diffBy :: (k -> k -> Ordering) -> [k] -> [k] -> [k]

cEQ :: Ordering

Relation (Maybe Ordering)

Methods

fromListBy :: (k -> k -> Maybe Ordering) -> [k] -> [k]

fromListByDB :: (k -> k -> Maybe Ordering) -> [(k, Int)] -> [(k, Int)]

(/) :: [k] -> (k -> k -> Maybe Ordering) -> [[k]]

appendWithBy :: (k -> k -> k) -> (k -> k -> Maybe Ordering) -> [k] -> [k] -> [k]

diffBy :: (k -> k -> Maybe Ordering) -> [k] -> [k] -> [k]

cEQ :: Maybe Ordering

appendQuotientsBy :: Relation rel => (k -> k -> rel) -> [[k]] -> [[k]] -> [[k]]

appendRepresentativesBy :: Relation rel => (k -> k -> rel) -> [k] -> [k] -> [k]

unionWithBy :: (a -> a -> a) -> (a -> a -> Bool) -> [a] -> [a] -> [a]

randomTestFilter :: (SStrategy m, Filtrable a) => (Int -> Int) -> m (e, a) -> m (e, a)

unsafeRandomTestFilter

Arguments

:: (SStrategy m, Filtrable a)

=> Maybe Int

microsecs until timeout

-> (Int -> Int)

-> m (e, a)

-> m (e, a)

mapFst :: (t2 -> t1) -> (t2, t) -> (t1, t)

class Filtrable a where

Minimal complete definition

filt, filtFun, unsafeFilt, unsafeFiltFun

Methods

filt :: SStrategy m => (Int -> Int) -> m (a, e) -> m e

filtFun :: (SStrategy m, Arbitrary b) => (Int -> Int) -> m (b -> a, e) -> m e

unsafeFilt :: SStrategy m => Maybe Int -> (Int -> Int) -> m (a, e) -> m e

unsafeFiltFun :: (SStrategy m, Arbitrary b) => Maybe Int -> (Int -> Int) -> m (b -> a, e) -> m e

Instances

Filtrable Double

Methods

filt :: SStrategy m => (Int -> Int) -> m (Double, e) -> m e

filtFun :: (SStrategy m, Arbitrary b) => (Int -> Int) -> m (b -> Double, e) -> m e

unsafeFilt :: SStrategy m => Maybe Int -> (Int -> Int) -> m (Double, e) -> m e

unsafeFiltFun :: (SStrategy m, Arbitrary b) => Maybe Int -> (Int -> Int) -> m (b -> Double, e) -> m e

Ord a => Filtrable a

Methods

filt :: SStrategy m => (Int -> Int) -> m (a, e) -> m e

filtFun :: (SStrategy m, Arbitrary b) => (Int -> Int) -> m (b -> a, e) -> m e

unsafeFilt :: SStrategy m => Maybe Int -> (Int -> Int) -> m (a, e) -> m e

unsafeFiltFun :: (SStrategy m, Arbitrary b) => Maybe Int -> (Int -> Int) -> m (b -> a, e) -> m e

(RealFloat a, Ord a) => Filtrable (Complex a)

Methods

filt :: SStrategy m => (Int -> Int) -> m (Complex a, e) -> m e

filtFun :: (SStrategy m, Arbitrary b) => (Int -> Int) -> m (b -> Complex a, e) -> m e

unsafeFilt :: SStrategy m => Maybe Int -> (Int -> Int) -> m (Complex a, e) -> m e

unsafeFiltFun :: (SStrategy m, Arbitrary b) => Maybe Int -> (Int -> Int) -> m (b -> Complex a, e) -> m e

(Arbitrary a, Filtrable r) => Filtrable (a -> r)

Methods

filt :: SStrategy m => (Int -> Int) -> m (a -> r, e) -> m e

filtFun :: (SStrategy m, Arbitrary b) => (Int -> Int) -> m (b -> a -> r, e) -> m e

unsafeFilt :: SStrategy m => Maybe Int -> (Int -> Int) -> m (a -> r, e) -> m e

unsafeFiltFun :: (SStrategy m, Arbitrary b) => Maybe Int -> (Int -> Int) -> m (b -> a -> r, e) -> m e

filtNullary :: (SStrategy m, Relation r) => (k -> k -> r) -> (Int -> Int) -> m (k, e) -> m e

filtUnary :: (Arbitrary a, Relation r, SStrategy f) => (k -> k -> r) -> (Int -> Int) -> f (a -> k, b) -> f b

compareCx :: (RealFloat a, Ord a) => Complex a -> Complex a -> Ordering

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

ofilterDB :: Relation rel => (k -> k -> rel) -> DBound (k, e) -> DBound (k, e)

cumulativeRepresentatives :: Relation rel => [a -> a -> rel] -> Matrix a -> Matrix a

representatives :: Relation rel => [a -> a -> rel] -> Matrix a -> Matrix a

unscanlByList :: Relation r => [k -> k -> r] -> Matrix k -> Matrix k

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

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

liftRel :: (Eq t, Relation t1, Num t) => (t3 -> t2 -> t1) -> t -> [t3] -> [t2] -> t1

sfilterDB :: Relation rel => (k -> k -> rel) -> (Int -> Int) -> DBound ([k], e) -> DBound ([k], e)

cumulativeQuotients :: Relation rel => [k -> k -> rel] -> Matrix k -> Matrix [k]

ns :: [Integer]