From eabb81be6eb8ff4f3da7a44db6f34f975d6c8e51 Mon Sep 17 00:00:00 2001
From: Hans-Peter Deifel <hpd@hpdeifel.de>
Date: Fri, 13 Jul 2018 14:40:51 +0200
Subject: [PATCH] Remove obsolete Sort module
---
ma.cabal | 3 +--
src/Data/Sort.hs | 16 ----------------
2 files changed, 1 insertion(+), 18 deletions(-)
delete mode 100644 src/Data/Sort.hs
diff --git a/ma.cabal b/ma.cabal
index ea67db2..9a80ef6 100644
--- a/ma.cabal
+++ b/ma.cabal
@@ -21,8 +21,6 @@ custom-setup
library
hs-source-dirs: src
exposed-modules: Data.MorphismEncoding
- , MA.RefinementInterface
- , Data.Sort
, Data.RefinablePartition
, Data.Vector.Unboxed.Mutable.Utils
, Data.Vector.Utils
@@ -31,6 +29,7 @@ library
, Data.Partition
, Data.Partition.Common
, Data.OpenUnion
+ , MA.RefinementInterface
, MA.Functors
, MA.Functors.Powerset
, MA.Functors.FixedProduct
diff --git a/src/Data/Sort.hs b/src/Data/Sort.hs
deleted file mode 100644
index c452246..0000000
--- a/src/Data/Sort.hs
+++ /dev/null
@@ -1,16 +0,0 @@
-{-# LANGUAGE DataKinds #-}
-module Data.Sort
- ( Sort
- , Sorted
- , SortTable
- ) where
-
-import Data.Vector (Vector)
-
-
-type Sort = Int
-
-type Sorted a = (Sort, a)
-
--- | This type maps sorts to 'a'
-type SortTable a = Vector a
--
GitLab