A monad transformer for tracing error provenience. If you want a nice example of how to use it, this bidirectional type checker provides a very nice example and motivation.
alephcloud/hs-trace
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
A monad transformer for tracing error provenience. If you want a nice example of how to use it, this bidirectional type checker provides a very nice example and motivation.