aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux/math/number/i16.lux
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/lux/math/number/i16.lux23
1 files changed, 0 insertions, 23 deletions
diff --git a/stdlib/source/lux/math/number/i16.lux b/stdlib/source/lux/math/number/i16.lux
deleted file mode 100644
index ba4f9cd02..000000000
--- a/stdlib/source/lux/math/number/i16.lux
+++ /dev/null
@@ -1,23 +0,0 @@
-(.module:
- [lux (#- i64)
- [abstract
- [equivalence (#+ Equivalence)]]
- [data
- ["." maybe]]
- [type (#+ :by_example)]]
- [//
- ["." i64 (#+ Sub)]])
-
-(def: sub (maybe.assume (i64.sub 16)))
-
-(def: #export I16
- (:by_example [size]
- (Sub size)
- ..sub
-
- (I64 size)))
-
-(def: #export equivalence (Equivalence I16) (\ ..sub &equivalence))
-(def: #export width Nat (\ ..sub width))
-(def: #export i16 (-> I64 I16) (\ ..sub narrow))
-(def: #export i64 (-> I16 I64) (\ ..sub widen))