Warning: file_get_contents(/data/phpspider/zhask/data//catemap/6/haskell/9.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181
Haskell 有线类型类定义_Haskell - Fatal编程技术网
Fatal编程技术网
  • haskell/
  • Haskell 有线类型类定义

Haskell 有线类型类定义

haskell

Haskell 有线类型类定义,haskell,Haskell,有人能解释一下下面的类型类定义吗 class (Monad m, Monad n) => MonadCompose m n s t | m -> s, n -> t, n s -> m where |、、和->是什么意思？这些都是 在|后面用分隔的每个子句表示一种类型可以由另一种类型确定 例如，m->s表示可以通过m确定它们的类型

有人能解释一下下面的类型类定义吗

class (Monad m, Monad n) => MonadCompose m n s t | m -> s, n -> t, n s -> m where  

|
、
、
和
->
是什么意思？

这些都是

在
|
后面用
分隔的每个子句表示一种类型可以由另一种类型确定

例如，
m->s
表示可以通过
m
确定它们的类型