Home
last modified time | relevance | path

Searched refs:withConstHeader (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.hs210 withConstHeader :: Word8 -> P.FixedPrim a -> P.BoundedPrim a
211 withConstHeader h p = P.liftFixedToBounded ((,) h >$< (P.word8 >*< p)) function
234 condB (<= 0xff) (fromIntegral >$< withConstHeader 24 P.word8) $
238 (fromIntegral >$< withConstHeader 27 P.word64BE)
240 (fromIntegral >$< withConstHeader 26 P.word32BE)
247 condB (<= 0xff) (fromIntegral >$< withConstHeader 24 P.word8) $
250 (fromIntegral >$< withConstHeader 27 P.word64BE)
560 (withConstHeader 0xf8 P.word8)
581 (floatToWord16 >$< withConstHeader 0xf9 P.word16BE)
585 (withConstHeader 0xfa P.floatBE)
[all …]
/dports/lang/purescript/purescript-0.14.5/_cabal_deps/cborg-0.2.5.0/src/Codec/CBOR/
H A DWrite.hs210 withConstHeader :: Word8 -> P.FixedPrim a -> P.BoundedPrim a
211 withConstHeader h p = P.liftFixedToBounded ((,) h >$< (P.word8 >*< p)) function
234 condB (<= 0xff) (fromIntegral >$< withConstHeader 24 P.word8) $
238 (fromIntegral >$< withConstHeader 27 P.word64BE)
240 (fromIntegral >$< withConstHeader 26 P.word32BE)
247 condB (<= 0xff) (fromIntegral >$< withConstHeader 24 P.word8) $
250 (fromIntegral >$< withConstHeader 27 P.word64BE)
560 (withConstHeader 0xf8 P.word8)
581 (floatToWord16 >$< withConstHeader 0xf9 P.word16BE)
585 (withConstHeader 0xfa P.floatBE)
[all …]