search

purescript-contrib / purescript-pathy

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

Add roles declarations to forbid unsafe coercions #43

Closed kl0tl closed 3 years ago

kl0tl commented 3 years ago

I initially planned to keep the roles phantom and replace usages of unsafeCoerce by coerce, but it would be quite unsafe to be able to coerce between constructors.