|
|
|
|
|
|
by atondwal
4263 days ago
|
|
|
>Once the type program's been compiled to a Haskell module, it becomes in essence a type-level library. You can include it in your regular Haskell programs and use the type class instances it exports in your own types to enforce whatever invariants you care about. Cool! Is there an example of this? I poked around the repo and reddit/HN posts on it, but couldn't find anything... |
|
|