Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Revert back accidental refactor of module VMap to ViewMap #2607

Merged
merged 1 commit into from
Jan 6, 2022
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Original file line number Diff line number Diff line change
Expand Up @@ -124,7 +124,7 @@ import Data.Coders
(!>),
(<!),
)
import qualified Data.Compact.ViewMap as VMap
import qualified Data.Compact.VMap as VMap
import Data.Default.Class (Default (..))
import Data.Either (fromRight)
import Data.Foldable (fold, foldMap')
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -51,7 +51,7 @@ import Cardano.Ledger.Shelley.TxBody (PoolParams)
import Cardano.Ledger.Val ((<+>), (<×>))
import Control.DeepSeq (NFData)
import Control.Monad.Trans (lift)
import Data.Compact.ViewMap as VMap
import Data.Compact.VMap as VMap
import Data.Default.Class (Default, def)
import Data.Map.Strict (Map)
import qualified Data.Map.Strict as Map
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -258,7 +258,7 @@ import Data.Coders
(<!),
(<*!),
)
import qualified Data.Compact.ViewMap as VMap
import qualified Data.Compact.VMap as VMap
import Data.Constraint (Constraint)
import Data.Default.Class (Default, def)
import Data.Foldable (fold, toList)
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -54,7 +54,7 @@ import Data.Coders
(!>),
(<!),
)
import Data.Compact.ViewMap as VMap
import Data.Compact.VMap as VMap
import Data.Default.Class (def)
import Data.Group (invert)
import Data.Kind (Type)
Expand Down
2 changes: 1 addition & 1 deletion eras/shelley/impl/src/Cardano/Ledger/Shelley/Rewards.hs
Original file line number Diff line number Diff line change
Expand Up @@ -95,7 +95,7 @@ import Control.DeepSeq (NFData)
import Control.Monad (guard)
import Control.Monad.Trans
import Data.Coders (Decode (..), Encode (..), decode, encode, (!>), (<!))
import qualified Data.Compact.ViewMap as VMap
import qualified Data.Compact.VMap as VMap
import Data.Default.Class (Default, def)
import Data.Foldable (find, fold)
import Data.Function (on)
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -39,7 +39,7 @@ import Cardano.Ledger.Slot
import qualified Cardano.Ledger.Val as Val
import Control.Provenance (runProvM)
import Control.State.Transition
import Data.Compact.ViewMap as VMap
import Data.Compact.VMap as VMap
import Data.Default.Class (Default, def)
import qualified Data.Map.Strict as Map
import Data.Ratio
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -103,7 +103,7 @@ import Control.State.Transition.Trace
import qualified Control.State.Transition.Trace as Trace
import Control.State.Transition.Trace.Generator.QuickCheck (forAllTraceFromInitState)
import qualified Control.State.Transition.Trace.Generator.QuickCheck as QC
import qualified Data.Compact.ViewMap as VMap
import qualified Data.Compact.VMap as VMap
import Data.Default.Class (Default)
import Data.Foldable (fold, foldl', toList)
import Data.Functor.Identity (Identity)
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -120,7 +120,7 @@ import Cardano.Slotting.Slot (EpochNo (..), EpochSize (..), SlotNo (..))
import Control.State.Transition (STS (State))
import qualified Data.ByteString.Char8 as BS
import Data.Coerce (coerce)
import qualified Data.Compact.ViewMap as VMap
import qualified Data.Compact.VMap as VMap
import Data.IP (IPv4, IPv6, toIPv4, toIPv6)
import qualified Data.Map.Strict as Map (empty, fromList)
import Data.Maybe (fromJust)
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -108,7 +108,7 @@ import Control.Monad.Trans.Reader (asks, runReader)
import Control.Provenance (ProvM, preservesJust, preservesNothing, runProvM, runWithProvM)
import Control.SetAlgebra (eval, (◁))
import Control.State.Transition.Trace (SourceSignalTarget (..), sourceSignalTargets)
import qualified Data.Compact.ViewMap as VMap
import qualified Data.Compact.VMap as VMap
import Data.Default.Class (Default (def))
import Data.Foldable (fold)
import Data.Map (Map)
Expand Down
2 changes: 1 addition & 1 deletion libs/cardano-data/src/Data/Coders.hs
Original file line number Diff line number Diff line change
Expand Up @@ -138,7 +138,7 @@ import Control.Applicative (liftA2)
import Control.Monad (replicateM, unless, when)
import Control.Monad.Trans
import Control.Monad.Trans.Identity
import qualified Data.Compact.ViewMap as VMap
import qualified Data.Compact.VMap as VMap
import Data.Foldable (foldl')
import Data.Functor.Compose (Compose (..))
import Data.Functor.Identity (Identity (..))
Expand Down
4 changes: 2 additions & 2 deletions libs/cardano-data/src/Data/Sharing.hs
Original file line number Diff line number Diff line change
Expand Up @@ -35,8 +35,8 @@ import Control.Monad.Trans
import Control.Monad.Trans.State.Strict
import Data.BiMap (BiMap (..), biMapFromMap)
import Data.Coders (decodeMap, decodeVMap, invalidKey)
import Data.Compact.ViewMap (VB, VMap, VP)
import qualified Data.Compact.ViewMap as VMap
import Data.Compact.VMap (VB, VMap, VP)
import qualified Data.Compact.VMap as VMap
import qualified Data.Foldable as F
import Data.Functor.Identity
import Data.Kind
Expand Down
2 changes: 1 addition & 1 deletion libs/cardano-ledger-pretty/src/Cardano/Ledger/Pretty.hs
Original file line number Diff line number Diff line change
Expand Up @@ -176,7 +176,7 @@ import Control.Monad.Identity (Identity)
import Control.State.Transition (STS (State))
import qualified Data.ByteString as Long (ByteString)
import qualified Data.ByteString.Lazy as Lazy (ByteString, toStrict)
import qualified Data.Compact.ViewMap as VMap
import qualified Data.Compact.VMap as VMap
import Data.IP (IPv4, IPv6)
import qualified Data.Map.Strict as Map (Map, toList)
import Data.MemoBytes (MemoBytes (..))
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@ import Cardano.Ledger.Coin
import Cardano.Ledger.Compactible
import Control.Monad
import Criterion
import Data.Compact.ViewMap as VMap
import Data.Compact.VMap as VMap
import Data.Foldable as F
import Data.Map.Strict as Map
import System.Random.Stateful
Expand Down
2 changes: 1 addition & 1 deletion libs/compact-map/bench/Bench.hs
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@ module Main where
import Control.Monad
import Criterion.Main
import Data.Compact.KeyMap as KeyMap
import Data.Compact.ViewMap as VMap
import Data.Compact.VMap as VMap
import Data.Foldable as F
import Data.Map.Strict as Map
import System.Random.Stateful as Random
Expand Down
4 changes: 2 additions & 2 deletions libs/compact-map/compact-map.cabal
Original file line number Diff line number Diff line change
Expand Up @@ -31,7 +31,7 @@ library

exposed-modules: Data.Compact.KeyMap
, Data.Compact.HashMap
, Data.Compact.ViewMap
, Data.Compact.VMap
, Data.Compact.SmallArray
, Data.Compact.SplitMap
other-modules: Data.Compact.KVVector
Expand All @@ -57,7 +57,7 @@ test-suite tests
main-is: Main.hs
other-modules: Test.Compact.SplitMap
, Test.Compact.KeyMap
, Test.Compact.ViewMap
, Test.Compact.VMap
type: exitcode-stdio-1.0
default-language: Haskell2010
build-depends: base
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
{-# LANGUAGE TypeFamilies #-}

module Data.Compact.ViewMap
module Data.Compact.VMap
( VG.Vector,
VB,
VU,
Expand Down
2 changes: 1 addition & 1 deletion libs/compact-map/test/Main.hs
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@ module Main where

import Test.Compact.KeyMap (alltests)
import Test.Compact.SplitMap (splitMapTests)
import Test.Compact.ViewMap
import Test.Compact.VMap
import Test.Tasty

-- ====================================================================================
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -2,9 +2,9 @@
{-# LANGUAGE TypeApplications #-}
{-# OPTIONS_GHC -Wno-orphans #-}

module Test.Compact.ViewMap where
module Test.Compact.VMap where

import Data.Compact.ViewMap as VMap
import Data.Compact.VMap as VMap
import qualified Data.List as List
import qualified Data.Map.Strict as Map
import Data.Proxy
Expand Down
2 changes: 1 addition & 1 deletion libs/ledger-state/src/Cardano/Ledger/State/Query.hs
Original file line number Diff line number Diff line change
Expand Up @@ -25,7 +25,7 @@ import Control.Foldl (Fold (..))
import Control.Monad
import Control.Monad.Trans.Reader
import qualified Data.Compact.KeyMap as KeyMap
import qualified Data.Compact.ViewMap as VMap
import qualified Data.Compact.VMap as VMap
import Data.Conduit.Internal (zipSources)
import Data.Conduit.List (sourceList)
import Data.Functor
Expand Down
2 changes: 1 addition & 1 deletion libs/ledger-state/src/Cardano/Ledger/State/UTxO.hs
Original file line number Diff line number Diff line change
Expand Up @@ -33,7 +33,7 @@ import Control.SetAlgebra (range)
import qualified Data.ByteString.Lazy as LBS
import Data.Compact.HashMap (toKey)
import Data.Compact.KeyMap as KeyMap
import qualified Data.Compact.ViewMap as VMap
import qualified Data.Compact.VMap as VMap
import Data.Foldable as F
import Data.Functor
import qualified Data.IntMap.Strict as IntMap
Expand Down