search

ymdryo / classy-effects

An interface for a handler-independent, typeclass-based effect system.
Mozilla Public License 2.0
0 stars 1 forks source link

Move type families related to dependent effect parameters for type-level lists of effect data classes from the `heftia` repository to this repository. #5

Open ymdryo opened 1 year ago

ymdryo commented 1 year ago

This is because they are likely to be used in other handler systems as well.

https://github.com/sayo-hs/heftia/blob/fdf87b80b5d1ee491f5a63d6f2face4023e40caa/heftia/src/Data/Free/Union.hs#L148-L199 https://github.com/sayo-hs/heftia/blob/fdf87b80b5d1ee491f5a63d6f2face4023e40caa/heftia/src/Data/Hefty/Union.hs#L161-L212