Safe Haskell	None
Language	Haskell2010

Control.Kernmantle.Caching

Contents

Orphan instances

Synopsis

data ContentStore
class Monad m => ContentHashable (m :: Type -> Type) a
type PureHashable = ContentHashable Identity
type IOHashable = ContentHashable IO
class ProvidesCaching eff where
- usingStore :: (ContentHashable IO a, Store b) => eff a b -> eff a b
class ProvidesCaching eff => ProvidesPosCaching eff where
- usingStore' :: (ContentHashable IO a, Store b) => eff a b -> eff a b
newtype AutoIdent (arr :: Type -> Type -> Type) a b = AutoIdent (ArrowIdent -> arr a b)
data SomeHashable where
- SomePureHashable :: PureHashable a => a -> SomeHashable
- SomeIOHashable :: IOHashable a => a -> SomeHashable
data StoreWithId remoteCacher = StoreWithId ContentStore remoteCacher (Maybe Int)
type LocalStoreWithId = StoreWithId NoCache
type CachingContext = [SomeHashable]
withStore :: (MonadIO m, MonadMask m) => Path Abs Dir -> (ContentStore -> m a) -> m a
caching :: (Arrow core, ProvidesCaching core, ContentHashable IO ident, ContentHashable IO a, Store b) => ident -> Rope r mantle core a b -> Rope r mantle core a b
caching' :: (ProvidesPosCaching core, ContentHashable IO a, Show a, Store b) => Rope r mantle core a b -> Rope r mantle core a b
localStoreWithId :: ContentStore -> Maybe Int -> LocalStoreWithId

Documentation

data ContentStore #

A hash addressed store on the file system.

class Monad m => ContentHashable (m :: Type -> Type) a #

Instances

Instances details

