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

Move RefinementInterface to new hierarchy

parent c9daf572
......@@ -21,7 +21,7 @@ custom-setup
library
hs-source-dirs: src
exposed-modules: Data.MorphismEncoding
, Data.RefinementInterface
, MA.RefinementInterface
, Data.Sort
, Data.RefinablePartition
, Data.Vector.Unboxed.Mutable.Utils
......
......@@ -14,7 +14,7 @@ import qualified Data.BlockQueue as Queue
import Data.MorphismEncoding
import Data.Partition (Partition)
import qualified Data.RefinablePartition as Partition
import Data.RefinementInterface (RefinementInterface)
import MA.RefinementInterface (RefinementInterface)
import MA.Coalgebra.RefinementTypes
import MA.Algorithm.Types
import MA.Algorithm.Initialize
......
......@@ -13,8 +13,8 @@ import Data.Vector.Utils
import Data.MorphismEncoding
import Data.RefinablePartition (Block)
import Data.RefinementInterface (RefinementInterface)
import qualified Data.RefinementInterface as RI
import MA.RefinementInterface (RefinementInterface)
import qualified MA.RefinementInterface as RI
import MA.Algorithm.Types
import MA.Coalgebra.RefinementTypes
import qualified Data.RefinablePartition as Partition
......
......@@ -27,8 +27,8 @@ import qualified Data.BlockQueue as Queue
import Data.MorphismEncoding
import Data.RefinablePartition (State, Block)
import qualified Data.RefinablePartition as Partition
import Data.RefinementInterface (RefinementInterface)
import qualified Data.RefinementInterface as RI
import MA.RefinementInterface (RefinementInterface)
import qualified MA.RefinementInterface as RI
import MA.Coalgebra.RefinementTypes
import MA.Algorithm.Types
......
......@@ -7,7 +7,7 @@ import Prelude hiding (init)
import MA.FunctorExpression.Type
import MA.FunctorExpression.Sorts
import Data.RefinementInterface
import MA.RefinementInterface
import MA.Coalgebra.RefinementTypes
data Desorted f a = Desorted (FunctorExpression f Sort) a
......
......@@ -11,7 +11,7 @@ import qualified Data.Vector as V
import Data.Vector (Vector)
import Data.Text (Text)
import Data.RefinementInterface
import MA.RefinementInterface
import qualified MA.Parser.Lexer as L
import MA.Parser.Types
import MA.FunctorExpression.Parser
......
......@@ -12,7 +12,7 @@ import Control.Monad (when)
import qualified Data.Set as S
import Text.Megaparsec
import Data.RefinementInterface
import MA.RefinementInterface
import MA.Coalgebra.Parser
import MA.Coalgebra.RefinementTypes
import MA.FunctorExpression.Parser
......
......@@ -8,7 +8,7 @@ import Control.Monad (when)
import qualified Data.Set as S
import Text.Megaparsec
import Data.RefinementInterface
import MA.RefinementInterface
import qualified MA.Parser.Lexer as L
import MA.FunctorExpression.Parser
import MA.Coalgebra.RefinementTypes
......
......@@ -9,7 +9,7 @@ import Prelude hiding (init)
import Type.Reflection
import Data.Maybe (mapMaybe)
import Data.RefinementInterface
import MA.RefinementInterface
import MA.Coalgebra.RefinementTypes
import MA.FunctorExpression.Parser
import MA.Coalgebra.Parser
......
{-# LANGUAGE AllowAmbiguousTypes #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE PolyKinds #-}
module Data.RefinementInterface where
module MA.RefinementInterface where
import MA.Coalgebra.RefinementTypes
......
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