package datakit-server
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val session : 'a -> 'a sessionsession init creates a fresh session, whose initial value is init.
val publish : 'a session -> 'a -> unitpublish s v publishes v in the session s.
create pp session is a fresh file stream. Readers of the stream will first get an initial line, printed with pp, corresponding to the current session's value. Everytime the session's state is changing, a new line -- formatted with pp -- is broadcasted to all the current readers of the stream.