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

Associated Types

type Context m (LPList t a) :: Constraint

Methods

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

type Context m (LPList t a)

Defined in Data.Serialize.Describe.Combinators.LPList

type Context m (LPList t a) = (Context m a, Context m t)