Home
last modified time | relevance | path

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

/dports/lang/ghc/ghc-8.10.7/libraries/integer-gmp/src/GHC/Integer/
H A DType.hs226 = Jp# (word64ToBigNat (int64ToWord64# i))
228 = Jn# (word64ToBigNat (int64ToWord64# (negateInt64# i)))
236 = Jp# (word64ToBigNat w)
253 word64ToBigNat :: Word64# -> BigNat
254 word64ToBigNat w64 = wordToBigNat2 wh# wl# function