ContentHashable IO FileContent
Instance details Defined in Data.CAS.ContentHashable Methods contentHashUpdate :: Context SHA256 -> FileContent -> IO (Context SHA256) # contentHash :: FileContent -> IO ContentHash #
ContentHashable IO ExternallyAssuredFile
Instance details Defined in Data.CAS.ContentHashable Methods contentHashUpdate :: Context SHA256 -> ExternallyAssuredFile -> IO (Context SHA256) # contentHash :: ExternallyAssuredFile -> IO ContentHash #
ContentHashable IO ExternallyAssuredDirectory
Instance details Defined in Data.CAS.ContentHashable Methods contentHashUpdate :: Context SHA256 -> ExternallyAssuredDirectory -> IO (Context SHA256) # contentHash :: ExternallyAssuredDirectory -> IO ContentHash #
ContentHashable IO Alias
Instance details Defined in Data.CAS.ContentStore Methods contentHashUpdate :: Context SHA256 -> Alias -> IO (Context SHA256) # contentHash :: Alias -> IO ContentHash #
ContentHashable IO SomeHashable Source #
Instance details Defined in Control.Kernmantle.Caching Methods contentHashUpdate :: Context SHA256 -> SomeHashable -> IO (Context SHA256) # contentHash :: SomeHashable -> IO ContentHash #
Monad m => ContentHashable m ArrowIdent Source #
Instance details Defined in Control.Kernmantle.Caching Methods contentHashUpdate :: Context SHA256 -> ArrowIdent -> m (Context SHA256) # contentHash :: ArrowIdent -> m ContentHash #
Monad m => ContentHashable m SplitId Source #
Instance details Defined in Control.Kernmantle.Caching Methods contentHashUpdate :: Context SHA256 -> SplitId -> m (Context SHA256) # contentHash :: SplitId -> m ContentHash #
Monad m => ContentHashable m Word
Instance details Defined in Data.CAS.ContentHashable Methods contentHashUpdate :: Context SHA256 -> Word -> m (Context SHA256) # contentHash :: Word -> m ContentHash #
Monad m => ContentHashable m Item
Instance details Defined in Data.CAS.ContentStore Methods contentHashUpdate :: Context SHA256 -> Item -> m (Context SHA256) # contentHash :: Item -> m ContentHash #
Monad m => ContentHashable m Word8
Instance details Defined in Data.CAS.ContentHashable Methods contentHashUpdate :: Context SHA256 -> Word8 -> m (Context SHA256) # contentHash :: Word8 -> m ContentHash #
Monad m => ContentHashable m Word64
Instance details Defined in Data.CAS.ContentHashable Methods contentHashUpdate :: Context SHA256 -> Word64 -> m (Context SHA256) # contentHash :: Word64 -> m ContentHash #
Monad m => ContentHashable m Word32
Instance details Defined in Data.CAS.ContentHashable Methods contentHashUpdate :: Context SHA256 -> Word32 -> m (Context SHA256) # contentHash :: Word32 -> m ContentHash #
Monad m => ContentHashable m Word16
Instance details Defined in Data.CAS.ContentHashable Methods contentHashUpdate :: Context SHA256 -> Word16 -> m (Context SHA256) # contentHash :: Word16 -> m ContentHash #
Monad m => ContentHashable m Value
Instance details Defined in Data.CAS.ContentHashable Methods contentHashUpdate :: Context SHA256 -> Value -> m (Context SHA256) # contentHash :: Value -> m ContentHash #
Monad m => ContentHashable m UTCTime
Instance details Defined in Data.CAS.ContentHashable Methods contentHashUpdate :: Context SHA256 -> UTCTime -> m (Context SHA256) # contentHash :: UTCTime -> m ContentHash #
Monad m => ContentHashable m Text
Instance details Defined in Data.CAS.ContentHashable Methods contentHashUpdate :: Context SHA256 -> Text -> m (Context SHA256) # contentHash :: Text -> m ContentHash #
Monad m => ContentHashable m Text
Instance details Defined in Data.CAS.ContentHashable Methods contentHashUpdate :: Context SHA256 -> Text -> m (Context SHA256) # contentHash :: Text -> m ContentHash #
Monad m => ContentHashable m Scientific
Instance details Defined in Data.CAS.ContentHashable Methods contentHashUpdate :: Context SHA256 -> Scientific -> m (Context SHA256) # contentHash :: Scientific -> m ContentHash #
Monad m => ContentHashable m Natural
Instance details Defined in Data.CAS.ContentHashable Methods contentHashUpdate :: Context SHA256 -> Natural -> m (Context SHA256) # contentHash :: Natural -> m ContentHash #
Monad m => ContentHashable m Key
Instance details Defined in Data.CAS.ContentHashable Methods contentHashUpdate :: Context SHA256 -> Key -> m (Context SHA256) # contentHash :: Key -> m ContentHash #
Monad m => ContentHashable m Integer
Instance details Defined in Data.CAS.ContentHashable Methods contentHashUpdate :: Context SHA256 -> Integer -> m (Context SHA256) # contentHash :: Integer -> m ContentHash #
Monad m => ContentHashable m Int8
Instance details Defined in Data.CAS.ContentHashable Methods contentHashUpdate :: Context SHA256 -> Int8 -> m (Context SHA256) # contentHash :: Int8 -> m ContentHash #
Monad m => ContentHashable m Int64
Instance details Defined in Data.CAS.ContentHashable Methods contentHashUpdate :: Context SHA256 -> Int64 -> m (Context SHA256) # contentHash :: Int64 -> m ContentHash #
Monad m => ContentHashable m Int32
Instance details Defined in Data.CAS.ContentHashable Methods contentHashUpdate :: Context SHA256 -> Int32 -> m (Context SHA256) # contentHash :: Int32 -> m ContentHash #
Monad m => ContentHashable m Int16
Instance details Defined in Data.CAS.ContentHashable Methods contentHashUpdate :: Context SHA256 -> Int16 -> m (Context SHA256) # contentHash :: Int16 -> m ContentHash #
Monad m => ContentHashable m Int
Instance details Defined in Data.CAS.ContentHashable Methods contentHashUpdate :: Context SHA256 -> Int -> m (Context SHA256) # contentHash :: Int -> m ContentHash #
Monad m => ContentHashable m Float
Instance details Defined in Data.CAS.ContentHashable Methods contentHashUpdate :: Context SHA256 -> Float -> m (Context SHA256) # contentHash :: Float -> m ContentHash #
Monad m => ContentHashable m Fingerprint
Instance details Defined in Data.CAS.ContentHashable Methods contentHashUpdate :: Context SHA256 -> Fingerprint -> m (Context SHA256) # contentHash :: Fingerprint -> m ContentHash #
Monad m => ContentHashable m Double
Instance details Defined in Data.CAS.ContentHashable Methods contentHashUpdate :: Context SHA256 -> Double -> m (Context SHA256) # contentHash :: Double -> m ContentHash #
MonadIO m => ContentHashable m DirectoryContent
Instance details Defined in Data.CAS.ContentHashable Methods contentHashUpdate :: Context SHA256 -> DirectoryContent -> m (Context SHA256) # contentHash :: DirectoryContent -> m ContentHash #
Monad m => ContentHashable m Char
Instance details Defined in Data.CAS.ContentHashable Methods contentHashUpdate :: Context SHA256 -> Char -> m (Context SHA256) # contentHash :: Char -> m ContentHash #
Monad m => ContentHashable m ByteString
Instance details Defined in Data.CAS.ContentHashable Methods contentHashUpdate :: Context SHA256 -> ByteString -> m (Context SHA256) # contentHash :: ByteString -> m ContentHash #
Monad m => ContentHashable m ByteString
Instance details Defined in Data.CAS.ContentHashable Methods contentHashUpdate :: Context SHA256 -> ByteString -> m (Context SHA256) # contentHash :: ByteString -> m ContentHash #
Monad m => ContentHashable m Bool
Instance details Defined in Data.CAS.ContentHashable Methods contentHashUpdate :: Context SHA256 -> Bool -> m (Context SHA256) # contentHash :: Bool -> m ContentHash #
Monad m => ContentHashable m ()
Instance details Defined in Data.CAS.ContentHashable Methods contentHashUpdate :: Context SHA256 -> () -> m (Context SHA256) # contentHash :: () -> m ContentHash #
(Typeable a, ContentHashable m a) => ContentHashable m [a]
Instance details Defined in Data.CAS.ContentHashable Methods contentHashUpdate :: Context SHA256 -> [a] -> m (Context SHA256) # contentHash :: [a] -> m ContentHash #
(ContentHashable m n, Typeable n) => ContentHashable m (Ratio n)
Instance details Defined in Data.CAS.ContentHashable Methods contentHashUpdate :: Context SHA256 -> Ratio n -> m (Context SHA256) # contentHash :: Ratio n -> m ContentHash #
Monad m => ContentHashable m (Content Dir)
Instance details Defined in Data.CAS.ContentStore Methods contentHashUpdate :: Context SHA256 -> Content Dir -> m (Context SHA256) # contentHash :: Content Dir -> m ContentHash #
Monad m => ContentHashable m (Content File)
Instance details Defined in Data.CAS.ContentStore Methods contentHashUpdate :: Context SHA256 -> Content File -> m (Context SHA256) # contentHash :: Content File -> m ContentHash #
(Typeable a, ContentHashable m a) => ContentHashable m (Vector a)
Instance details Defined in Data.CAS.ContentHashable Methods contentHashUpdate :: Context SHA256 -> Vector a -> m (Context SHA256) # contentHash :: Vector a -> m ContentHash #
(Typeable a, Storable a, ContentHashable m a) => ContentHashable m (Vector a)
Instance details Defined in Data.CAS.ContentHashable Methods contentHashUpdate :: Context SHA256 -> Vector a -> m (Context SHA256) # contentHash :: Vector a -> m ContentHash #
(Typeable a, Unbox a, ContentHashable m a) => ContentHashable m (Vector a)
Instance details Defined in Data.CAS.ContentHashable Methods contentHashUpdate :: Context SHA256 -> Vector a -> m (Context SHA256) # contentHash :: Vector a -> m ContentHash #
(Typeable a, ContentHashable m a) => ContentHashable m (NonEmpty a)
Instance details Defined in Data.CAS.ContentHashable Methods contentHashUpdate :: Context SHA256 -> NonEmpty a -> m (Context SHA256) # contentHash :: NonEmpty a -> m ContentHash #
ContentHashable m a => ContentHashable m (Maybe a)
Instance details Defined in Data.CAS.ContentHashable Methods contentHashUpdate :: Context SHA256 -> Maybe a -> m (Context SHA256) # contentHash :: Maybe a -> m ContentHash #
Monad m => ContentHashable m (KeyMap Value)
Instance details Defined in Data.CAS.ContentHashable Methods contentHashUpdate :: Context SHA256 -> KeyMap Value -> m (Context SHA256) # contentHash :: KeyMap Value -> m ContentHash #
(Typeable v, ContentHashable m v) => ContentHashable m (HashSet v)
Instance details Defined in Data.CAS.ContentHashable Methods contentHashUpdate :: Context SHA256 -> HashSet v -> m (Context SHA256) # contentHash :: HashSet v -> m ContentHash #
(ContentHashable m a, ContentHashable m b) => ContentHashable m (a, b)
Instance details Defined in Data.CAS.ContentHashable Methods contentHashUpdate :: Context SHA256 -> (a, b) -> m (Context SHA256) # contentHash :: (a, b) -> m ContentHash #
(Monad m, Typeable b, Typeable t) => ContentHashable m (Path b t)
Instance details Defined in Data.CAS.ContentHashable Methods contentHashUpdate :: Context SHA256 -> Path b t -> m (Context SHA256) # contentHash :: Path b t -> m ContentHash #
(Typeable k, Typeable v, ContentHashable m k, ContentHashable m v) => ContentHashable m (Map k v)
Instance details Defined in Data.CAS.ContentHashable Methods contentHashUpdate :: Context SHA256 -> Map k v -> m (Context SHA256) # contentHash :: Map k v -> m ContentHash #
(Typeable k, Typeable v, ContentHashable m k, ContentHashable m v) => ContentHashable m (HashMap k v)
Instance details Defined in Data.CAS.ContentHashable Methods contentHashUpdate :: Context SHA256 -> HashMap k v -> m (Context SHA256) # contentHash :: HashMap k v -> m ContentHash #
(ContentHashable m a, ContentHashable m b) => ContentHashable m (Either a b)
Instance details Defined in Data.CAS.ContentHashable Methods contentHashUpdate :: Context SHA256 -> Either a b -> m (Context SHA256) # contentHash :: Either a b -> m ContentHash #
(ContentHashable m a, ContentHashable m b, ContentHashable m c) => ContentHashable m (a, b, c)
Instance details Defined in Data.CAS.ContentHashable Methods contentHashUpdate :: Context SHA256 -> (a, b, c) -> m (Context SHA256) # contentHash :: (a, b, c) -> m ContentHash #
(ContentHashable m a, ContentHashable m b, ContentHashable m c, ContentHashable m d) => ContentHashable m (a, b, c, d)
Instance details Defined in Data.CAS.ContentHashable Methods contentHashUpdate :: Context SHA256 -> (a, b, c, d) -> m (Context SHA256) # contentHash :: (a, b, c, d) -> m ContentHash #
(ContentHashable m a, ContentHashable m b, ContentHashable m c, ContentHashable m d, ContentHashable m e) => ContentHashable m (a, b, c, d, e)
Instance details Defined in Data.CAS.ContentHashable Methods contentHashUpdate :: Context SHA256 -> (a, b, c, d, e) -> m (Context SHA256) # contentHash :: (a, b, c, d, e) -> m ContentHash #
(Monad m, ContentHashable m a, ContentHashable m b, ContentHashable m c, ContentHashable m d, ContentHashable m e, ContentHashable m f) => ContentHashable m (a, b, c, d, e, f)
Instance details Defined in Data.CAS.ContentHashable Methods contentHashUpdate :: Context SHA256 -> (a, b, c, d, e, f) -> m (Context SHA256) # contentHash :: (a, b, c, d, e, f) -> m ContentHash #
(Monad m, ContentHashable m a, ContentHashable m b, ContentHashable m c, ContentHashable m d, ContentHashable m e, ContentHashable m f, ContentHashable m g) => ContentHashable m (a, b, c, d, e, f, g)
Instance details Defined in Data.CAS.ContentHashable Methods contentHashUpdate :: Context SHA256 -> (a, b, c, d, e, f, g) -> m (Context SHA256) # contentHash :: (a, b, c, d, e, f, g) -> m ContentHash #

