Opened 14 years ago

Last modified 4 years ago

#98 new task

Restricted Data Types Now

Reported by: Owned by: none
Priority: normal Milestone:
Version: Keywords: restricted data types
Cc: Meta Owner:
State: discussion Section: N/A or multiple
Related Tickets:

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 (4)

comment:1 Changed 13 years ago by ijones

component: HaskellPrimeProposal
Owner: changed from ijones to none

comment:2 Changed 10 years ago by (none)

Milestone libraries implemented deleted

comment:3 Changed 4 years ago by Herbert Valerio Riedel

Milestone:

moving non-milestoned many year old legacy tickets out of the way

comment:4 Changed 4 years ago by Herbert Valerio Riedel

Priority: minornormal

Set default priority (as this confuses Trac otherwise)

Note: See TracTickets for help on using tickets.