Commit 5dc7c87f authored by Hans-Peter Deifel's avatar Hans-Peter Deifel
Browse files

Remove unnecessary imports

parent 87aa7928
......@@ -20,15 +20,10 @@ module MA.Functors.Polynomial
, Exponent(..)
) where
import Data.Foldable
import Control.Monad
import Data.Bifunctor
import Data.List.NonEmpty (NonEmpty(..))
import qualified Data.List.NonEmpty as NonEmpty
import Data.Maybe (fromMaybe)
import GHC.Generics (Generic)
import Data.List (intersperse)
import Data.Semigroup ((<>))
import Data.Traversable
import Data.Word (Word8)
......@@ -41,10 +36,7 @@ import Text.Megaparsec
import Data.Eq.Deriving (deriveEq1)
import Text.Show.Deriving (deriveShow1)
import Lens.Micro
import Control.DeepSeq (NFData)
import qualified Data.IntSet as S
import MA.PrettyShow
import MA.Coalgebra.Parser
import MA.Coalgebra.RefinementTypes
import qualified MA.Parser.Lexer as L
......@@ -156,9 +148,6 @@ parseFiniteNatExp = FiniteNatExp <$> L.decimal
-- 2: Edge goes to subblock
type Three = Word8
toRest :: Three
toRest = 0
toCompound :: Three
toCompound = 1
......
Supports Markdown
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