PureScript에서 코 루틴과 웹 소켓을 섞음

Question

이것은 WebSocket의 입출력을 코 루틴에 연결하려는 시도와 관련이 있습니다.

다음 함수는 메시지를 수신 할 때 emit Coroutine 값으로 설정합니다.이 함수는 Connection입니다.

module Main where 

import Prelude 
import Control.Coroutine (emit, Producer, Consumer, await) 
import Control.Monad.Eff (Eff) 
import Control.Monad.Eff.Console (CONSOLE, log) 
import Control.Monad.Eff.Var (($=)) 
import Control.Monad.Reader.Trans (lift) 
import Control.Monad.Rec.Class (forever) 
import WebSocket (WEBSOCKET, Connection(..), newWebSocket, URL(..), runMessage, runMessageEvent) 

wsProducer :: Connection → Producer String (Eff _) Unit 
wsProducer (Connection s) = s.onmessage $= emit <<< runMessage <<< runMessageEvent 

Producer

및 Consumer는 이후 상기 함수 것조차 유형 체킹, 비록 아직 기록되지 않은 것을합니다 (웹 소켓 연결도가 될 것이다) Main에 부착해야한다.

어떻게 형체 검사를 할 수 있습니까? typecheck하지 않는다는 사실은 위의 코드에서 근본적인 오해가 있음을 의미 할 수 있습니다. 그렇다면 작업 솔루션의 코드 샘플에 대한 설명이 도움이 될 것입니다.

관련 : this answer about Halogen and WebSockets은 매우 유사한 코드를 포함합니다.

Answer 1

해당 스 니펫에는 몇 가지 문제가 있습니다. 당신은 범위에 emit을 제공합니다, 당신은 프로듀서을 어떻게 무엇 produce의 사용을 놓치고

module Main where 

import Prelude 

import Control.Coroutine (Producer) 
import Control.Coroutine.Aff (produce) 
import Control.Monad.Aff (Aff) 
import Control.Monad.Aff.AVar (AVAR) 
import Control.Monad.Eff.Var (($=)) 

import Data.Either (Either(..)) 

import WebSocket (WEBSOCKET, Connection(..), runMessageEvent, runMessage) 

wsProducer :: forall eff. Connection → Producer String (Aff (avar :: AVAR, ws :: WEBSOCKET | eff)) Unit 
wsProducer (Connection s) = 
    produce \emit -> 
    s.onmessage $= emit <<< Left <<< runMessage <<< runMessageEvent 

1. : 첫째, 여기에 작동하는 버전입니다.
2. 제작자는 Eff이 아니라 Aff을 사용해야합니다.
3. emit은 - 값이 생성되어야 함을 나타내는 값인 Left을 허용하고 Right은 생산자를 닫아야 함을 나타냅니다.

at the docs for produce을 살펴보고 언급 한 오해가 명확 해집니다.