Home
last modified time | relevance | path

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

/dports/devel/hs-spago/spago-0.20.3/_cabal_deps/cborg-0.2.5.0/src/Codec/CBOR/
H A DWrite.hs151 TkInteger integer@(PosBigInt bigNat) vs'
159 TkInteger integer@(NegBigInt bigNat) vs'
613 bigNatSizeInBytes bigNat =
614 Gmp.bigNatSizeInBase 256 (GHC.Num.BigNat.unBigNat bigNat)
643 bigNatSizeInBytes bigNat = W# (Gmp.sizeInBaseBigNat bigNat 256#) function
658 exportBigNatToAddr bigNat addr# =
660 Gmp.exportBigNatToAddr bigNat addr# 1#
667 bigNatBuilder bigNat =
668 let sizeW = bigNatSizeInBytes bigNat
677 dumpBigNat (W# sizeW#) bigNat ptr@(Ptr addr#) = do
[all …]
/dports/lang/purescript/purescript-0.14.5/_cabal_deps/cborg-0.2.5.0/src/Codec/CBOR/
H A DWrite.hs151 TkInteger integer@(PosBigInt bigNat) vs'
159 TkInteger integer@(NegBigInt bigNat) vs'
613 bigNatSizeInBytes bigNat =
614 Gmp.bigNatSizeInBase 256 (GHC.Num.BigNat.unBigNat bigNat)
643 bigNatSizeInBytes bigNat = W# (Gmp.sizeInBaseBigNat bigNat 256#) function
658 exportBigNatToAddr bigNat addr# =
660 Gmp.exportBigNatToAddr bigNat addr# 1#
667 bigNatBuilder bigNat =
668 let sizeW = bigNatSizeInBytes bigNat
677 dumpBigNat (W# sizeW#) bigNat ptr@(Ptr addr#) = do
[all …]
/dports/editors/neovim/neovim-0.6.1/runtime/syntax/
H A Dzimbu.vim26 syn keyword zimbuBasicType nat nat8 byte nat16 nat32 nat64 bigNat
/dports/editors/vim/vim-8.2.3745/runtime/syntax/
H A Dzimbu.vim26 syn keyword zimbuBasicType nat nat8 byte nat16 nat32 nat64 bigNat