From fb46beb8bd784ba92949bf2c535dc13c2f003ef0 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Sat, 25 Jun 2022 20:24:43 -0400 Subject: De-sigil-ification: suffix : [Part 15] --- stdlib/source/format/lux/data/binary.lux | 8 ++++---- stdlib/source/format/lux/data/text.lux | 4 ++-- 2 files changed, 6 insertions(+), 6 deletions(-) (limited to 'stdlib/source/format') diff --git a/stdlib/source/format/lux/data/binary.lux b/stdlib/source/format/lux/data/binary.lux index 4a858a5f0..23b1e9c39 100644 --- a/stdlib/source/format/lux/data/binary.lux +++ b/stdlib/source/format/lux/data/binary.lux @@ -1,6 +1,6 @@ (.require [library - [lux (.except and or nat int rev list type symbol) + [lux (.except and or nat int rev list symbol type) [ffi (.only)] [abstract [monoid (.only Monoid)] @@ -46,10 +46,10 @@ (-> Size (I64 Any)) (|>> (n#* i64.bits_per_byte) i64.mask)) -(type: .public Mutation +(.type .public Mutation (-> [Offset Binary] [Offset Binary])) -(type: .public Specification +(.type .public Specification [Size Mutation]) (def .public no_op @@ -70,7 +70,7 @@ [(n#+ sizeL sizeR) (|>> mutL mutR)]))) -(type: .public (Writer a) +(.type .public (Writer a) (-> a Specification)) (def .public (result writer value) diff --git a/stdlib/source/format/lux/data/text.lux b/stdlib/source/format/lux/data/text.lux index 91e38ed27..7c80696fd 100644 --- a/stdlib/source/format/lux/data/text.lux +++ b/stdlib/source/format/lux/data/text.lux @@ -1,6 +1,6 @@ (.require [library - [lux (.except list nat int rev type symbol) + [lux (.except list nat int rev symbol type) [abstract [monad (.only do)] [functor @@ -39,7 +39,7 @@ ["[0]" symbol]] ["[0]" type]]]) -(type: .public (Format a) +(.type .public (Format a) (-> a Text)) (def .public functor -- cgit v1.2.3