代码之家 › 专栏 › 技术社区 › Joseph Sible-Reinstate Monica

等价于函子或更高类型的可折叠

higher-kinded-types haskell

Joseph Sible-Reinstate Monica · 技术社区 · 4 年前

Functor 和 Foldable 类型类:

{-# LANGUAGE DeriveFunctor, DeriveFoldable #-}

data Foo a = Foo (Maybe a) [a] deriving(Show, Functor, Foldable)

fmap (+1) (Foo (Just 1) [2,3,4]) -- result: Foo (Just 2) [3,4,5]
sum (Foo (Just 1) [2,3,4]) -- result: 10

data Bar a = Bar (a Int) (a Bool)

somethingLikeFmap :: forall t f g. SomethingLikeFunctor t => (forall a. f a -> g a) -> t f -> t g

somethingLikeAll :: forall t f. SomethingLikeFoldable t => (forall a. f a -> Bool) -> t f -> Bool

somethingLikeFmap listToMaybe (Bar [1,2,3] [False, True]) -- desired result: Bar (Just 1) (Just False)
somethingLikeAll null (Bar [1,2,3] [False, True]) -- desired result: False
somethingLikeAll null (Bar [] []) -- desired result: True

1 回复 | 直到 4 年前

Joseph Sible-Reinstate Monica 4 年前

我怀疑你在找 rank2classes . 例如:

{-# LANGUAGE FlexibleInstances, StandaloneDeriving, TemplateHaskell #-}

import Data.Maybe
import Data.Monoid
import qualified Rank2
import qualified Rank2.TH

data Bar a = Bar (a Int) (a Bool)
deriving instance Show (Bar Maybe)
Rank2.TH.deriveFunctor ''Bar
Rank2.TH.deriveFoldable ''Bar

main = do
    print $ Rank2.fmap listToMaybe (Bar [1,2,3] [False, True])
    print $ getAll (Rank2.foldMap (All . null) (Bar [1,2,3] [False, True]))
    print $ getAll (Rank2.foldMap (All . null) (Bar [] []))

编辑: mmorph ,尽管我怀疑 等级2

推荐文章

Azathoth · 当使用过滤器不删除任何案例时,涉及空列表的案例不会编译

3 年前

Ethan Smallwood · Haskell从列表中的记录获取数据

3 年前

trpnd · 如何定义由两个任意单声道变压器组成的单声道变压器?

3 年前

Delfin · Haskell从do符号到Applicative符号的传递(第2部分)

3 年前

Fabus1184 · Haskell mapM_不打印

3 年前

Gotthold · 基于范数约束向量的类型

3 年前

dmcdo · 有没有一种干净的方法可以在一个表达式中得到列表的开头和结尾?

3 年前

jian · haskell将另一个函数用作输入参数

3 年前

Jocafrei · 用Haskell函数实现最大公约数函数

7 年前

pcoppi · 尝试在Haskell和根据-Wall编写函数时,我需要一个匹配(\u:\ u:\ u)的模式。这个模式意味着什么,为什么我需要它?

7 年前