相关疑难解决方法(0)

在向某人解释什么是类型类X时,我很难找到正好是X的数据结构的好例子.

所以,我请求示例:

• 一个不是Functor的类型构造函数.
• 一个类型构造函数,它是一个Functor,但不是Applicative.
• 一个类型构造函数,它是Applicative,但不是Monad.
• Monad的类型构造函数.

我认为Monad到处都有很多例子,但Monad的一个很好的例子与之前的例子有一些关系可以完成图片.

我寻找彼此相似的示例,区别仅在于属于特定类型类的重要方面.

如果有人能够设法在这个层次结构的某个地方隐藏一个Arrow的例子(它是在Applicative和Monad之间吗？),那也会很棒!

我有一个队列类,它允许实例定义它对元素的约束.例如,优先级队列要求其元素可订购:

{-# LANGUAGE MultiParamTypeClasses, ConstraintKinds, FunctionalDependencies #-}

class Queue q c | q -> c where
    empty :: q a
    qpop :: c a => q a -> Maybe (a, q a)
    qpush :: c a => a -> q a -> q a

data PriorityQueue a = ...

instance Queue PriorityQueue Ord where
    ...

这是一个魅力:在实例声明中,PriorityQueue我可以使用Ord诸如此类的成员对队列的元素进行操作(>).

我一直试图定义一个对其元素没有要求的队列:

newtype LIFO a = LIFO [a]

instance Queue LIFO () where
    empty = LIFO []
    qpop (LIFO …