type PureHashable = ContentHashable Identity Source #

A value directly hashable

type IOHashable = ContentHashable IO Source #

A value hashable via some IO action

class ProvidesCaching eff where Source #

A class to cache part of the pipeline

Methods

usingStore :: (ContentHashable IO a, Store b) => eff a b -> eff a b Source #

Instances

Instances details

ProvidesCaching eff => ProvidesCaching (AutoIdent eff) Source #
Instance details Defined in Control.Kernmantle.Caching Methods usingStore :: (ContentHashable IO a, Store b) => AutoIdent eff a b -> AutoIdent eff a b Source #
(Functor f, ProvidesCaching eff) => ProvidesCaching (f ~> eff) Source #
Instance details Defined in Control.Kernmantle.Caching Methods usingStore :: (ContentHashable IO a, Store b) => (f ~> eff) a b -> (f ~> eff) a b Source #
(MonadIO m, MonadUnliftIO m, MonadMask m, Cacher m remoteCacher, HasKleisli m eff) => ProvidesCaching (Reader (StoreWithId remoteCacher) ~> eff) Source #
Instance details Defined in Control.Kernmantle.Caching Methods usingStore :: (ContentHashable IO a, Store b) => (Reader (StoreWithId remoteCacher) ~> eff) a b -> (Reader (StoreWithId remoteCacher) ~> eff) a b Source #
(Arrow eff, ProvidesCaching eff) => ProvidesCaching (Writer CachingContext ~> eff) Source #
Instance details Defined in Control.Kernmantle.Caching Methods usingStore :: (ContentHashable IO a, Store b) => (Writer CachingContext ~> eff) a b -> (Writer CachingContext ~> eff) a b Source #
ProvidesCaching core => ProvidesCaching (Rope r m core) Source #
Instance details Defined in Control.Kernmantle.Caching Methods usingStore :: (ContentHashable IO a, Store b) => Rope r m core a b -> Rope r m core a b Source #

