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