search

stew / codebase

0 stars 2 forks source link

binary: Some codecs built on top of the basic functionality #12

Open dolio opened 2 years ago

dolio commented 2 years ago

The changes summarized below are available for you to review, using the following command:

pull-request.load https://github.com/stew/codebase:.binary.trunk https://github.com/dolio/unison-codebase:.binary

Added definitions:

 unique type DecodeError (+2 metadata)
 DecodeBin.decodeChar         : '{DecodeBin} Char (+2 metadata)
 DecodeBin.decodeFloatbe      : '{DecodeBin} Float (+2 metadata)
 DecodeBin.decodeInt64be      : '{DecodeBin} Int (+2 metadata)
 DecodeBin.decodeMap          : '{e1} k
                              -> '{e2} v
                              ->{e1, e2, DecodeBin} Map k v (+2 metadata)
 DecodeBin.decodeNat16be      : '{DecodeBin} Nat (+2 metadata)
 DecodeBin.decodeNat32be      : '{DecodeBin} Nat (+2 metadata)
 DecodeBin.decodeNat64be      : '{DecodeBin} Nat (+2 metadata)
 DecodeBin.decodeOptional     : '{e} a
                              ->{e, Exception, DecodeBin} Optional a (+2 metadata)
 DecodeBin.decodeUtf8         : '{Exception, DecodeBin} Text (+2 metadata)
 DecodeBin.decodeVarNat       : '{DecodeBin} Nat (+2 metadata)
 DecodeBin.decodes            : '{e} a ->{e, DecodeBin} [a] (+2 metadata)
 DecodeError.doc              : Doc (+2 metadata)
 DecodeBin.decodeChar.doc     : Doc (+2 metadata)
 DecodeBin.decodeFloatbe.doc  : Doc (+2 metadata)
 DecodeBin.decodeInt64be.doc  : Doc (+2 metadata)
 DecodeBin.decodeMap.doc      : Doc (+2 metadata)
 DecodeBin.decodeNat16be.doc  : Doc (+2 metadata)
 DecodeBin.decodeNat32be.doc  : Doc (+2 metadata)
 DecodeBin.decodeNat64be.doc  : Doc (+2 metadata)
 DecodeBin.decodeOptional.doc : Doc (+2 metadata)
 DecodeBin.decodeUtf8.doc     : Doc (+2 metadata)
 DecodeBin.decodeVarNat.doc   : Doc (+2 metadata)
 DecodeBin.decodes.doc        : Doc (+2 metadata)
 EncodeBin.encodeChar.doc     : Doc (+2 metadata)
 EncodeBin.encodeFloatbe.doc  : Doc (+2 metadata)
 EncodeBin.encodeInt64be.doc  : Doc (+2 metadata)
 EncodeBin.encodeMap.doc      : Doc (+2 metadata)
 EncodeBin.encodeNat16be.doc  : Doc (+2 metadata)
 EncodeBin.encodeNat32be.doc  : Doc (+2 metadata)
 EncodeBin.encodeNat64be.doc  : Doc (+2 metadata)
 EncodeBin.encodeOptional.doc : Doc (+2 metadata)
 EncodeBin.encodeUtf8.doc     : Doc (+2 metadata)
 EncodeBin.encodeVarNat.doc   : Doc (+2 metadata)
 EncodeBin.encodes.doc        : Doc (+2 metadata)
 EncodeBin.encodeChar         : Char ->{EncodeBin} () (+2 metadata)
 EncodeBin.encodeFloatbe      : Float ->{EncodeBin} () (+2 metadata)
 EncodeBin.encodeInt64be      : Int ->{EncodeBin} () (+2 metadata)
 EncodeBin.encodeMap          : (k ->{EncodeBin} ())
                              -> (v ->{EncodeBin} ())
                              -> Map k v
                              ->{EncodeBin} () (+2 metadata)
 EncodeBin.encodeNat16be      : Nat ->{EncodeBin} () (+2 metadata)
 EncodeBin.encodeNat32be      : Nat ->{EncodeBin} () (+2 metadata)
 EncodeBin.encodeNat64be      : Nat ->{EncodeBin} () (+2 metadata)
 EncodeBin.encodeOptional     : (a ->{e} ())
                              -> Optional a
                              ->{e, EncodeBin} () (+2 metadata)
 EncodeBin.encodeUtf8         : Text ->{EncodeBin} () (+2 metadata)
 EncodeBin.encodeVarNat       : Nat ->{EncodeBin} () (+2 metadata)
 EncodeBin.encodes            : (a ->{e} ())
                              -> [a]
                              ->{e, EncodeBin} () (+2 metadata)