Data.Serialize.Describe.Combinators.Remaining

Documentation

newtype Remaining

A Remaining represents the rest of the buffer. Upon serialization, the entire wrapped ByteString will be written.

Constructors

Remaining

Fields

• unwrapRemaining :: ByteString

Instances

Generic Remaining

Defined in Data.Serialize.Describe.Combinators.Remaining

Associated Types

type Rep Remaining :: Type -> Type

Methods

from :: Remaining -> Rep Remaining x

to :: Rep Remaining x -> Remaining

Wrapped Remaining

Defined in Data.Serialize.Describe.Combinators.Remaining

Associated Types

type Unwrapped Remaining :: Type

Methods

_Wrapped' :: Iso' Remaining (Unwrapped Remaining)

Describe Remaining

Defined in Data.Serialize.Describe.Combinators.Remaining

Associated Types

type Context m Remaining :: Constraint

Methods

describe :: (MonadTrans m, forall (x :: Type -> Type). Monad x => Monad (m x), Context m Remaining) => DescriptorM m Remaining Remaining

type Rep Remaining

Defined in Data.Serialize.Describe.Combinators.Remaining

type Rep Remaining = D1 (MetaData "Remaining" "Data.Serialize.Describe.Combinators.Remaining" "describe-0.4.0.5-inplace" True) (C1 (MetaCons "Remaining" PrefixI True) (S1 (MetaSel (Just "unwrapRemaining") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ByteString)))

type Unwrapped Remaining

Defined in Data.Serialize.Describe.Combinators.Remaining

type Unwrapped Remaining = GUnwrapped (Rep Remaining)

type Context m Remaining

Defined in Data.Serialize.Describe.Combinators.Remaining

type Context m Remaining = ()