Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- newtype WithConstantFields (obj :: k) (a :: Type) = WithConstantFields a
- newtype WithConstantFieldsOut (obj :: k) (a :: Type) = WithConstantFieldsOut a
- newtype WithConstantFieldsIn (obj :: k) (a :: Type) = WithConstantFieldsIn a
Documentation
newtype WithConstantFields (obj :: k) (a :: Type) Source #
Add arbitrary constant fields to the encoded object and require them when decoding.
Instances
newtype WithConstantFieldsOut (obj :: k) (a :: Type) Source #
Add arbitrary constant fields to the encoded object, but do not require them when decoding.
Instances
newtype WithConstantFieldsIn (obj :: k) (a :: Type) Source #
Require arbitrary constant fields when decoding the object, but do not add them when encoding.