Skip to content
Snippets Groups Projects
Commit eabb81be authored by Hans-Peter Deifel's avatar Hans-Peter Deifel
Browse files

Remove obsolete Sort module

parent c4576951
No related branches found
No related tags found
No related merge requests found
...@@ -21,8 +21,6 @@ custom-setup ...@@ -21,8 +21,6 @@ custom-setup
library library
hs-source-dirs: src hs-source-dirs: src
exposed-modules: Data.MorphismEncoding exposed-modules: Data.MorphismEncoding
, MA.RefinementInterface
, Data.Sort
, Data.RefinablePartition , Data.RefinablePartition
, Data.Vector.Unboxed.Mutable.Utils , Data.Vector.Unboxed.Mutable.Utils
, Data.Vector.Utils , Data.Vector.Utils
...@@ -31,6 +29,7 @@ library ...@@ -31,6 +29,7 @@ library
, Data.Partition , Data.Partition
, Data.Partition.Common , Data.Partition.Common
, Data.OpenUnion , Data.OpenUnion
, MA.RefinementInterface
, MA.Functors , MA.Functors
, MA.Functors.Powerset , MA.Functors.Powerset
, MA.Functors.FixedProduct , MA.Functors.FixedProduct
......
{-# 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
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment