ron icon indicating copy to clipboard operation
ron copied to clipboard
verified publisher icon ff-notes

Experiment: data family ORSet c a

Open cblp opened this issue 6 years ago • 0 comments 

data family ORSet c a where
    newtype instance ORSet Ord      a = ORSetOrd  (Set     a)
    newtype instance ORSet Hashable a = ORSetHash (HashSet a)

cblp avatar Aug 01 '19 09:08 cblp