Data.Serialize.Describe.Combinators.Const

Documentation

data Const (n :: Nat) t

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

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

Associated Types

type Context m (Const n t) :: Constraint

Methods

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

Nullable (Const n a)

Defined in Data.Serialize.Describe.Combinators.FList

Methods

nullVal :: Const n a

type Context m (Const n t)

Defined in Data.Serialize.Describe.Combinators.Const

type Context m (Const n t) = Context m t