diff --git a/compiler/builtins/roc/Encode.roc b/compiler/builtins/roc/Encode.roc index a5765c4a2b..0f6ea9e80a 100644 --- a/compiler/builtins/roc/Encode.roc +++ b/compiler/builtins/roc/Encode.roc @@ -5,9 +5,19 @@ interface Encode Encoding, toEncoder, EncoderFormatting, - u8, u16, u32, u64, u128, - i8, i16, i32, i64, i128, - f32, f64, dec, + u8, + u16, + u32, + u64, + u128, + i8, + i16, + i32, + i64, + i128, + f32, + f64, + dec, bool, string, list, @@ -22,31 +32,31 @@ interface Encode Encoder fmt := List U8, fmt -> List U8 | fmt has EncoderFormatting Encoding has - toEncoder : val -> Encoder fmt | val has Encoding, fmt has EncoderFormatting + toEncoder : val -> Encoder fmt | val has Encoding, fmt has EncoderFormatting EncoderFormatting has - u8 : U8 -> Encoder fmt | fmt has EncoderFormatting - u16 : U16 -> Encoder fmt | fmt has EncoderFormatting - u32 : U32 -> Encoder fmt | fmt has EncoderFormatting - u64 : U64 -> Encoder fmt | fmt has EncoderFormatting - u128 : U128 -> Encoder fmt | fmt has EncoderFormatting - i8 : I8 -> Encoder fmt | fmt has EncoderFormatting - i16 : I16 -> Encoder fmt | fmt has EncoderFormatting - i32 : I32 -> Encoder fmt | fmt has EncoderFormatting - i64 : I64 -> Encoder fmt | fmt has EncoderFormatting - i128 : I128 -> Encoder fmt | fmt has EncoderFormatting - f32 : F32 -> Encoder fmt | fmt has EncoderFormatting - f64 : F64 -> Encoder fmt | fmt has EncoderFormatting - dec : Dec -> Encoder fmt | fmt has EncoderFormatting - bool : Bool -> Encoder fmt | fmt has EncoderFormatting - string : Str -> Encoder fmt | fmt has EncoderFormatting - list : List elem, (elem -> Encoder fmt) -> Encoder fmt | fmt has EncoderFormatting + u8 : U8 -> Encoder fmt | fmt has EncoderFormatting + u16 : U16 -> Encoder fmt | fmt has EncoderFormatting + u32 : U32 -> Encoder fmt | fmt has EncoderFormatting + u64 : U64 -> Encoder fmt | fmt has EncoderFormatting + u128 : U128 -> Encoder fmt | fmt has EncoderFormatting + i8 : I8 -> Encoder fmt | fmt has EncoderFormatting + i16 : I16 -> Encoder fmt | fmt has EncoderFormatting + i32 : I32 -> Encoder fmt | fmt has EncoderFormatting + i64 : I64 -> Encoder fmt | fmt has EncoderFormatting + i128 : I128 -> Encoder fmt | fmt has EncoderFormatting + f32 : F32 -> Encoder fmt | fmt has EncoderFormatting + f64 : F64 -> Encoder fmt | fmt has EncoderFormatting + dec : Dec -> Encoder fmt | fmt has EncoderFormatting + bool : Bool -> Encoder fmt | fmt has EncoderFormatting + string : Str -> Encoder fmt | fmt has EncoderFormatting + list : List elem, (elem -> Encoder fmt) -> Encoder fmt | fmt has EncoderFormatting custom : (List U8, fmt -> List U8) -> Encoder fmt | fmt has EncoderFormatting custom = \encoder -> @Encoder encoder appendWith : List U8, Encoder fmt, fmt -> List U8 | fmt has EncoderFormatting -appendWith = \lst, (@Encoder doEncoding), fmt -> doEncoding lst fmt +appendWith = \lst, @Encoder doEncoding, fmt -> doEncoding lst fmt append : List U8, val, fmt -> List U8 | val has Encoding, fmt has EncoderFormatting append = \lst, val, fmt -> appendWith lst (toEncoder val) fmt