Data.Generics.Serialization.Streams

This module provides a limited form of stream used by the serializers, and utility functions for using serializers on lists.

Documentation

class Monad m => MonadWStream m e | m -> e where

The class of streams that support write operations. e is the type of elements written.

Methods

putv :: [e] -> m ()

Instances

MonadWStream (ListBuild e) e

data ListBuild e a

An implementation of MonadWStream using difference lists.

Instances

Monad (ListBuild e)

MonadWStream (ListBuild e) e

buildList :: ListBuild e () -> [e]

Run an action in a MonadWStream to produce a list, using ListBuild.

class Monad m => MonadRStream m e | m -> e where

The class of readable streams.

Methods

getv :: m e

Read one element. Invokes fail if there are no more to read.

peekv :: m (Maybe e)

Examine the next element without removing it.

Instances

MonadRStream (ListRead e) e

data ListRead e a

An implementation of MonadRStream using lists.

Instances

Monad (ListRead e)

MonadRStream (ListRead e) e

withList :: ListRead e a -> [e] -> Maybe a

Run an action in a MonadRStream to consume a list, using ListRead.