Commit 2232129d authored by johnvg@science.ru.nl's avatar johnvg@science.ru.nl

remove Bimap and bimapId

parent 5e4149ed
...@@ -69,7 +69,3 @@ derive bimap (->) ...@@ -69,7 +69,3 @@ derive bimap (->)
// from other classes // from other classes
:: GenericDict a = { generic_dict :: !a } :: GenericDict a = { generic_dict :: !a }
:: GenericDict0 a = { generic_dict0 :: a } :: GenericDict0 a = { generic_dict0 :: a }
// embedding-projection
:: Bimap a b = { map_to :: .(a -> b), map_from :: .(b -> a) } // deprecated, no longer used
bimapId :: Bimap .a .a // deprecated, no longer used
...@@ -59,6 +59,3 @@ where ...@@ -59,6 +59,3 @@ where
= [ ConsLeft : doit i (n>>1) ] = [ ConsLeft : doit i (n>>1) ]
| otherwise | otherwise
= [ ConsRight : doit (i - (n>>1)) (n - (n>>1)) ] = [ ConsRight : doit (i - (n>>1)) (n - (n>>1)) ]
bimapId :: Bimap .a .a // deprecated, no longer used
bimapId = { map_to = id, map_from = id }
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment