X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=Data%2FQueue.hs;h=6a06670f35288ab0d024f54fbb88c607fcab9410;hb=d47c54ba6d29ee73830621724855fc69ebbfd0f8;hp=91a7d34892ee7b20a04e03bffb1eaa724364fd2d;hpb=4445b58049107587cc2a97e9cf162251564ca534;p=haskell-directory.git diff --git a/Data/Queue.hs b/Data/Queue.hs index 91a7d34..6a06670 100644 --- a/Data/Queue.hs +++ b/Data/Queue.hs @@ -24,10 +24,14 @@ module Data.Queue( ) where import Prelude -- necessary to get dependencies right +import Data.Typeable -- | The type of FIFO queues. data Queue a = Q [a] [a] [a] +#include "Typeable.h" +INSTANCE_TYPEABLE1(Queue,queueTc,"Queue") + -- Invariants for Q xs ys xs': -- length xs = length ys + length xs' -- xs' = drop (length ys) xs -- in fact, shared (except after fmap)