Data.Serialize.Describe.Combinators.FList

Documentation

newtype FList (n :: Nat) a

A type level wrapper around a fixed-length list combinator, with similar semantics to FText. The list element must be Nullable, meaning that it must have default value that can be used for padding the list if need be.

Constructors

FList

Fields

• unwrapFList :: [a]

Instances

Show a => Show (FList n a)

Defined in Data.Serialize.Describe.Combinators.FList

Methods

showsPrec :: Int -> FList n a -> ShowS

show :: FList n a -> String

showList :: [FList n a] -> ShowS

(KnownNat n, Nullable a, Describe a) => Describe (FList n a)

Defined in Data.Serialize.Describe.Combinators.FList

Methods

describe :: (s -> FList n a) -> Descriptor s (FList n a)

class Nullable a where

Methods

nullVal :: a

Instances

Nullable Word16

Defined in Data.Serialize.Describe.Combinators.FList

Methods

nullVal :: Word16

Nullable (Const n a)

Defined in Data.Serialize.Describe.Combinators.FList

Methods

nullVal :: Const n a