a - > b Bool在Haskell中的含义是什么？

Question

我知道那种类型:

a -> Bool

是一个函数,它接受类型a的输入并输出一个布尔值.

什么类型:

a -> b Bool

意思？

Answer 1

In b Bool,b表示参数化类型,它采用一个类型参数(在Haskell用语中,b是类型的类型构造函数* -> *),例如Maybe,IO或[].

所以类型的功能,a -> b Bool例如可以采取Int与生产Maybe Bool,IO Bool,[Bool]等.