[Haskell-beginners] Re: data constructors

[Heinrich Apfelmus]

Sterling Clover wrote:
> Maybe just bikeshedding here (and on -beginners, no less), but this
> seems like a job for Data.Traversable.sequence?
> 
> sequence :: Monad m => t (m a) -> m (t a)
> 
> Cheers,
> S.
> 
> Heinrich Apfelmus wrote:
>>
>>    convert :: Named [Timed Chord] -> Timed [Named Chord]
>>

Great idea!

My type signature is wrong, it should actually read

   convert :: [Named [Timed Chord]] -> [Timed [Named Chord]]

I'm not sure whether  sequence  applies directly,

   type EventList a = [Timed a]

is not a monad. It's not quite an applicative functor either, because in

   (<*>) :: EventList (a -> b) -> EventList a -> EventList b

it's not clear what should happen to events from the left and right list
that are not simultaneous. This needs further thought.


Regards,
apfelmus

--
http://apfelmus.nfshost.com