-
Notifications
You must be signed in to change notification settings - Fork 24
Remove STRef, unify with Ref #30
Copy link
Copy link
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.
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.
Now there's the
Globalregion,MonadST, etc. we can do away with having twoReftypes:Refinpurescript-refsto includeRegion(basically,STRef->Ref)Ref.Liftedmodule where the operations have aMonadSTconstraint so they can be used inEffectwithout friction.STReffrompurescript-stMonadRecinstance 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 becomeRef Global.