X-Git-Url: http://git.cielonegro.org/gitweb.cgi?p=hs-rrdtool.git;a=blobdiff_plain;f=Data%2FHList%2FPrelude.hs;h=856c677c67d629b70adea88519a41c863909d988;hp=dc33147be63c7de93cc58dae3df25d723c3b680b;hb=256aad40f96ce034bc1aebd3302ecd8a86419163;hpb=c788edcf6744a51cb38795e4f1959d22d10ad071 diff --git a/Data/HList/Prelude.hs b/Data/HList/Prelude.hs index dc33147..856c677 100644 --- a/Data/HList/Prelude.hs +++ b/Data/HList/Prelude.hs @@ -43,7 +43,9 @@ module Data.HList.Prelude , HOccursMany1(..) , HOccursOpt(..) , HOccurs(..) - , HOccursNot(..) + , HOccursNot + + , HNoDuplicates ) where @@ -274,6 +276,11 @@ instance HOccursNot e HNil instance Fail (TypeFound e) => HOccursNot e (HCons e l) instance HOccursNot e l => HOccursNot e (HCons e' l) +-- HNoDuplicates +class HNoDuplicates l +instance HNoDuplicates HNil +instance HOccursNot e l => HNoDuplicates (HCons e l) + {- {- "Strongly Typed Heterogeneous Collections"