search

Gabriella439 / Haskell-Pipes-Safe-Library

Safety for the pipes ecosystem
BSD 3-Clause "New" or "Revised" License
26 stars 21 forks source link

Export SafeT constructor #62

Closed k0001 closed 11 months ago

k0001 commented 1 year ago

The motivation for exporting the constructor is for downstream users and library authors to be able to support SafeT when temporarily removing the SafeT wrapper is necessary. This often happens when SafeT appears in negative position.

I wrapped SafeT's internal ReaderT environment in a opaque newtype Env, so as not to expose the internal details to users of this library.

I removed the unSafeT field name to prevent downstream users from confusing it with the similarly named runSafeT.

Gabriella439 commented 11 months ago

Thank you! Yeah, I think it makes sense to do this

Also, long time no see 😉

k0001 commented 11 months ago

Hey! Long time no see! I hope you are doing well =)