Open treeowl opened 1 year ago
Oh yeah, there's also the HList
y option:
data Asyncs :: [Type] -> Type where
Nil :: Asyncs '[]
(:<) :: {-# UNPACK #-} (Async a) -> Asyncs as -> Asyncs (a ': as)
But a custom heterogeneous list type doesn't seem appropriate for this package.
cancelMany :: [Async a] -> IO ()
is ... okay, but it's annoying when cancellingAsync
s with multiple types. Some options:Nothing I'd call a beautiful solution.