Safe Haskell | None |
---|---|
Language | Haskell2010 |
- class EncodingState s where
- type EncodingToken s :: *
- data VoidEncodingState = VoidEncodingState
- data Encoding s m
- encodingWrote :: Encoding s m -> s
- runEncoding :: Encoding s m -> m ()
- startEncoding :: Applicative m => s -> Encoding s m
- data PutS s m a
- runPutS :: PutS s m a -> Encoding s m -> (a, Encoding s m)
- putS :: (Encoding s m -> (a, Encoding s m)) -> PutS s m a
- type PutM s i o m a = PutS s (ConduitM i o m) a
Documentation
class EncodingState s where Source #
Collects encoding process feedback.
type EncodingToken s :: * Source #
encoded :: EncodingToken s -> s -> s Source #
EncodingState VoidEncodingState Source # | |
EncodingState ByteOffset Source # | |
(EncodingState s, Monad m) => EncodingState (Encoding s m) Source # | |
data VoidEncodingState Source #
Trivial encoding state.
PutS
monad state.
(EncodingState s, Monad m) => EncodingState (Encoding s m) Source # | |
EncodingBytesWrote s => EncodingBytesWrote (Encoding s m) Source # | |
type EncodingToken (Encoding s m) Source # | |
encodingWrote :: Encoding s m -> s Source #
Get the total number of bytes wrote to this point.
runEncoding :: Encoding s m -> m () Source #
Get the Producer
.
startEncoding :: Applicative m => s -> Encoding s m Source #
Construct PutS
initial state.
Wrappers for PutM
with inner monad m
and result a
(usually ()
).