class ProvidesCaching eff => ProvidesPosCaching eff where Source #

A class to cache part of the pipeline where the hash can depend on the position of the task in the pipeline

Methods

usingStore' :: (ContentHashable IO a, Store b) => eff a b -> eff a b Source #

Instances

Instances details

(Arrow eff, ProvidesCaching eff) => ProvidesPosCaching (AutoIdent eff) Source #
Instance details Defined in Control.Kernmantle.Caching Methods usingStore' :: (ContentHashable IO a, Store b) => AutoIdent eff a b -> AutoIdent eff a b Source #
(Functor f, ProvidesPosCaching eff) => ProvidesPosCaching (f ~> eff) Source #
Instance details Defined in Control.Kernmantle.Caching Methods usingStore' :: (ContentHashable IO a, Store b) => (f ~> eff) a b -> (f ~> eff) a b Source #
(Arrow eff, ProvidesPosCaching eff) => ProvidesPosCaching (Writer CachingContext ~> eff) Source #
Instance details Defined in Control.Kernmantle.Caching Methods usingStore' :: (ContentHashable IO a, Store b) => (Writer CachingContext ~> eff) a b -> (Writer CachingContext ~> eff) a b Source #
ProvidesPosCaching core => ProvidesPosCaching (Rope r m core) Source #
Instance details Defined in Control.Kernmantle.Caching Methods usingStore' :: (ContentHashable IO a, Store b) => Rope r m core a b -> Rope r m core a b Source #

