Home
last modified time | relevance | path

Searched refs:word64MP (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.hs113 TkWord64 x vs' -> PI.runB word64MP x op >>= go vs'
153 PI.runB word64MP (fromIntegral integer) op >>= go vs'
170 -> PI.runB word64MP (fromIntegral x) op >>= go vs'
244 word64MP :: P.BoundedPrim Word64
245 word64MP = function
/dports/lang/purescript/purescript-0.14.5/_cabal_deps/cborg-0.2.5.0/src/Codec/CBOR/
H A DWrite.hs113 TkWord64 x vs' -> PI.runB word64MP x op >>= go vs'
153 PI.runB word64MP (fromIntegral integer) op >>= go vs'
170 -> PI.runB word64MP (fromIntegral x) op >>= go vs'
244 word64MP :: P.BoundedPrim Word64
245 word64MP = function