Home
last modified time | relevance | path

Searched refs:dumpBigNat (Results 1 – 2 of 2) sorted by relevance

/dports/devel/hs-spago/spago-0.20.3/_cabal_deps/cborg-0.2.5.0/src/Codec/CBOR/
H A DWrite.hs670 bounded = PI.boundedPrim (fromIntegral sizeW) (dumpBigNat sizeW)
672 bounded = PI.boudedPrim (fromIntegral sizeW) (dumpBigNat sizeW)
676 dumpBigNat :: Word -> BigNat -> Ptr a -> IO (Ptr a)
677 dumpBigNat (W# sizeW#) bigNat ptr@(Ptr addr#) = do function
/dports/lang/purescript/purescript-0.14.5/_cabal_deps/cborg-0.2.5.0/src/Codec/CBOR/
H A DWrite.hs670 bounded = PI.boundedPrim (fromIntegral sizeW) (dumpBigNat sizeW)
672 bounded = PI.boudedPrim (fromIntegral sizeW) (dumpBigNat sizeW)
676 dumpBigNat :: Word -> BigNat -> Ptr a -> IO (Ptr a)
677 dumpBigNat (W# sizeW#) bigNat ptr@(Ptr addr#) = do function