newtype AutoIdent (arr :: Type -> Type -> Type) a b #

An arrow transformer that can automatically determine an identifier from its position in a pipeline. It is isomorphic to a Reader ArrowIdent ~> arr, but we need a different Arrow instance than what Cayley provides.

Constructors

AutoIdent (ArrowIdent -> arr a b)

Instances

Instances details

HasAutoIdent eff (AutoIdent eff)
Instance details Defined in Control.Kernmantle.Arrow Methods liftAutoIdent :: (ArrowIdent -> eff a b) -> AutoIdent eff a b #
SieveTrans f eff => SieveTrans f (AutoIdent eff)
Instance details Defined in Control.Kernmantle.Arrow Methods liftSieve :: (a -> f b) -> AutoIdent eff a b # mapSieve :: ((a -> f b) -> a' -> f b') -> AutoIdent eff a b -> AutoIdent eff a' b' #
Arrow eff => Arrow (AutoIdent eff)
Instance details Defined in Control.Kernmantle.Arrow Methods arr :: (b -> c) -> AutoIdent eff b c # first :: AutoIdent eff b c -> AutoIdent eff (b, d) (c, d) # second :: AutoIdent eff b c -> AutoIdent eff (d, b) (d, c) # (***) :: AutoIdent eff b c -> AutoIdent eff b' c' -> AutoIdent eff (b, b') (c, c') # (&&&) :: AutoIdent eff b c -> AutoIdent eff b c' -> AutoIdent eff b (c, c') #
ArrowZero arr => ArrowZero (AutoIdent arr)
Instance details Defined in Control.Kernmantle.Arrow Methods zeroArrow :: AutoIdent arr b c #
ArrowPlus eff => ArrowPlus (AutoIdent eff)
Instance details Defined in Control.Kernmantle.Arrow Methods (<+>) :: AutoIdent eff b c -> AutoIdent eff b c -> AutoIdent eff b c #
ArrowChoice eff => ArrowChoice (AutoIdent eff)
Instance details Defined in Control.Kernmantle.Arrow Methods left :: AutoIdent eff b c -> AutoIdent eff (Either b d) (Either c d) # right :: AutoIdent eff b c -> AutoIdent eff (Either d b) (Either d c) # (+++) :: AutoIdent eff b c -> AutoIdent eff b' c' -> AutoIdent eff (Either b b') (Either c c') # (\|\|\|) :: AutoIdent eff b d -> AutoIdent eff c d -> AutoIdent eff (Either b c) d #
ArrowLoop arr => ArrowLoop (AutoIdent arr)
Instance details Defined in Control.Kernmantle.Arrow Methods loop :: AutoIdent arr (b, d) (c, d) -> AutoIdent arr b c #
Profunctor arr => Profunctor (AutoIdent arr)
Instance details Defined in Control.Kernmantle.Arrow Methods dimap :: (a -> b) -> (c -> d) -> AutoIdent arr b c -> AutoIdent arr a d # lmap :: (a -> b) -> AutoIdent arr b c -> AutoIdent arr a c # rmap :: (b -> c) -> AutoIdent arr a b -> AutoIdent arr a c # (#.) :: forall a b c q. Coercible c b => q b c -> AutoIdent arr a b -> AutoIdent arr a c # (.#) :: forall a b c q. Coercible b a => AutoIdent arr b c -> q a b -> AutoIdent arr a c #
Costrong arr => Costrong (AutoIdent arr)
Instance details Defined in Control.Kernmantle.Arrow Methods unfirst :: AutoIdent arr (a, d) (b, d) -> AutoIdent arr a b # unsecond :: AutoIdent arr (d, a) (d, b) -> AutoIdent arr a b #
Strong arr => Strong (AutoIdent arr)
Instance details Defined in Control.Kernmantle.Arrow Methods first' :: AutoIdent arr a b -> AutoIdent arr (a, c) (b, c) # second' :: AutoIdent arr a b -> AutoIdent arr (c, a) (c, b) #
Cochoice arr => Cochoice (AutoIdent arr)
Instance details Defined in Control.Kernmantle.Arrow Methods unleft :: AutoIdent arr (Either a d) (Either b d) -> AutoIdent arr a b # unright :: AutoIdent arr (Either d a) (Either d b) -> AutoIdent arr a b #
Choice arr => Choice (AutoIdent arr)
Instance details Defined in Control.Kernmantle.Arrow Methods left' :: AutoIdent arr a b -> AutoIdent arr (Either a c) (Either b c) # right' :: AutoIdent arr a b -> AutoIdent arr (Either c a) (Either c b) #
Mapping arr => Mapping (AutoIdent arr)
Instance details Defined in Control.Kernmantle.Arrow Methods map' :: Functor f => AutoIdent arr a b -> AutoIdent arr (f a) (f b) # roam :: ((a -> b) -> s -> t) -> AutoIdent arr a b -> AutoIdent arr s t #
Traversing arr => Traversing (AutoIdent arr)
Instance details Defined in Control.Kernmantle.Arrow Methods traverse' :: Traversable f => AutoIdent arr a b -> AutoIdent arr (f a) (f b) # wander :: (forall (f :: Type -> Type). Applicative f => (a -> f b) -> s -> f t) -> AutoIdent arr a b -> AutoIdent arr s t #
Closed arr => Closed (AutoIdent arr)
Instance details Defined in Control.Kernmantle.Arrow Methods closed :: AutoIdent arr a b -> AutoIdent arr (x -> a) (x -> b) #
(Arrow eff, ProvidesCaching eff) => ProvidesPosCaching (AutoIdent eff) Source #
Instance details Defined in Control.Kernmantle.Caching Methods usingStore' :: (ContentHashable IO a, Store b) => AutoIdent eff a b -> AutoIdent eff a b Source #
ProvidesCaching eff => ProvidesCaching (AutoIdent eff) Source #
Instance details Defined in Control.Kernmantle.Caching Methods usingStore :: (ContentHashable IO a, Store b) => AutoIdent eff a b -> AutoIdent eff a b Source #
Category eff => Category (AutoIdent eff :: Type -> Type -> Type)
Instance details Defined in Control.Kernmantle.Arrow Methods id :: forall (a :: k). AutoIdent eff a a # (.) :: forall (b :: k) (c :: k) (a :: k). AutoIdent eff b c -> AutoIdent eff a b -> AutoIdent eff a c #

