haskell - 在类型级别未定义

Question

通常，当我使用 Haskell 代码时，我会使用类型注释和 undefined 将事情 stub 。 .

foo :: String -> Int
foo = undefined

是否有我可以以类似方式使用的类型级“未定义”？

(理想情况下，结合一种注释)

type Foo :: * -> *
type Foo = Undefined

在同一个线程上进一步思考:我有没有办法为以这种方式创建的类型 stub 类型类实例？比以下理论方法更简单的方法？

instance Monad Foo where
  return = undefined
  (>>=) = undefined

Answer 1

您可以使用 EmptyDataDecls stub 一个类型，并使用 KindSignatures你可以给它一种:

{-# LANGUAGE EmptyDataDecls, KindSignatures #-}

data Foo :: * -> *

您也可以 stub Monad使用此选项向 GHC 发出警告的实例。

{-# OPTIONS_GHC -fno-warn-missing-methods #-}

instance Monad Foo

然后你不需要为 return 留下任何实现。和 >>= .