purescript-contrib / purescript-pathy

A type-safe abstraction for platform-independent file system paths.
Apache License 2.0
33 stars 17 forks source link

Use custom kinds for the phantom types #28

Closed garyb closed 6 years ago

garyb commented 7 years ago

To ensure the Abs and Sandboxed aren't mixed up in a type signature, for example.

DataKinds would be even better, but we don't have those, so :wink: