하스켈 기록 기능 제약

Question

창조되고 한 가지로 돌아 다니는가?

그것은 구성상의 이유로 유용 할 것 같습니다 예를 들어, 나는

내가 녹음 기능에 제약이 없기 때문에 그것은 작동하지 않습니다

(:+:) :: SinkBuilder -> SinkBuilder -> SinkBuilder 
a :+: b = SinkBuilder $ do 
    sa <- openSink a 
    sb <- openSink b 
    return $ Sink (\v -> writeSink sa >> writeSink sb) (closeSink sa >> closeSink sb) 

같은 것을 구현할 수 있지만, 그것은 또한 매우 매우 추한 외모 나는 그것을하는 훨씬 더 좋은 방법이 있어야한다고 확신한다.

Answer 1

이 내용은 컴파일되지만 실제로하고 싶은 작업에 대한 명확한 아이디어가 없습니다. 나는 이것이 당신이 원하는 것이 아니라는 것을 두려워합니다.

{-# LANGUAGE ScopedTypeVariables, RankNTypes #-} 

import Control.Monad.Trans 

type Value = Int 

data SinkBuilder = SB 
    { openSink :: forall m. MonadIO m => m Sink 
    } 

data Sink = Sink 
    { writeSink :: forall m. MonadIO m => Value -> m() 
    , closeSink :: forall m. MonadIO m => m() 
    } 

(#+#) :: SinkBuilder -> SinkBuilder -> SinkBuilder 
a #+# b = SB $ do 
    sa <- openSink a 
    sb <- openSink b 
    return $ Sink (\v -> writeSink sa v >> writeSink sb v) (closeSink sa >> closeSink sb)