Rename hysterical-screams to rewindable-index

sjoerdvisscher · sjoerdvisscher · commit a498f50b125b · 2022-08-22T14:43:25.000+02:00
diff --git a/cabal.project b/cabal.project
@@ -8,7 +8,6 @@ packages: doc
           plutus-chain-index-core
           plutus-contract
           plutus-example
-          plutus-hysterical-screams 
           plutus-contract-certification
           plutus-ledger
           plutus-ledger-constraints
@@ -19,6 +18,7 @@ packages: doc
           plutus-tx-constraints
           plutus-use-cases
           plutus-streaming
+          rewindable-index
           web-ghc
 
 -- We never, ever, want this.
diff --git a/plutus-chain-index/app/Marconi.hs b/plutus-chain-index/app/Marconi.hs
@@ -38,12 +38,12 @@ import Marconi.Index.Utxo qualified as Utxo
 import Marconi.Logging (logging)
 import Options.Applicative (Mod, OptionFields, Parser, auto, execParser, flag', help, helper, info, long, maybeReader,
                             metavar, option, readerError, strOption, (<**>), (<|>))
-import Plutus.HystericalScreams.Index.VSplit qualified as Ix
 import Plutus.Streaming (ChainSyncEvent (RollBackward, RollForward), ChainSyncEventException (NoIntersectionFound),
                          withChainSyncEventStream)
 import Plutus.V1.Ledger.Api (Datum, DatumHash)
 import Prettyprinter (defaultLayoutOptions, layoutPretty, pretty, (<+>))
 import Prettyprinter.Render.Text (renderStrict)
+import RewindableIndex.Index.VSplit qualified as Ix
 import Streaming.Prelude qualified as S
 
 -- | This executable is meant to exercise a set of indexers (for now datumhash -> datum)
