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

MagicHaskeller.Classification

Documentation

class Search m => SStrategy m where

Methods sfilter :: Relation r => (k -> k -> r) -> m ([k], e) -> m ([k], e) ofilter :: Relation r => (k -> k -> r) -> m (k, e) -> m (k, e) Instances SStrategy DBound SStrategy Matrix

arbitraries :: Arbitrary a => [a]

arbs :: Arbitrary a => Int -> StdGen -> [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

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 Relation Ordering Relation (Maybe Ordering)

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

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

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

unsafeRandomTestFilter

:: (SStrategy m, Filtrable a) => Maybe Int microsecs until timeout -> m (e, a) -> m (e, a)

class Filtrable a where

Methods filt :: SStrategy m => m (a, e) -> m e filtFun :: (SStrategy m, Arbitrary b) => m (b -> a, e) -> m e unsafeFilt :: SStrategy m => Maybe Int -> m (a, e) -> m e unsafeFiltFun :: (SStrategy m, Arbitrary b) => Maybe Int -> m (b -> a, e) -> m e Instances Ord a => Filtrable a (RealFloat a, Ord a) => Filtrable (Complex a) (Arbitrary a, Filtrable r) => Filtrable (a -> r)

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

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) -> Matrix ([k], e) -> Matrix ([k], e)

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

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

Produced by Haddock version 2.7.2