Haskell, цепные фильтры

Question

написать "Карта F (карта г Xs)" в качестве одного вызова к карте вы могли бы написать

пример хз = карта (фг) хз

, но как бы вы пишете «фильтр p (фильтр q xs)» как единый вызов для фильтрации? оператор-точка, похоже, не работает для фильтра, как для карт. угадывая, что вы используете что-то другое для предикатов?

Answer 1

Если вы определили функцию both, которая выглядела так:

both :: (a -> Bool) -> (a -> Bool) -> a -> Bool 
both f g x = f x && g x 

Тогда вы могли бы написать:

example xs = filter (both p q) xs 

Я не уверен, если есть стандартная функция, которая делает это для вас. ..

Answer 2

Я бы определил вспомогательную функцию - это, вероятно, может быть написано более декларативно, но у меня нет GHCI, установленного в этой системе для тестирования:

allPredicates :: [a -> Bool] -> a -> Bool 
allPredicates []  _ = True 
allPredicates (p:ps) x = p x && allPredicates ps x 

затем

filter (allPredicates [p, q]) xs 

Answer 3

Почему не список понимания?

example = [x | x <- xs, p x, q x] 
-- for example 
example = [x | x <- [1..10], (>3) x, x<5 ] -- [4] 

Answer 4

Вызов списка функций на что-то, по существу, что ap функция Control.Monad делает. Затем вы получите только and результатов. Единственное небольшое уродство в том, что ap требует, чтобы оба его аргумента были в одной монаде (список в этом случае), поэтому нам нужно скомпоновать его с return.

import Control.Monad 
filterByMany funcs = filter (and . ap funcs . return) 

Answer 5

Я бы определил выражение лямбда.

module Main where 

overTen :: Int -> Bool 
overTen = (>10) 

main :: IO() 
main = do 
    print $ filter (\x -> overTen x && even x) [1..20] 

выход:

$ ghci Test.hs 
GHCi, version 6.10.4: http://www.haskell.org/ghc/ :? for help 
Loading package ghc-prim ... linking ... done. 
Loading package integer ... linking ... done. 
Loading package base ... linking ... done. 
[1 of 1] Compiling Main    (Test.hs, interpreted) 
Ok, modules loaded: Main. 
*Main> main 
[12,14,16,18,20] 
*Main> 

Answer 6

 
$ ghci 
Prelude> :m +Control.Arrow 
Prelude Control.Arrow> :t uncurry (&&) . ((0 <) &&& (< 10)) 
uncurry (&&) . ((0 <) &&& (< 10)) :: (Num a, Ord a) => a -> Bool 
Prelude Control.Arrow> filter (uncurry (&&) . ((0 <) &&& (< 10))) [0..15] 
[1,2,3,4,5,6,7,8,9] 

Или объявить собственные операторы, если вы будете делать это часто.

infixr 3 &&: 
p &&: q = \a -> p a && q a 
infixr 2 ||: 
p ||: q = \a -> p a || q a 
not' = (.) not 
all' = foldr (&&:) $ const True 
any' = foldr (||:) $ const False 

example xs = filter (p &&: q ||: not' r) xs 

Answer 7

import Data.Foldable 
import Data.Monoid 

p = (>4) 
g = (<10) 

main = print $ filter (getAll . foldMap (All.) [p,g]) [1..10] 

выходов

[5,6,7,8,9] 

только потому, что списки складные, и вы можете комбинировать предикатные результаты с All моноидом

Answer 8

А что-то вроде:

example xs = filter (forAll [p,q,r,s,t,u,v]) xs 

forAll:: [(a -> Bool)] -> a -> Bool 
forAll funcs x = all (map ($ x) funcs)