-
Notifications
You must be signed in to change notification settings - Fork 24
Open
Labels
purs-0.15A reminder to address this issue or merge this PR before we release PureScript v0.15.0A reminder to address this issue or merge this PR before we release PureScript v0.15.0type: breaking changeA change that requires a major version bump.A change that requires a major version bump.
Description
Now there's the Global region, MonadST, etc. we can do away with having two Ref types:
- Rework
Refinpurescript-refsto includeRegion(basically,STRef->Ref) - Introduce a
Ref.Liftedmodule where the operations have aMonadSTconstraint so they can be used inEffectwithout friction. - Remove
STReffrompurescript-st - Remove the
MonadRecinstance currently inpurescript-st, as it currently is implemented withSTRef. Implement it inpurescript-tailrecinstead (implementation is basically identical to theEffectinstance already in there).
I've done all this locally to check it works out 🙂.
I'd like to make this change when we do the updates for PS 0.14 unless there is a strong feeling we shouldn't for some reason. Aside from some module stuff moving around the main breaking difference is that existing Refs will need to become Ref Global.
Metadata
Metadata
Assignees
Labels
purs-0.15A reminder to address this issue or merge this PR before we release PureScript v0.15.0A reminder to address this issue or merge this PR before we release PureScript v0.15.0type: breaking changeA change that requires a major version bump.A change that requires a major version bump.