data SomeHashable where Source #

Constructors

SomePureHashable :: PureHashable a => a -> SomeHashable
SomeIOHashable :: IOHashable a => a -> SomeHashable

Instances

Instances details

ContentHashable IO SomeHashable Source #
Instance details Defined in Control.Kernmantle.Caching Methods contentHashUpdate :: Context SHA256 -> SomeHashable -> IO (Context SHA256) # contentHash :: SomeHashable -> IO ContentHash #
(Arrow eff, ProvidesPosCaching eff) => ProvidesPosCaching (Writer CachingContext ~> eff) Source #
Instance details Defined in Control.Kernmantle.Caching Methods usingStore' :: (ContentHashable IO a, Store b) => (Writer CachingContext ~> eff) a b -> (Writer CachingContext ~> eff) a b Source #
(Arrow eff, ProvidesCaching eff) => ProvidesCaching (Writer CachingContext ~> eff) Source #
Instance details Defined in Control.Kernmantle.Caching Methods usingStore :: (ContentHashable IO a, Store b) => (Writer CachingContext ~> eff) a b -> (Writer CachingContext ~> eff) a b Source #

data StoreWithId remoteCacher Source #

Bundles together a store with an identifier for the whole pipeline. If identifier is Nothing, no caching will be performed.

Constructors

