chrobot_extra/network_listener

Network response event listener for chrobot_extra. Provides a high-level API to subscribe to and collect network responses.

Types

NetworkListener

opaque </>

활성 리스너 핸들

pub opaque type NetworkListener

ResponseReceivedEvent

</>

Network.responseReceived 이벤트를 디코딩한 결과

pub type ResponseReceivedEvent {
  ResponseReceivedEvent(
    request_id: network.RequestId,
    response: network.Response,
  )
}

Constructors

ResponseReceivedEvent(
  request_id: network.RequestId,
  response: network.Response,
)

ResponseWithBody

</>

응답 이벤트 + 본문

pub type ResponseWithBody {
  ResponseWithBody(event: ResponseReceivedEvent, body: String)
}

Constructors

ResponseWithBody(event: ResponseReceivedEvent, body: String)

Values

collect_responses

</>

pub fn collect_responses(
  listener: NetworkListener,
  filter filter: fn(ResponseReceivedEvent) -> Bool,
) -> Result(List(ResponseWithBody), chrome.RequestError)

drain_events + URL 필터 + get_response_body로 본문까지 수집

defer_stop

</>

pub fn defer_stop(
  listener: NetworkListener,
  body: fn() -> a,
) -> a

use 표현식용 defer 패턴

drain_events

</>

pub fn drain_events(
  listener: NetworkListener,
) -> List(ResponseReceivedEvent)

listener_subject에서 현재까지 도착한 이벤트를 모두 꺼내서 디코딩

start

</>

pub fn start(
  page: chrobot_extra.Page,
) -> Result(NetworkListener, chrome.RequestError)

Network 도메인 활성화 + responseReceived 이벤트 리스너 등록

stop

</>

pub fn stop(listener: NetworkListener) -> Nil

리스너 해제