Question

我正在研究Haskell，并被要求解决此练习：

实施名为NovoPred的新数据类型，该数据类型应具有一个值具有相同名称的构造函数。还应该有一个名为类型可能为-> Bool的runNovoPred然后，创建一个Functor 类型NovoPred的相反实例

为了解决此问题，我提出了以下解决方案：

module Oitavo where

import           Data.Functor.Contravariant

newtype NovoPred a =
  NovoPred
    { runNovoPred :: Maybe a -> Bool
    }

instance Contravariant NovoPred where
    contramap y (NovoPred x) = NovoPred (x . y)

您可能会注意到，该解决方案根本不起作用。 Contramap需要具有以下结构：(a -> b) -> f b -> f a，问题在于x函数希望接收一个看起来像Maybe b的值，而实际上却接收到一个值{{1 }}，因为这就是b函数返回的内容。因此，无法进行y，因为x . y期望接收到的值与x实际返回的值不匹配。

因此，我认为我需要一种使y函数返回类型为y的值的方法。不幸的是，由于Maybe b希望收到像contramap这样的东西作为第一个参数，而不是像a -> b这样的东西，我对此一无所知（这就是我所需要的）。你能帮我吗？

Answer 1

如果您具有函数y :: a -> b，并且需要将Maybe a转换为Maybe b，则可以在fmap上Maybe：

contramap y (NovoPred x) = NovoPred (x . fmap y)

学习如何在预期的时间（a->也许b）而不是（a-> b）作为第一个参数（Haskell）时使用对照图

1 个答案: