effekt-lang / effekt-lang/effekt
Type aliases for computation types
Open
feature
requires-design
- Dominant language
- Scala
- Stars
- 469
- Forks
- 41
- Avg merge
- 1d 16h
- Merged PRs (30d)
- 23
Description
```scala
effect emit(n: Int): Unit
type Stream = () => Unit / emit
```
is currently not possible as far as I can tell, since `type` expects its RHS to be a _value type_, but this RHS is a _computation type_. However, I'm not sure this restriction is necessary and would like to lift it.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.