Ticket #98 (new task)

Opened 3 years ago

Last modified 2 years ago

Restricted Data Types Now

Reported by: guest Assigned to: none
Priority: minor Milestone: libraries implemented
Component: Proposal Version:
Keywords: restricted data types Cc:
Impact: Adopt:
Topic: Libraries

Description

We should adopt Oleg's "Restricted Data Types Now" approach for simpler cases, like Functor, that don't involve creating new type classes. 

class Functor f a b where
    fmap :: (a -> b) -> f a -> f b
instance (Ord a, Ord b) => Functor Data.Set.Set a b where
    ...

Change History

10/25/06 09:39:30 changed by ijones

  • owner changed from ijones to none.
  • component changed from HaskellPrime to Proposal.