Safe Haskell	Safe-Inferred
Language	GHC2021

Charon.Backend.Default.Index

Synopsis

readIndex :: forall m env (pd :: Type) k. (DecodeExtra pd ~ PathI TrashEntryFileName, HasCallStack, HasTrashHome env, Is k A_Getter, LabelOptic' "fileName" k pd (PathI TrashEntryFileName), MonadFileReader m, MonadCatch m, MonadLoggerNS m, MonadReader env m, MonadPathReader m, Serial pd) => BackendArgs m pd -> m Index
readIndexTrashHome :: forall m (pd :: Type) k. (DecodeExtra pd ~ PathI TrashEntryFileName, HasCallStack, Is k A_Getter, LabelOptic' "fileName" k pd (PathI TrashEntryFileName), MonadFileReader m, MonadCatch m, MonadLoggerNS m, MonadPathReader m, Serial pd) => BackendArgs m pd -> PathI TrashHome -> m Index

Documentation

readIndex :: forall m env (pd :: Type) k. (DecodeExtra pd ~ PathI TrashEntryFileName, HasCallStack, HasTrashHome env, Is k A_Getter, LabelOptic' "fileName" k pd (PathI TrashEntryFileName), MonadFileReader m, MonadCatch m, MonadLoggerNS m, MonadReader env m, MonadPathReader m, Serial pd) => BackendArgs m pd -> m Index Source #

Reads the trash directory into the Index. If this succeeds then everything is 'well-formed' i.e. there is a bijection between trash/files and trash/info.

readIndexTrashHome :: forall m (pd :: Type) k. (DecodeExtra pd ~ PathI TrashEntryFileName, HasCallStack, Is k A_Getter, LabelOptic' "fileName" k pd (PathI TrashEntryFileName), MonadFileReader m, MonadCatch m, MonadLoggerNS m, MonadPathReader m, Serial pd) => BackendArgs m pd -> PathI TrashHome -> m Index Source #

Reads the trash directory into the Index. If this succeeds then everything is 'well-formed' i.e. there is a bijection between trash/files and trash/info.