search

ff-notes / ron

Haskell implementation of RON and RON-RDT
BSD 3-Clause "New" or "Revised" License
65 stars 9 forks source link

(2019-07-24, cblp, #102) data family ORSet c a where #137

Open src-of-truth[bot] opened 5 years ago

src-of-truth[bot] commented 5 years ago

newtype instance ORSet Ord a = ORSetOrd (Set a) newtype instance ORSet Hashable a = ORSetHash (HashSet a) https://github.com/ff-notes/ron/blob/ea4420a9d52822a6d2ef5ea484b765f9c45b65d9/ron-rdt/lib/RON/Data/ORSet.hs#L115-L119