Haskell语言学习笔记（70）NonEmpty

最新推荐文章于 2021-01-28 11:52:26 发布

zwvista

最新推荐文章于 2021-01-28 11:52:26 发布

阅读量359

点赞数

分类专栏： Haskell

本文链接：https://blog.youkuaiyun.com/zwvista/article/details/81050677

版权

Haskell 专栏收录该内容

85 篇文章

订阅专栏

本文介绍了非空列表NonEmpty的定义与实现，包括构造器、常用操作如head、tail等，并展示了如何通过实例实现Functor、Applicative及Monad等类型类。此外还提供了NonEmpty与普通列表相互转换的方法。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

NonEmpty（非空列表）

infixr 5 :|

data NonEmpty a = a :| [a]
  deriving (Eq, Ord)

instance Functor NonEmpty where
  fmap f ~(a :| as) = f a :| fmap f as
  b <$ ~(_ :| as)   = b   :| (b <$ as)

instance Applicative NonEmpty where
  pure a = a :| []
  (<*>) = ap
  liftA2 = liftM2

instance Monad NonEmpty where
  ~(a :| as) >>= f = b :| (bs ++ bs')
    where b :| bs = f a
          bs' = as >>= toList . f
          toList ~(c :| cs) = c : cs

NonEmpty是一个非空的list类型，支持大多数 list 类型的操作。

Prelude> import Data.List.NonEmpty as NE
Prelude NE> a = 5 :| []
Prelude NE> :t a
a :: Num a => NonEmpty a
Prelude NE> NE.head a
5
Prelude NE> NE.tail a
[]
Prelude NE> b = 6 <| a
Prelude NE> b
6 :| [5]
Prelude NE> NE.map (+2) b
8 :| [7]
Prelude NE> 3 <$ b
3 :| [3]
Prelude NE> fromList [1,2,3]
1 :| [2,3]
Prelude NE> toList it
[1,2,3]