From 9c7f1d17313a6e63a28d3e97849e86b3eba00e2f Mon Sep 17 00:00:00 2001
From: Hans-Peter Deifel <hpd@hpdeifel.de>
Date: Thu, 25 Oct 2018 13:40:58 +0200
Subject: [PATCH] Remove some commented out code
---
tests/MA/Functors/MonoidValuedSpec.hs | 72 +--------------------------
1 file changed, 1 insertion(+), 71 deletions(-)
diff --git a/tests/MA/Functors/MonoidValuedSpec.hs b/tests/MA/Functors/MonoidValuedSpec.hs
index 6f2c457..42b2d45 100644
--- a/tests/MA/Functors/MonoidValuedSpec.hs
+++ b/tests/MA/Functors/MonoidValuedSpec.hs
@@ -1,5 +1,6 @@
{-# LANGUAGE ConstraintKinds #-}
{-# LANGUAGE FlexibleContexts #-}
+
module MA.Functors.MonoidValuedSpec (spec) where
import Test.Hspec
@@ -166,74 +167,3 @@ maxRealRefineSpec = describe "maxReal refine" $ do
encoding :: [h1] -> [(Int, l, Int)] -> Encoding l h1
encoding h1 es = Encoding.new (V.fromList h1) (V.fromList (map toEdge es))
where toEdge (from, lab, to) = Encoding.Edge from lab to
-
--- mkPoly :: [[Factor a]] -> Polynomial a
--- mkPoly =
--- Polynomial . Sum . NonEmpty.fromList . map (Product . NonEmpty.fromList)
-
--- type Suitable f = ( Functor f
--- , ParseMorphism f
--- , Show (Label f)
--- , Show (H1 f)
--- , Eq (Label f)
--- , Eq (H1 f)
--- , Typeable (Label f)
--- , Typeable (H1 f)
--- , Show1 f
--- )
-
--- data SomeFunctor a where
--- SomeFunctor
--- :: Suitable f
--- => f a
--- -> SomeFunctor a
-
--- deriving instance Functor SomeFunctor
-
--- instance Show1 SomeFunctor where
--- liftShowsPrec f fl i (SomeFunctor inner) = liftShowsPrec f fl i inner
-
--- instance Eq1 SomeFunctor where
--- liftEq f (SomeFunctor a) (SomeFunctor b) = liftEq f a b
-
--- data SomeLabel where
--- SomeLabel
--- :: forall l. (Show l, Eq l, Typeable l)
--- => l
--- -> SomeLabel
-
--- deriving instance Show SomeLabel
-
--- instance Eq SomeLabel where
--- (SomeLabel (a :: ta)) == (SomeLabel (b :: tb)) =
--- case eqTypeRep (typeRep @ta) (typeRep @tb) of
--- Nothing -> False
--- Just HRefl -> a == b
-
--- data SomeH1 where
--- SomeH1 :: forall h. (Show h, Eq h, Typeable h) => h -> SomeH1
-
--- deriving instance Show SomeH1
-
--- instance Eq SomeH1 where
--- (SomeH1 (a :: ta)) == (SomeH1 (b :: tb)) =
--- case eqTypeRep (typeRep @ta) (typeRep @tb) of
--- Nothing -> False
--- Just HRefl -> a == b
-
--- type instance H1 SomeFunctor = SomeH1
--- type instance Label SomeFunctor = SomeLabel
-
--- instance ParseMorphism SomeFunctor where
--- parseMorphismPoint (SomeFunctor f) = do
--- convertOuter (parseMorphismPoint f)
--- where
--- convertOuter =
--- fmap (\(h1, succs) -> (SomeH1 h1, fmap (_2 %~ SomeLabel) succs))
-
--- someFunctor
--- :: (Suitable f, Typeable f, ParseMorphism f)
--- => FunctorDescription f
--- -> FunctorDescription SomeFunctor
--- someFunctor fd =
--- fd { functorExprParser = transParser SomeFunctor (functorExprParser fd) }
--
GitLab