Data.Serialize.Describe.Combinators.FList

Documentation

flist :: (MonadTrans m, forall x. Monad x => Monad (m x), Describe a, Nullable a, Context m a) => Int -> (s -> [a]) -> DescriptorM m s [a]

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.

newtype FList (n :: Nat) a

A type level wrapper around flist.

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

Associated Types

type Context m (FList n a) :: Constraint

Methods

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

type Context m (FList n a)

Defined in Data.Serialize.Describe.Combinators.FList

type Context m (FList n a) = Context m a

class Nullable a where

Methods

nullVal :: a

Instances

Num n => Nullable n

Defined in Data.Serialize.Describe.Combinators.FList

Methods

nullVal :: n

Num n => Nullable (LE n)

Defined in Data.Serialize.Describe.Combinators.FList

Methods

nullVal :: LE n

Num n => Nullable (BE n)

Defined in Data.Serialize.Describe.Combinators.FList

Methods

nullVal :: BE n

Nullable (Const n a)

Defined in Data.Serialize.Describe.Combinators.FList

Methods

nullVal :: Const n a