Data.Serialize.Describe.Combinators.LPList

Documentation

newtype LPList t a

A type level wrapper around a length-prefixed list combinator. The parameter t is the integral descriptor to encode the length in.

Constructors

LPList

Fields

• unwrapLPList :: [a]

Instances

Show a => Show (LPList t a)

Defined in Data.Serialize.Describe.Combinators.LPList

Methods

showsPrec :: Int -> LPList t a -> ShowS

show :: LPList t a -> String

showList :: [LPList t a] -> ShowS

(Describe t, Describe a, Integral t) => Describe (LPList t a)

Defined in Data.Serialize.Describe.Combinators.LPList

Methods

describe :: (s -> LPList t a) -> Descriptor s (LPList t a)