Commit graph

105 commits

Author SHA1 Message Date
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
Shunsuke Shibayama
4407999c19 feat: add SubrType::kw_var_params 2023-11-12 12:22:48 +09:00
Shunsuke Shibayama
ebf803dab0 feat: add Float.nearly_eq 2023-11-07 02:30:08 +09:00
Shunsuke Shibayama
01ffde469a feat: Dict.as_record 2023-10-25 19:46:32 +09:00
Shunsuke Shibayama
e6cf329f97 fix: type alias bug 2023-10-16 18:34:19 +09:00
Shunsuke Shibayama
1a056b1b0e fix!: let return/yield to be a private method 2023-10-15 13:51:09 +09:00
Shunsuke Shibayama
fc75151f2a feat: add Frame type 2023-10-14 23:42:27 +09:00
Shunsuke Shibayama
0a24c0cb77 fix: dict update! bug 2023-10-14 21:38:12 +09:00
Shunsuke Shibayama
5e580422c3 fix: mutable array type bug 2023-10-11 21:29:53 +09:00
Shunsuke Shibayama
13a346e488 feat: add Dict.concat/diff, Dict!.merge!/remove! 2023-10-05 00:57:08 +09:00
Shunsuke Shibayama
57d3a23aed feat: impl Hash for Array 2023-09-18 19:44:37 +09:00
Shunsuke Shibayama
a97b89c056 fix!: rename to_str -> __str__ 2023-09-13 16:48:20 +09:00
Shunsuke Shibayama
68acaf00fb feat: add ByteArray! 2023-09-11 21:55:46 +09:00
Shunsuke Shibayama
7729b73809 fix: dict iterators bug 2023-09-06 00:56:07 +09:00
Shunsuke Shibayama
74bca70017 feat: add Array.update_nth! 2023-08-28 15:33:58 +09:00
Shunsuke Shibayama
f2ad45878a feat: add Hash trait 2023-08-20 17:33:42 +09:00
Shunsuke Shibayama
a0ce142f7b chore: add record examples 2023-08-20 10:58:33 +09:00
Shunsuke Shibayama
5e71bd7fd0 feat: add Record.as_dict() 2023-08-20 02:02:53 +09:00
Shunsuke Shibayama
2966497ad6 feat: add Str methods 2023-08-20 00:07:08 +09:00
Shunsuke Shibayama
6ce41ef8bd fix: record type subtyping 2023-08-19 23:30:34 +09:00
Shunsuke Shibayama
5affa5065f fix: dynamic type checking bugs 2023-08-19 16:34:07 +09:00
Shunsuke Shibayama
927de74eee chore: add Self substitution 2023-08-17 19:25:17 +09:00
Shunsuke Shibayama
9454896d5a WIP 2023-08-17 16:43:26 +09:00