@shd101wyy/yo 0.0.4 → 0.0.6

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (37) hide show
  1. package/LICENSE.md +1 -1
  2. package/README.md +40 -11
  3. package/out/cjs/index.cjs +14 -14
  4. package/out/cjs/yo-cli.cjs +453 -403
  5. package/out/esm/index.mjs +22 -22
  6. package/out/types/src/codegen/expressions/index.d.ts +0 -1
  7. package/out/types/src/codegen/utils/index.d.ts +5 -3
  8. package/out/types/src/env.d.ts +7 -6
  9. package/out/types/src/error.d.ts +6 -3
  10. package/out/types/src/evaluator/async/await-analysis-types.d.ts +1 -1
  11. package/out/types/src/evaluator/builtins/arc_fns.d.ts +20 -0
  12. package/out/types/src/evaluator/builtins/array_fns.d.ts +8 -0
  13. package/out/types/src/evaluator/builtins/type_fns.d.ts +2 -2
  14. package/out/types/src/evaluator/builtins/var_fns.d.ts +1 -1
  15. package/out/types/src/evaluator/calls/numeric_type.d.ts +4 -0
  16. package/out/types/src/evaluator/types/utils.d.ts +10 -10
  17. package/out/types/src/evaluator/utils.d.ts +1 -1
  18. package/out/types/src/expr.d.ts +9 -4
  19. package/out/types/src/types/creators.d.ts +1 -1
  20. package/out/types/src/types/definitions.d.ts +1 -1
  21. package/out/types/src/types/guards.d.ts +1 -1
  22. package/out/types/src/types/utils.d.ts +3 -2
  23. package/out/types/src/utils.d.ts +3 -1
  24. package/out/types/src/value.d.ts +4 -4
  25. package/out/types/tsconfig.tsbuildinfo +1 -1
  26. package/package.json +15 -2
  27. package/scripts/check-liburing.js +51 -39
  28. package/std/collections/array_list.yo +2 -2
  29. package/std/prelude.yo +272 -189
  30. package/out/types/src/codegen/expressions/array.d.ts +0 -4
  31. package/out/types/src/evaluator/utils/array-utils.d.ts +0 -15
  32. package/out/types/src/tests/codegen.test.d.ts +0 -1
  33. package/out/types/src/tests/module-manager.test.d.ts +0 -1
  34. package/out/types/src/tests/parser.test.d.ts +0 -1
  35. package/out/types/src/tests/sample.test.d.ts +0 -0
  36. package/out/types/src/tests/std.test.d.ts +0 -1
  37. package/std/monad.yo +0 -152
package/std/monad.yo DELETED
@@ -1,152 +0,0 @@
1
- /*
2
- Functor :: (fn(
3
- compt(Wrapper) : (fn(compt(W) : Type) -> compt(Type))
4
- ) -> compt(Module))
5
- module(
6
- map :
7
- fn(
8
- forall(A : Type, B : Type),
9
- a : Wrapper(A),
10
- f : (fn(a : A) => B)
11
- ) -> Wrapper(B),
12
-
13
- (<$>) ?= Self.map
14
- )
15
- ;
16
-
17
- Apply :: (fn(
18
- compt(Wrapper) : (fn(compt(W) : Type) -> compt(Type)),
19
- using(FunctorInstance) : Functor(Wrapper)
20
- ) -> compt(Module))
21
- module(
22
- ...(FunctorInstance),
23
-
24
- (apply) :
25
- fn(
26
- forall(A : Type, B : Type),
27
- f : Wrapper(fn(a : A) => B),
28
- a : Wrapper(A)
29
- ) -> Wrapper(B),
30
-
31
- (<*>) ?= apply
32
- )
33
- ;
34
-
35
- Applicative :: (fn(
36
- compt(Wrapper) : (fn(compt(W) : Type) -> compt(Type)),
37
- using(ApplyInstance) : Apply(Wrapper)
38
- ) -> compt(Module))
39
- module(
40
- ...(ApplyInstance),
41
-
42
- pure :
43
- fn(
44
- forall(A : Type),
45
- a : A
46
- ) -> Wrapper(A)
47
- )
48
- ;
49
-
50
- Bind :: (fn(
51
- compt(Wrapper) : (fn(compt(W) : Type) -> compt(Type)),
52
- using(ApplyInstance) : Apply(Wrapper)
53
- ) -> compt(Module))
54
- module(
55
- ...(ApplyInstance),
56
-
57
- (bind) :
58
- fn(
59
- forall(A : Type, B : Type),
60
- a : Wrapper(A),
61
- f : (fn(a : A) => Wrapper(B))
62
- ) -> Wrapper(B),
63
-
64
- (>>=) ?= bind
65
- )
66
- ;
67
-
68
- Monad :: (fn(
69
- compt(Wrapper) : (fn(compt(W) : Type) -> compt(Type)),
70
- using(ApplicativeInstance) : Applicative(Wrapper),
71
- using(BindInstance) : Bind(Wrapper)
72
- ) -> compt(Module))
73
- module(
74
- ...(ApplicativeInstance),
75
- ...(BindInstance)
76
- )
77
- ;
78
-
79
- Semigroup :: (fn(
80
- compt(M) : Type
81
- ) -> compt(Module))
82
- module(
83
- (append) :
84
- fn(
85
- a : M,
86
- b : M
87
- ) -> M
88
- )
89
- ;
90
-
91
- Monoid :: (fn(
92
- compt(M) : Type,
93
- using(SemigroupInstance) : Semigroup(M)
94
- ) -> compt(Module))
95
- module(
96
- ...(SemigroupInstance),
97
-
98
- (empty) :
99
- fn() -> M
100
- )
101
- ;
102
-
103
- Foldable :: (fn(
104
- compt(Wrapper) : (fn(compt(W) : Type) -> compt(Type))
105
- ) -> compt(Module))
106
- module(
107
- foldr :
108
- fn(
109
- forall(A : Type, B : Type),
110
- a : Wrapper(A),
111
- f : (fn(a : A, b : B) => B),
112
- b0 : B
113
- ) -> B,
114
- foldl :
115
- fn(
116
- forall(A : Type, B : Type),
117
- a : Wrapper(A),
118
- f : (fn(b : B, a : A) => B),
119
- b0 : B
120
- ) -> B,
121
- fold_map :
122
- fn(
123
- forall(A : Type, M : Type),
124
- a : Wrapper(A),
125
- f : (fn(a : A) => M),
126
- using(MonoidWrapper) : Monoid(M)
127
- ) -> M
128
- )
129
- ;
130
-
131
- pure :: (fn(
132
- forall(
133
- A: Type,
134
- Wrapper : (fn(compt(W) : Type) -> compt(Type))
135
- ),
136
- a : A,
137
- using(ApplicativeInstance) : Applicative(Wrapper)
138
- ) -> Wrapper(A))
139
- ApplicativeInstance.pure(a)
140
- ;
141
-
142
- export
143
- Functor,
144
- Apply,
145
- Applicative,
146
- Bind,
147
- Monad,
148
- Monoid,
149
- Foldable,
150
- pure
151
- ;
152
- */