Lower-level primitives for working with subscriptions #82
Conversation
|
|
||
| -- | Given a `Maybe`-producing subscription, creates a new subscription that | ||
| -- | filters out `Nothing` values and fires only on receiving `Just`. | ||
| hush :: ∀ m a. Subscription m (Maybe a) -> Subscription m a |
There was a problem hiding this comment.
FYI, the existing hush is Either a b -> Maybe b: https://pursuit.purescript.org/packages/purescript-either/6.1.0/docs/Data.Either#v:hush
How about compact (from Ruby) or something similar?
There was a problem hiding this comment.
Yes, I know the existing hush, that's why I named it this way. I don't envision this function being used in most regular consumer code, only in special cases, and in those cases I intend it to be used qualified as in Subscription.hush.
There was a problem hiding this comment.
What about catMaybes as it nicely follows the existing signature of Array (Maybe a) -> Array a?
https://pursuit.purescript.org/packages/purescript-arrays/7.3.0/docs/Data.Array#v:catMaybes
There was a problem hiding this comment.
FYI, late to the party, but looks like there is actually a Compactable typeclass that has exactly this shape:
class Compactable f where
compact :: forall a.
f (Maybe a) -> f aThere was a problem hiding this comment.
@mcordova47 Nice find!
To be compactable alone, no laws must be satisfied other than the type signature.
😂
Some lower-level primitives to support less trivial subscription-related code in https://github.com/collegevine/app/pull/18834