You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Before I go down the path of trying to implement this, does it make sense to have a Prim instance for System.Mem.Weak.Weak? I think so, as data Weak a = Weak (Weak# a). I just don't know if there are enough primitives operations on Weak# to implement the instance. I'd like this because reactive-banana currently stores [Weak a], but I'd like to unbox this.
The text was updated successfully, but these errors were encountered:
Before I go down the path of trying to implement this, does it make sense to have a
Prim
instance forSystem.Mem.Weak.Weak
? I think so, asdata Weak a = Weak (Weak# a)
. I just don't know if there are enough primitives operations onWeak#
to implement the instance. I'd like this becausereactive-banana
currently stores[Weak a]
, but I'd like to unbox this.The text was updated successfully, but these errors were encountered: