resources: UUID-named mutable content

xc-jp · Dec 20, 2021 · aa50375 · aa50375
1 parent ae02012
commit aa50375
Show file tree

Hide file tree

Showing 7 changed files with 792 additions and 306 deletions.
diff --git a/casper.cabal b/casper.cabal
@@ -15,8 +15,9 @@ extra-source-files: README.md
 library
   exposed-modules:
     Casper
-    Content
-    Internal
+    Casper.Content
+    Casper.Internal
+    Casper.Resource
 
   hs-source-dirs:   src
   default-language: Haskell2010
@@ -36,6 +37,7 @@ library
     , mtl
     , process
     , stm
+    , uuid
 
 test-suite casper-spec
   type:             exitcode-stdio-1.0

diff --git a/src/Casper.hs b/src/Casper.hs
@@ -15,9 +15,14 @@ module Casper
     initStore,
     catchError,
     hashBS,
+    newResource,
+    readResource,
+    writeResource,
+    modifyResource,
+    getRoot,
   )
 where
 
-import Content
+import Casper.Content
+import Casper.Internal
 import Control.Monad.Except (catchError)
-import Internal
diff --git a/src/Content.hs → src/Casper/Content.hs b/src/Content.hs → src/Casper/Content.hs
@@ -6,7 +6,7 @@
 {-# LANGUAGE StandaloneDeriving #-}
 {-# LANGUAGE TypeOperators #-}
 
-module Content
+module Casper.Content
   ( SHA256 (..),
     Ref (..),
     Content (..),
@@ -178,6 +178,8 @@ deriving instance Content Any
 
 deriving instance Content All
 
+type JSONContent a = (Aeson.FromJSON a, Aeson.ToJSON a, Content a)
+
 deriving instance JSONContent a => Content (Product a)
 
 deriving instance JSONContent a => Content (Dual a)
@@ -188,8 +190,6 @@ deriving instance JSONContent a => Content (First a)
 
 deriving instance JSONContent a => Content (Last a)
 
-type JSONContent a = (Aeson.FromJSON a, Aeson.ToJSON a, Content a)
-
 instance (JSONContent a) => Content [a]
 
 instance JSONContent a => Content (Maybe a)