Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
data Const (n :: Nat) t Source #
A type level wrapper around the equivalent of the pure . const
descriptor forall KnownNat
.
Instances
KnownNat n => Show (Const n t) Source # | |
(KnownNat n, Describe t, Integral t) => Describe (Const n t) Source # | |
Defined in Data.Serialize.Describe.Combinators.Const type Context m (Const n t) :: Constraint Source # | |
Nullable (Const n a) Source # | |
Defined in Data.Serialize.Describe.Combinators.FList | |
type Context m (Const n t) Source # | |
Defined in Data.Serialize.Describe.Combinators.Const |