StoreWithId ContentStore remoteCacher (Maybe Int)

Instances

Instances details

(MonadIO m, MonadUnliftIO m, MonadMask m, Cacher m remoteCacher, HasKleisli m eff) => ProvidesCaching (Reader (StoreWithId remoteCacher) ~> eff) Source #
Instance details Defined in Control.Kernmantle.Caching Methods usingStore :: (ContentHashable IO a, Store b) => (Reader (StoreWithId remoteCacher) ~> eff) a b -> (Reader (StoreWithId remoteCacher) ~> eff) a b Source #

type LocalStoreWithId = StoreWithId NoCache Source #

type CachingContext = [SomeHashable] Source #

withStore :: (MonadIO m, MonadMask m) => Path Abs Dir -> (ContentStore -> m a) -> m a #

Open the store under the given root and perform the given action. Closes the store once the action is complete

Orphan instances

Monad m => ContentHashable m ArrowIdent Source #
Instance details Methods contentHashUpdate :: Context SHA256 -> ArrowIdent -> m (Context SHA256) # contentHash :: ArrowIdent -> m ContentHash #
Monad m => ContentHashable m SplitId Source #
Instance details Methods contentHashUpdate :: Context SHA256 -> SplitId -> m (Context SHA256) # contentHash :: SplitId -> m ContentHash #