數據類型中的單調操作？

Question

我在使用的Haxl庫中遇到過使用:>>=的問題。我不確定這與>>=運營商有什麼不同？

例如：

data MyType a = MyType a :>>= (a -> Int) 

正是在此操作中MyType幹什麼？

這是它的上下文的使用Haxl：

newtype GenHaxl u a = GenHaxl { unHaxl :: Env u -> IORef (RequestStore u) -> IO (Result u a) } --|| u is the env, a is the result 

data Result u a 
    = Done a 
    | Throw SomeException 
    | Blocked (Cont u a) 

data Cont u a 
    = Cont (GenHaxl u a) 
    | forall b. Cont u b :>>= (b -> GenHaxl u a) 
    | forall b. (Cont u (b -> a)) :<*> (Cont u b) 
    | forall b. (b -> a) :<$> (Cont u b) 

Answer 1

它只是在操作的形式類型Cont u a的構造函數。它在問題中包含的代碼段中定義。

Cont u a 

要麼是

Cont (GenHaxl u a) 

或

forall b. (:>>=) (Cont u b) (b -> GenHaxl u a) 

或

forall b. (:<*>) (Cont u (b -> a)) (Cont u b) 

或

forall b. (:<$>) (b -> a) (Cont u b) 

最後三種情況是遞歸的，因爲它們提到了Cont u ...。此外，在代碼有toHaxl其通過解釋:>>=，:<*>，並:<$>與相關聯的>>=應用程序（或>=>）等