Home
last modified time | relevance | path

Searched refs:bigNatToBuilder (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.hs617 bigNatMP n = P.primBounded header 0xc2 <> bigNatToBuilder (GHC.Num.BigNat.BN# n)
625 <> bigNatToBuilder (subtractOneBigNat (GHC.Num.BigNat.BN# n))
646 bigNatMP n = P.primBounded header 0xc2 <> bigNatToBuilder n
654 <> bigNatToBuilder (subtractOneBigNat n)
663 bigNatToBuilder :: BigNat -> B.Builder
664 bigNatToBuilder = bigNatBuilder function
/dports/lang/purescript/purescript-0.14.5/_cabal_deps/cborg-0.2.5.0/src/Codec/CBOR/
H A DWrite.hs617 bigNatMP n = P.primBounded header 0xc2 <> bigNatToBuilder (GHC.Num.BigNat.BN# n)
625 <> bigNatToBuilder (subtractOneBigNat (GHC.Num.BigNat.BN# n))
646 bigNatMP n = P.primBounded header 0xc2 <> bigNatToBuilder n
654 <> bigNatToBuilder (subtractOneBigNat n)
663 bigNatToBuilder :: BigNat -> B.Builder
664 bigNatToBuilder = bigNatBuilder function