1
1
mirror of https://github.com/coot/free-category.git synced 2024-10-26 15:15:00 +03:00

Added Queue and ListTr Show instance for GHC<806

This commit is contained in:
Marcin Szamotulski 2019-09-02 11:24:40 +02:00
parent 5a2c359aee
commit 8887ee6788

View File

@ -183,7 +183,22 @@ data Queue (f :: k -> k -> *) (a :: k) (b :: k) where
#if __GLASGOW_HASKELL__ >= 806
instance (forall (x :: k) (y :: k). Show (f x y))
=> Show (Queue f a b) where
show (Queue f r s) = "Queue (" ++ show f ++ ") (" ++ show r ++ ") " ++ show (lengthListTr s)
show (Queue f r s) =
"Queue ("
++ show f
++ ") ("
++ show r
++ ") "
++ show (lengthListTr s)
#else
instance Show (Queue f r s) where
show (Queue f r s) =
"Queue "
++ show (lengthListTr f)
++ " "
++ show (lengthListTr r)
++ " "
++ show (lengthListTr s)
#endif
emptyQ :: Queue (f :: k -> k -> *) a a