X-Git-Url: http://git.cielonegro.org/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=Types%2FData%2FHeap.hs;fp=Data%2FHList%2FHeap.hs;h=0db148984390f6cc6bb5965e80340ad273467fad;hb=a370bc29f91d16ad36da733fb82061b9a543700e;hp=acd479fb962091308158adf6f2fd36987ce3bb2a;hpb=315cb18674266b201bd9eb48efb60edd1f30c41f;p=hs-rrdtool.git diff --git a/Data/HList/Heap.hs b/Types/Data/Heap.hs similarity index 88% rename from Data/HList/Heap.hs rename to Types/Data/Heap.hs index acd479f..0db1489 100644 --- a/Data/HList/Heap.hs +++ b/Types/Data/Heap.hs @@ -4,7 +4,7 @@ TypeOperators, UndecidableInstances #-} -module Data.HList.Heap +module Types.Data.Heap ( Heap , Empty @@ -19,7 +19,7 @@ module Data.HList.Heap ) where -import Data.HList +import Types.Data.List import Types.Data.Bool import Types.Data.Ord @@ -31,7 +31,7 @@ class Heap h instance Heap Empty instance Heap hs => Heap (Node k v hs) -type Unit k v = Node k v Nil +type Unit k v = Node k v Null type family IsEmpty h type instance IsEmpty Empty = True @@ -48,8 +48,8 @@ type instance Merge (Node k1 v1 hs1) (Node k2 v2 hs2) (Node k2 v2 (Cons (Node k1 v1 hs1) hs2)) type family MergeAll hs -type instance MergeAll Nil = Empty -type instance MergeAll (Cons h Nil) = h +type instance MergeAll Null = Empty +type instance MergeAll (Cons h Null) = h type instance MergeAll (Cons h (Cons h' hs)) = Merge (Merge h h') (MergeAll hs)