remove DefaultOrder type

msakai · Nov 3, 2021 · 0ada230 · 0ada230
1 parent c2a2725
commit 0ada230
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 6 deletions.
diff --git a/src/Data/DecisionDiagram/BDD.hs b/src/Data/DecisionDiagram/BDD.hs
@@ -32,7 +32,6 @@ module Data.DecisionDiagram.BDD
 
   -- * Item ordering
   , ItemOrder (..)
-  , DefaultOrder
   , AscOrder
   , DescOrder
   , withDefaultOrder

diff --git a/src/Data/DecisionDiagram/BDD/Internal/ItemOrder.hs b/src/Data/DecisionDiagram/BDD/Internal/ItemOrder.hs
@@ -18,7 +18,6 @@ module Data.DecisionDiagram.BDD.Internal.ItemOrder
   (
   -- * Item ordering
     ItemOrder (..)
-  , DefaultOrder
   , AscOrder
   , DescOrder
   , withDefaultOrder
@@ -38,8 +37,6 @@ import Data.Reflection
 class ItemOrder a where
   compareItem :: proxy a -> Int -> Int -> Ordering
 
-type DefaultOrder = AscOrder
-
 data AscOrder
 
 data DescOrder
@@ -61,8 +58,9 @@ withAscOrder k = k Proxy
 withDescOrder :: forall r. (Proxy DescOrder -> r) -> r
 withDescOrder k = k Proxy
 
+-- | Currently the default order is 'AscOrder'
 withDefaultOrder :: forall r. (forall a. ItemOrder a => Proxy a -> r) -> r
-withDefaultOrder k = k (Proxy :: Proxy DefaultOrder)
+withDefaultOrder k = k (Proxy :: Proxy AscOrder)
 
 withCustomOrder :: forall r. (Int -> Int -> Ordering) -> (forall a. ItemOrder a => Proxy a -> r) -> r
 withCustomOrder cmp k = reify cmp (\(_ :: Proxy s) -> k (Proxy :: Proxy (CustomOrder s)))

diff --git a/src/Data/DecisionDiagram/ZDD.hs b/src/Data/DecisionDiagram/ZDD.hs
@@ -34,7 +34,6 @@ module Data.DecisionDiagram.ZDD
 
   -- * Item ordering
   , ItemOrder (..)
-  , DefaultOrder
   , AscOrder
   , DescOrder
   , withDefaultOrder