diff --git a/plutus-chain-index/app/Marconi/Index/Datum.hs b/plutus-chain-index/app/Marconi/Index/Datum.hs
@@ -26,9 +26,9 @@ import Database.SQLite.Simple.FromField (FromField (fromField), ResultError (Con
 import Database.SQLite.Simple.ToField (ToField (toField))
 
 import Cardano.Api (SlotNo (SlotNo))
-import Plutus.HystericalScreams.Index.VSqlite (SqliteIndex)
-import Plutus.HystericalScreams.Index.VSqlite qualified as Ix
 import Plutus.V1.Ledger.Api (Datum, DatumHash)
+import RewindableIndex.Index.VSqlite (SqliteIndex)
+import RewindableIndex.Index.VSqlite qualified as Ix
 
 type Event        = [(SlotNo, (DatumHash, Datum))]
 type Query        = DatumHash
diff --git a/plutus-chain-index/app/Marconi/Index/Utxo.hs b/plutus-chain-index/app/Marconi/Index/Utxo.hs
@@ -42,8 +42,8 @@ import Ledger (Address, TxId, TxOut, TxOutRef (TxOutRef, txOutRefId, txOutRefIdx
 import Ledger qualified as Ledger
 import System.Random.MWC (createSystemRandom, uniformR)
 
-import Plutus.HystericalScreams.Index.VSqlite (SqliteIndex)
-import Plutus.HystericalScreams.Index.VSqlite qualified as Ix
+import RewindableIndex.Index.VSqlite (SqliteIndex)
+import RewindableIndex.Index.VSqlite qualified as Ix
 
 data UtxoUpdate = UtxoUpdate
   { _inputs  :: !(Set TxOutRef)
diff --git a/plutus-chain-index/plutus-chain-index.cabal b/plutus-chain-index/plutus-chain-index.cabal
@@ -126,9 +126,9 @@ executable marconi
   -- Local components
   --------------------
   build-depends:
-    , plutus-hysterical-screams
     , plutus-ledger
     , plutus-streaming
+    , rewindable-index
 
   --------------------------
   -- Other IOG dependencies
diff --git a/rewindable-index/LICENSE b/rewindable-index/LICENSE
diff --git a/rewindable-index/NOTICE b/rewindable-index/NOTICE
diff --git a/rewindable-index/README.md b/rewindable-index/README.md
diff --git a/rewindable-index/rewindable-index.cabal b/rewindable-index/rewindable-index.cabal
@@ -1,5 +1,5 @@
 cabal-version: 2.2
-name:          plutus-hysterical-screams
+name:          rewindable-index
 version:       0.1.0.0
 synopsis:      Exercises in Algebra Driven Design
 description:
@@ -47,11 +47,11 @@ common lang
 library
   import:          lang
   exposed-modules:
-    Plutus.HystericalScreams.Index
-    Plutus.HystericalScreams.Index.Split
-    Plutus.HystericalScreams.Index.Sqlite
-    Plutus.HystericalScreams.Index.VSplit
-    Plutus.HystericalScreams.Index.VSqlite
+    RewindableIndex.Index
+    RewindableIndex.Index.Split
+    RewindableIndex.Index.Sqlite
+    RewindableIndex.Index.VSplit
+    RewindableIndex.Index.VSqlite
 
   hs-source-dirs:  src
   build-depends:
@@ -64,27 +64,27 @@ library
     , sqlite-simple
     , vector
 
-test-suite plutus-hysterical-screams-test
+test-suite rewindable-index-test
   import:         lang
   type:           exitcode-stdio-1.0
   main-is:        Spec.hs
   other-modules:
-    Plutus.HystericalScreams.Spec.Index
-    Plutus.HystericalScreams.Spec.Split
-    Plutus.HystericalScreams.Spec.Sqlite
-    Plutus.HystericalScreams.Spec.VSplit
-    Plutus.HystericalScreams.Spec.VSqlite
+    RewindableIndex.Spec.Index
+    RewindableIndex.Spec.Split
+    RewindableIndex.Spec.Sqlite
+    RewindableIndex.Spec.VSplit
+    RewindableIndex.Spec.VSqlite
 
   hs-source-dirs: test
   build-depends:
-    , base                       >=4.7 && <5
+    , base              >=4.7 && <5
     , containers
     , data-default
     , lens
-    , plutus-hysterical-screams
     , primitive
     , QuickCheck
     , quickspec
+    , rewindable-index
     , sqlite-simple
     , tasty
     , tasty-quickcheck
diff --git a/rewindable-index/src/RewindableIndex/Index.hs b/rewindable-index/src/RewindableIndex/Index.hs
@@ -1,4 +1,4 @@
-module Plutus.HystericalScreams.Index
+module RewindableIndex.Index
   ( Index(..)
   -- * Constructors
   , new
diff --git a/rewindable-index/src/RewindableIndex/Index/Split.hs b/rewindable-index/src/RewindableIndex/Index/Split.hs
@@ -1,4 +1,4 @@
-module Plutus.HystericalScreams.Index.Split
+module RewindableIndex.Index.Split
   ( -- * API
     SplitIndex(..)
   , new
@@ -16,7 +16,7 @@ import Data.Foldable (foldlM, toList)
 import Data.Sequence (Seq (..), ViewR (..))
 import Data.Sequence qualified as Seq
 
-import Plutus.HystericalScreams.Index (IndexView (..))
+import RewindableIndex.Index (IndexView (..))
 
 data SplitIndex m h e n q r = SplitIndex
   { siHandle        :: h
diff --git a/rewindable-index/src/RewindableIndex/Index/Sqlite.hs b/rewindable-index/src/RewindableIndex/Index/Sqlite.hs
@@ -1,4 +1,4 @@
-module Plutus.HystericalScreams.Index.Sqlite
+module RewindableIndex.Index.Sqlite
   ( -- * API
     SqliteIndex
   , new
@@ -16,8 +16,8 @@ import Data.Sequence (Seq (..))
 import Data.Sequence qualified as Seq
 import Database.SQLite.Simple (Connection, open)
 
-import Plutus.HystericalScreams.Index.Split (SplitIndex (..))
-import Plutus.HystericalScreams.Index.Split qualified as S
+import RewindableIndex.Index.Split (SplitIndex (..))
+import RewindableIndex.Index.Split qualified as S
 
 type SqliteIndex e n q r = SplitIndex IO Connection e n q r
 
diff --git a/rewindable-index/src/RewindableIndex/Index/VSplit.hs b/rewindable-index/src/RewindableIndex/Index/VSplit.hs
@@ -1,4 +1,4 @@
-module Plutus.HystericalScreams.Index.VSplit
+module RewindableIndex.Index.VSplit
   ( SplitIndex(..)
   , new
   , newBoxed
@@ -34,7 +34,7 @@ import Data.Vector.Generic qualified as VG
 import Data.Vector.Generic.Mutable qualified as VGM
 import Data.Vector.Unboxed qualified as VU
 
-import Plutus.HystericalScreams.Index (IndexView (..))
+import RewindableIndex.Index (IndexView (..))
 
 data Storage v m e = Storage
   { _events :: (VG.Mutable v) (PrimState m) e
diff --git a/rewindable-index/src/RewindableIndex/Index/VSqlite.hs b/rewindable-index/src/RewindableIndex/Index/VSqlite.hs
@@ -1,4 +1,4 @@
-module Plutus.HystericalScreams.Index.VSqlite
+module RewindableIndex.Index.VSqlite
   ( -- * API
     SqliteIndex
   , new
@@ -23,8 +23,8 @@ import Data.Vector.Generic qualified as VG
 import Data.Vector.Generic.Mutable qualified as VGM
 import Database.SQLite.Simple (Connection, open)
 
-import Plutus.HystericalScreams.Index.VSplit (SplitIndex (..), Storage (..))
-import Plutus.HystericalScreams.Index.VSplit qualified as S
+import RewindableIndex.Index.VSplit (SplitIndex (..), Storage (..))
+import RewindableIndex.Index.VSplit qualified as S
 
 type SqliteIndex e n q r = SplitIndex IO Connection V.Vector e n q r
 
diff --git a/rewindable-index/test/RewindableIndex/Spec/Index.hs b/rewindable-index/test/RewindableIndex/Spec/Index.hs
@@ -1,12 +1,12 @@
-module Plutus.HystericalScreams.Spec.Index where
+module RewindableIndex.Spec.Index where
 
 import Data.Functor.Identity (Identity, runIdentity)
 import Data.List (foldl', isPrefixOf, scanl')
 import Data.Maybe (fromJust, isJust, isNothing, mapMaybe)
 import Test.QuickCheck.Monadic
 import Test.Tasty.QuickCheck
 
-import Plutus.HystericalScreams.Index
+import RewindableIndex.Index
 
 data Conversion m a e n = Conversion
   { cView          :: Index a e n -> m (Maybe (IndexView a))
diff --git a/rewindable-index/test/RewindableIndex/Spec/Split.hs b/rewindable-index/test/RewindableIndex/Spec/Split.hs
@@ -1,4 +1,4 @@
-module Plutus.HystericalScreams.Spec.Split where
+module RewindableIndex.Spec.Split where
 
 import Control.Concurrent.MVar (MVar, newMVar, readMVar, swapMVar)
 import Control.Monad.IO.Class (liftIO)
@@ -9,11 +9,11 @@ import Data.Sequence qualified as Seq
 import Test.QuickCheck (Property)
 import Test.QuickCheck.Monadic (PropertyM, monadicIO)
 
-import Plutus.HystericalScreams.Index (Index, IndexView (..))
-import Plutus.HystericalScreams.Index qualified as Ix
-import Plutus.HystericalScreams.Index.Split (SplitIndex (..))
-import Plutus.HystericalScreams.Index.Split qualified as S
-import Plutus.HystericalScreams.Spec.Index (Conversion (..))
+import RewindableIndex.Index (Index, IndexView (..))
+import RewindableIndex.Index qualified as Ix
+import RewindableIndex.Index.Split (SplitIndex (..))
+import RewindableIndex.Index.Split qualified as S
+import RewindableIndex.Spec.Index (Conversion (..))
 
 conversion :: (Show s, Show e, Show n, Default s) => Conversion (PropertyM IO) s e n
 conversion = Conversion
diff --git a/rewindable-index/test/RewindableIndex/Spec/Sqlite.hs b/rewindable-index/test/RewindableIndex/Spec/Sqlite.hs
@@ -1,4 +1,4 @@
-module Plutus.HystericalScreams.Spec.Sqlite where
+module RewindableIndex.Spec.Sqlite where
 
 import Control.Monad.IO.Class (liftIO)
 import Data.Default
@@ -12,12 +12,12 @@ import Test.QuickCheck (Property)
 import Test.QuickCheck.Monadic (PropertyM, monadicIO)
 import Test.QuickCheck.Monadic qualified as M
 
-import Plutus.HystericalScreams.Index (Index, IndexView (..))
-import Plutus.HystericalScreams.Index qualified as Ix
-import Plutus.HystericalScreams.Index.Split (SplitIndex (..))
-import Plutus.HystericalScreams.Index.Sqlite (SqliteIndex)
-import Plutus.HystericalScreams.Index.Sqlite qualified as S
-import Plutus.HystericalScreams.Spec.Index (Conversion (..))
+import RewindableIndex.Index (Index, IndexView (..))
+import RewindableIndex.Index qualified as Ix
+import RewindableIndex.Index.Split (SplitIndex (..))
+import RewindableIndex.Index.Sqlite (SqliteIndex)
+import RewindableIndex.Index.Sqlite qualified as S
+import RewindableIndex.Spec.Index (Conversion (..))
 
 conversion
   :: (Show e, Show n, Show a, Default a, ToField a, FromField a)
diff --git a/rewindable-index/test/RewindableIndex/Spec/VSplit.hs b/rewindable-index/test/RewindableIndex/Spec/VSplit.hs
@@ -1,4 +1,4 @@
-module Plutus.HystericalScreams.Spec.VSplit where
+module RewindableIndex.Spec.VSplit where
 
 import Control.Concurrent.MVar (MVar, newMVar, readMVar, swapMVar)
 import Control.Monad.IO.Class (liftIO)
@@ -10,11 +10,11 @@ import Test.QuickCheck.Monadic (PropertyM, monadicIO)
 import Control.Lens.Operators
 import Data.Vector qualified as V
 
-import Plutus.HystericalScreams.Index (Index, IndexView (..))
-import Plutus.HystericalScreams.Index qualified as Ix
-import Plutus.HystericalScreams.Index.VSplit (SplitIndex (..))
-import Plutus.HystericalScreams.Index.VSplit qualified as S
-import Plutus.HystericalScreams.Spec.Index (Conversion (..))
+import RewindableIndex.Index (Index, IndexView (..))
+import RewindableIndex.Index qualified as Ix
+import RewindableIndex.Index.VSplit (SplitIndex (..))
+import RewindableIndex.Index.VSplit qualified as S
+import RewindableIndex.Spec.Index (Conversion (..))
 
 conversion
   :: Show s
diff --git a/rewindable-index/test/RewindableIndex/Spec/VSqlite.hs b/rewindable-index/test/RewindableIndex/Spec/VSqlite.hs
@@ -1,6 +1,6 @@
 {-# LANGUAGE Strict #-}
 
-module Plutus.HystericalScreams.Spec.VSqlite where
+module RewindableIndex.Spec.VSqlite where
 
 import Control.Lens.Operators
 import Control.Monad.IO.Class (liftIO)
@@ -13,11 +13,11 @@ import Test.QuickCheck (Property)
 import Test.QuickCheck.Monadic (PropertyM, monadicIO)
 import Test.QuickCheck.Monadic qualified as M
 
-import Plutus.HystericalScreams.Index (Index, IndexView (..))
-import Plutus.HystericalScreams.Index qualified as Ix
-import Plutus.HystericalScreams.Index.VSqlite (SqliteIndex)
-import Plutus.HystericalScreams.Index.VSqlite qualified as S
-import Plutus.HystericalScreams.Spec.Index (Conversion (..))
+import RewindableIndex.Index (Index, IndexView (..))
+import RewindableIndex.Index qualified as Ix
+import RewindableIndex.Index.VSqlite (SqliteIndex)
+import RewindableIndex.Index.VSqlite qualified as S
+import RewindableIndex.Spec.Index (Conversion (..))
 
 conversion
   :: (Show e, Show n, Show a, Default a, ToField a, FromField a)
diff --git a/rewindable-index/test/Spec.hs b/rewindable-index/test/Spec.hs
@@ -1,11 +1,11 @@
 import Test.Tasty
 import Test.Tasty.QuickCheck
 
-import Plutus.HystericalScreams.Spec.Index qualified as Ix
-import Plutus.HystericalScreams.Spec.Split qualified as S
-import Plutus.HystericalScreams.Spec.Sqlite qualified as Sqlite
-import Plutus.HystericalScreams.Spec.VSplit qualified as V
-import Plutus.HystericalScreams.Spec.VSqlite qualified as VS
+import RewindableIndex.Spec.Index qualified as Ix
+import RewindableIndex.Spec.Split qualified as S
+import RewindableIndex.Spec.Sqlite qualified as Sqlite
+import RewindableIndex.Spec.VSplit qualified as V
+import RewindableIndex.Spec.VSqlite qualified as VS
 
 tests :: TestTree
 tests = testGroup "Index" [ixProperties, siProperties, sqProperties, viProperties, vsProperties]

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-module Plutus.HystericalScreams.Index`
	`1`	`+module RewindableIndex.Index`
`2`	`2`	`( Index(..)`
`3`	`3`	`-- * Constructors`
`4`	`4`	`, new`