Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- 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 (ConduitT i o m) a
Documentation
class EncodingState s where Source #
Collects encoding process feedback.
type EncodingToken s :: * Source #
encoded :: EncodingToken s -> s -> s Source #
Instances
EncodingState VoidEncodingState Source # | |
Defined in Data.Conduit.Parsers.PutS type EncodingToken VoidEncodingState :: * Source # | |
EncodingState ByteOffset Source # | |
Defined in Data.Conduit.Parsers.Binary.ByteOffset type EncodingToken ByteOffset :: * Source # encoded :: EncodingToken ByteOffset -> ByteOffset -> ByteOffset Source # | |
(EncodingState s, Monad m) => EncodingState (Encoding s m) Source # | |
Defined in Data.Conduit.Parsers.PutS type EncodingToken (Encoding s m) :: * Source # |
data VoidEncodingState Source #
Trivial encoding state.
Instances
EncodingState VoidEncodingState Source # | |
Defined in Data.Conduit.Parsers.PutS type EncodingToken VoidEncodingState :: * Source # | |
type EncodingToken VoidEncodingState Source # | |
Defined in Data.Conduit.Parsers.PutS |
PutS
monad state.
Instances
(EncodingState s, Monad m) => EncodingState (Encoding s m) Source # | |
Defined in Data.Conduit.Parsers.PutS type EncodingToken (Encoding s m) :: * Source # | |
EncodingBytesWrote s => EncodingBytesWrote (Encoding s m) Source # | |
Defined in Data.Conduit.Parsers.Binary encodingBytesWrote :: Encoding s m -> Word64 Source # | |
type EncodingToken (Encoding s m) Source # | |
Defined in Data.Conduit.Parsers.PutS |
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 ()
).
Instances
Monad (PutS s m) Source # | |
Functor (PutS s m) Source # | |
MonadFix (PutS s m) Source # | |
Defined in Data.Conduit.Parsers.PutS | |
Applicative (PutS s m) Source # | |
Monad m => Semigroup (PutS s m ()) Source # | |
(EncodingState s, EncodingToken s ~ (), Monad m) => IsString (PutM s i Text m ()) Source # | |
Defined in Data.Conduit.Parsers.PutS fromString :: String -> PutM s i Text m () # |