Whoops. :(
authorAustin Seipp <aseipp@pobox.com>
Thu, 30 May 2013 13:28:11 +0000 (08:28 -0500)
committerAustin Seipp <aseipp@pobox.com>
Thu, 30 May 2013 13:28:11 +0000 (08:28 -0500)
Signed-off-by: Austin Seipp <aseipp@pobox.com>
testsuite/tests/polykinds/CatPairs.hs [new file with mode: 0644]

diff --git a/testsuite/tests/polykinds/CatPairs.hs b/testsuite/tests/polykinds/CatPairs.hs
new file mode 100644 (file)
index 0000000..8ab709e
--- /dev/null
@@ -0,0 +1,30 @@
+{-# LANGUAGE PolyKinds, TypeFamilies, DataKinds #-}
+module CatPairs where
+import Control.Monad
+import Control.Category
+
+-- Take from Twan van Laarhoven
+--   http://twanvl.nl/blog/haskell/categories-over-pairs-of-types
+
+data Pipe i o u m r = Pipe { runPipe :: Either i u -> m (Either o r) }
+
+(>+>) :: Monad m
+      => Pipe io1 io2 ur1 m ur2
+      -> Pipe io2 io3 ur2 m ur3
+      -> Pipe io1 io3 ur1 m ur3
+(>+>) (Pipe f) (Pipe g) = Pipe (f >=> g)
+
+idP :: Monad m => Pipe i i r m r
+idP = Pipe return
+
+type family Fst (xy :: (*,*)) :: *
+type family Snd (xy :: (*,*)) :: *
+type instance Fst '(x,y) = x
+type instance Snd '(x,y) = y
+
+newtype WrapPipe m iu or = WrapPipe
+     { unWrapPipe :: Pipe (Fst iu) (Fst or) (Snd iu) m (Snd or) }
+
+instance Monad m => Category (WrapPipe m) where
+  id    = WrapPipe idP
+  x . y = WrapPipe (unWrapPipe y >+> unWrapPipe x)