diff options
Diffstat (limited to 'stdlib/source/lux/target/jvm/type.lux')
| -rw-r--r-- | stdlib/source/lux/target/jvm/type.lux | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/stdlib/source/lux/target/jvm/type.lux b/stdlib/source/lux/target/jvm/type.lux index e5c7304ee..1dd5af027 100644 --- a/stdlib/source/lux/target/jvm/type.lux +++ b/stdlib/source/lux/target/jvm/type.lux @@ -5,7 +5,8 @@ [hash (#+ Hash)]] [data ["." maybe] - ["." text] + ["." text + ["%" format (#+ Format)]] [number ["n" nat]] [collection @@ -195,3 +196,7 @@ (text.size repr))) (:: maybe.monad map (|>> //name.internal //name.external))) #.None))) + +(def: #export format + (All [a] (Format (Type a))) + (|>> ..signature /signature.signature)) |