diff options
| author | Eduardo Julian | 2022-06-25 20:24:43 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-06-25 20:24:43 -0400 |
| commit | fb46beb8bd784ba92949bf2c535dc13c2f003ef0 (patch) | |
| tree | 28dbec5e8e6a1307a5aee28772d9aa897349bc57 /stdlib/source/format | |
| parent | a384e0c9426d6110fa4c104a1327808a0aff91b0 (diff) | |
De-sigil-ification: suffix : [Part 15]
Diffstat (limited to 'stdlib/source/format')
| -rw-r--r-- | stdlib/source/format/lux/data/binary.lux | 8 | ||||
| -rw-r--r-- | stdlib/source/format/lux/data/text.lux | 4 |
2 files changed, 6 insertions, 6 deletions
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 |