Safe Haskell | None |
---|---|
Language | Haskell2010 |
Marshalling values into and out of Opaque
byte strings.
Not really part of XDR, but convenient way to avoid many conversion functions.
- class Opaqued a where
- unopacify' :: Opaqued a => ByteString -> a
- toOpaque :: (Opaqued a, KnownOrdering o, KnownNat n) => a -> Maybe (LengthArray o n ByteString)
- toOpaque' :: (Opaqued a, KnownOrdering o, KnownNat n) => a -> LengthArray o n ByteString
- fromOpaque :: (Opaqued a, Monad m) => LengthArray o n ByteString -> m a
- fromOpaque' :: Opaqued a => LengthArray o n ByteString -> a
Documentation
class Opaqued a where Source #
Values that can be stored in an Opaque
ByteString
.
The default implementation allows (re-)embedding of XDR-encoded data, such as with Opaque_auth
.
opacify :: a -> ByteString Source #
opacify :: XDR a => a -> ByteString Source #
unopacify :: Monad m => ByteString -> m a Source #
unopacify' :: Opaqued a => ByteString -> a Source #
toOpaque :: (Opaqued a, KnownOrdering o, KnownNat n) => a -> Maybe (LengthArray o n ByteString) Source #
toOpaque' :: (Opaqued a, KnownOrdering o, KnownNat n) => a -> LengthArray o n ByteString Source #
fromOpaque :: (Opaqued a, Monad m) => LengthArray o n ByteString -> m a Source #
fromOpaque' :: Opaqued a => LengthArray o n ByteString -> a Source #