如何在Haskell中使用具有数据类型的高阶函数

Question

请考虑以下数据类型.

data Movement = Credit Float | Debit Float
    deriving Show

而现在这个功能.

retrieveBiggerThan :: [Movement] -> Float -> [Movement]
retrieveBiggerThan l k = (filter (\(Credit c) -> c>k) l) ++ (filter (\(Debit c) -> c>k) l)

如果我测试这个,我收到输出"lambda中的非详尽模式":

retrieveBiggerThan [Credit 5.5, Debit 2.3, Credit 3.3] 2

[Credito 5.5*** Exception: ficha7.hs:116:35-53: Non-exhaustive patterns in lambda

我相信这是因为过滤器只期望在其中定义的构造函数之一data Movement.有没有机会做这样的事情(一个过滤器能够在检查列表的同时考虑两个构造函数)？

filter (\((Credit c) || (Debit c)) -> c > k) listofmovements

Answer 1

您可以使用LambdaCase扩展名使lambda更简洁:

{-# LANGUAGE LambdaCase #-}

data Movement = Credit Float | Debit Float
    deriving Show

foo = map (\case { Credit f -> f; Debit d -> d}) [Credit 1, Debit 2] 

Answer 2

在这种特定情况下,您可以使用记录语法.

data Movement = Credit { value :: Float } | Debit { value :: Float }
retrieve l k = filter (\mvmt -> value mvmt > k) l