Searched refs:exportBigNatToAddr (Results 1 – 3 of 3) sorted by relevance
151 , exportBigNatToAddr225 exportIntegerToAddr (Jp# bn) = exportBigNatToAddr bn226 exportIntegerToAddr (Jn# bn) = exportBigNatToAddr bn229 exportBigNatToAddr :: BigNat -> Addr# -> Int# -> IO Word230 exportBigNatToAddr bn@(BN# ba#) addr e function
604 exportBigNatToAddr :: BigNat -> Addr# -> IO Word632 exportBigNatToAddr (GHC.Num.BigNat.BN# b) addr = IO $ \s -> function658 exportBigNatToAddr bigNat addr# = function660 Gmp.exportBigNatToAddr bigNat addr# 1#678 (W# written#) <- exportBigNatToAddr bigNat addr#