kazu-yamamoto/dns
1
1
Fork 0
mirror of https://github.com/kazu-yamamoto/dns.git synced 2024-10-05 18:17:09 +03:00
Code Issues Projects Releases Wiki Activity

updating doc

Browse Source
This commit is contained in:
Kazu Yamamoto 2022-09-08 14:16:22 +09:00
parent 95f80e2777
commit 3b406912b7
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
internal/Network/DNS/Types/RData.hs
View File

@ -28,11 +28,14 @@ class (Typeable a, Eq a, Show a) => ResourceData a where
---------------------------------------------------------------
-- | A type to uniform 'ResourceData' 'a'.
data RData = forall a . (Typeable a, Eq a, Show a, ResourceData a) => RData a
-- | Extracting the original type.
fromRData :: Typeable a => RData -> Maybe a
fromRData (RData x) = cast x
-- | Wrapping the original type with 'RData'.
toRData :: (Typeable a, ResourceData a) => a -> RData
toRData = RData
@ -42,6 +45,7 @@ instance Show RData where
instance Eq RData where
x@(RData xi) == y@(RData yi) = typeOf x == typeOf y && Just xi == cast yi
-- | Getting 'TYPE' of 'RData'.
rdataType :: RData -> TYPE
rdataType (RData x) = resourceDataType x