Data.Serialize.Describe.Combinators.Const

Documentation

data Const (n :: Nat) t

A type level wrapper around the equivalent of the pure . const descriptor.

Constructors

Const

Instances

KnownNat n => Show (Const n t)

Defined in Data.Serialize.Describe.Combinators.Const

Methods

showsPrec :: Int -> Const n t -> ShowS

show :: Const n t -> String

showList :: [Const n t] -> ShowS

(KnownNat n, Describe t, Integral t) => Describe (Const n t)

Defined in Data.Serialize.Describe.Combinators.Const

Methods

describe :: (s -> Const n t) -> Descriptor s (Const n t)

Nullable (Const n a)

Defined in Data.Serialize.Describe.Combinators.FList

Methods

nullVal :: Const n a