Commit graph

127 commits

Author SHA1 Message Date
Shunsuke Shibayama
a129141234 fix: incorrect typing & method resolution 2024-09-26 11:34:15 +09:00
Shunsuke Shibayama
1f5e9cbc9f feat: add Generator
* remove `GenericGenerator`
2024-09-22 21:49:11 +09:00
Shunsuke Shibayama
3366043a2d fix: Dict::get 2024-09-21 20:06:26 +09:00
Shunsuke Shibayama
ff53af0cb6 feat: add RMul, RDiv
* `And` has the default type index
* impl `Dimension` traits
2024-09-20 20:36:55 +09:00
Shunsuke Shibayama
4651a383ae feat: add Dimension and unit module 2024-09-20 18:26:29 +09:00
Shunsuke Shibayama
5009a0c499 feat: runtime collection type 2024-09-19 16:49:47 +09:00
Shunsuke Shibayama
9d88e8d7e7 fix: type variable linking bug 2024-09-17 02:00:51 +09:00
Shunsuke Shibayama
de92e295dc chore: add Float 2024-09-04 14:13:24 +09:00
Shunsuke Shibayama
fdca32f6a9 fix: eliminate panics 2024-08-28 21:20:13 +09:00
Shunsuke Shibayama
82551ad537 feat: impl some traits for frozenset 2024-08-22 14:31:39 +09:00
Shunsuke Shibayama
af360a52cc fix: constructor typing 2024-08-20 22:26:02 +09:00
Shunsuke Shibayama
8eb8cd7c4a chore: union method type 2024-08-19 12:30:23 +09:00
Shunsuke Shibayama
9682c0ddaf Update classes.rs 2024-08-17 10:41:46 +09:00
Shunsuke Shibayama
2ff3194d69 feat: const classof func 2024-08-15 11:15:22 +09:00
Shunsuke Shibayama
b75325dbdb Update classes.rs 2024-08-13 13:28:38 +09:00
Shunsuke Shibayama
79b1c1394d feat: add ReDef.t_spec 2024-08-11 14:18:15 +09:00
Shunsuke Shibayama
ea8f1ea91f feat: add Bytes methods 2024-08-10 18:40:46 +09:00
Shunsuke Shibayama
0875c7e5c9 fix: structural type check 2024-08-09 13:38:04 +09:00
Shunsuke Shibayama
dcbd328b78 feat: add List.index 2024-08-08 19:59:09 +09:00
Shunsuke Shibayama
325ab03b24 fix: ByteArray! is not defined 2024-06-15 14:48:13 +09:00
Shunsuke Shibayama
22cd07a414 chore: improve overload error msg 2024-06-15 14:14:38 +09:00
Shunsuke Shibayama
559b465888 fix: minor bugs 2024-05-22 16:33:10 +09:00
Shunsuke Shibayama
96f4c1cf98 feat: add {Str, List}.from 2024-04-30 18:44:31 +09:00
Shunsuke Shibayama
10d1d28022 Update classes.rs 2024-04-29 23:31:11 +09:00
Shunsuke Shibayama
1c699cc2f3 feat: add Sealed trait 2024-04-27 13:52:15 +09:00
Shunsuke Shibayama
86cfe8f81a feat: add HomogenousTuple
fix: iterator bugs
2024-04-27 00:28:03 +09:00
Shunsuke Shibayama
e220381fa2 feat: add some object methods 2024-04-26 12:39:58 +09:00
Shunsuke Shibayama
2887a77f70 fix: mutable type method access bug 2024-04-26 11:59:55 +09:00
Shunsuke Shibayama
c6eb78a44d refactor!: rename Array -> List 2024-04-04 23:24:07 +09:00
Shunsuke Shibayama
e38674945b fix: type relation bugs 2024-03-13 12:40:43 +09:00
Shunsuke Shibayama
0e1c0a9a13 feat: add Exception classes 2024-03-11 20:35:11 +09:00
Shunsuke Shibayama
0fb996f289 feat: add Copy trait 2024-03-03 16:22:14 +09:00
GreasySlug
eba80469a6 clean: add and use const str 2024-02-26 23:04:26 +09:00
Shunsuke Shibayama
47818e431e chore: remove clone method 2024-02-24 00:27:13 +09:00
Shunsuke Shibayama
48cdd2462d feat: add Array.repeat 2024-02-12 01:38:52 +09:00
Shunsuke Shibayama
e5c8f177ba feat: add HasScalarType 2024-02-09 18:37:33 +09:00
Shunsuke Shibayama
66352ddd3a feat: add const Array::{insert, remove_at, remove_all} 2024-02-09 12:47:17 +09:00
Shunsuke Shibayama
c76de00847 feat: add Float!::{inc!, dec!} 2024-02-07 17:01:32 +09:00
Shunsuke Shibayama
58514c5890 chore: add Subroutine & GenericCallable is now a trait 2024-02-07 13:23:09 +09:00
Shunsuke Shibayama
96239b957c fix: modulo operator bug 2024-02-04 18:11:30 +09:00
Shunsuke Shibayama
b58a542f8e feat: add const Str::{isalpha, isascii, isdecimal} 2024-01-31 00:47:28 +09:00
Shunsuke Shibayama
d6e6914662 feat: add const Str::{endswith, find, join, startswith} 2024-01-30 12:37:07 +09:00
Shunsuke Shibayama
276583d8ef feat: add const reversed/sum/Str::replace 2024-01-30 11:01:45 +09:00
Shunsuke Shibayama
d1fa616aea feat: eval const call/lambda in refinement types
rename: `Shape` -> `HasShape`
2024-01-29 18:10:26 +09:00
Shunsuke Shibayama
d59a4e82d3 feat: const abs/all/any/len/map 2024-01-29 13:29:39 +09:00
Shunsuke Shibayama
06a4a6e5fc feat: add Predicate::General{Less, Greater, Not}Equal 2024-01-28 20:24:14 +09:00
Shunsuke Shibayama
4393649ffc feat: add Predicate::{Call, GeneralEqual} 2024-01-28 18:33:00 +09:00
Shunsuke Shibayama
951c85a344 feat: add exception module 2024-01-04 21:41:24 +09:00
Shunsuke Shibayama
767d51d48b feat: function downcasting
FIXME: This downcast is unsound, function inputs, output should be checked at runtime
2023-12-31 09:03:40 +09:00
Shunsuke Shibayama
868609f95a feat: add format, help! 2023-12-15 22:55:10 +09:00