Data.FileStore.Types

Type definitions for Data.FileStore.

Documentation

type RevisionId = String

data Resource

Constructors

FSFile FilePath

FSDirectory FilePath

Instances

Eq Resource

Defined in Data.FileStore.Types

Methods

(==) :: Resource -> Resource -> Bool

(/=) :: Resource -> Resource -> Bool

Ord Resource

Defined in Data.FileStore.Types

Methods

compare :: Resource -> Resource -> Ordering

(<) :: Resource -> Resource -> Bool

(<=) :: Resource -> Resource -> Bool

(>) :: Resource -> Resource -> Bool

(>=) :: Resource -> Resource -> Bool

max :: Resource -> Resource -> Resource

min :: Resource -> Resource -> Resource

Read Resource

Defined in Data.FileStore.Types

Methods

readsPrec :: Int -> ReadS Resource

readList :: ReadS [Resource]

readPrec :: ReadPrec Resource

readListPrec :: ReadPrec [Resource]

Show Resource

Defined in Data.FileStore.Types

Methods

showsPrec :: Int -> Resource -> ShowS

show :: Resource -> String

showList :: [Resource] -> ShowS

data Author

Constructors

Author

Fields

• authorName :: String
• authorEmail :: String

Instances

Eq Author

Defined in Data.FileStore.Types

Methods

(==) :: Author -> Author -> Bool

(/=) :: Author -> Author -> Bool

Read Author

Defined in Data.FileStore.Types

Methods

readsPrec :: Int -> ReadS Author

readList :: ReadS [Author]

readPrec :: ReadPrec Author

readListPrec :: ReadPrec [Author]

Show Author

Defined in Data.FileStore.Types

Methods

showsPrec :: Int -> Author -> ShowS

show :: Author -> String

showList :: [Author] -> ShowS

data Change

Constructors

Added FilePath

Deleted FilePath

Modified FilePath

Instances

Eq Change

Defined in Data.FileStore.Types

Methods

(==) :: Change -> Change -> Bool

(/=) :: Change -> Change -> Bool

Read Change

Defined in Data.FileStore.Types

Methods

readsPrec :: Int -> ReadS Change

readList :: ReadS [Change]

readPrec :: ReadPrec Change

readListPrec :: ReadPrec [Change]

Show Change

Defined in Data.FileStore.Types

Methods

showsPrec :: Int -> Change -> ShowS

show :: Change -> String

showList :: [Change] -> ShowS

type Description = String

data Revision

Constructors

Revision

Fields

• revId :: RevisionId
• revDateTime :: UTCTime
• revAuthor :: Author
• revDescription :: Description
• revChanges :: [Change]

Instances

Eq Revision

Defined in Data.FileStore.Types

Methods

(==) :: Revision -> Revision -> Bool

(/=) :: Revision -> Revision -> Bool

Read Revision

Defined in Data.FileStore.Types

Methods

readsPrec :: Int -> ReadS Revision

readList :: ReadS [Revision]

readPrec :: ReadPrec Revision

readListPrec :: ReadPrec [Revision]

Show Revision

Defined in Data.FileStore.Types

Methods

showsPrec :: Int -> Revision -> ShowS

show :: Revision -> String

showList :: [Revision] -> ShowS

class Contents a where

Methods

fromByteString :: ByteString -> a

toByteString :: a -> ByteString

Instances

Contents String

Defined in Data.FileStore.Types

Methods

fromByteString :: ByteString -> String

toByteString :: String -> ByteString

Contents ByteString

Defined in Data.FileStore.Types

Methods

fromByteString :: ByteString -> ByteString

toByteString :: ByteString -> ByteString

data TimeRange

Constructors

TimeRange

Fields

• timeFrom :: Maybe UTCTime

  Nothing means no lower bound

• timeTo :: Maybe UTCTime

  Nothing means no upper bound

Instances

Eq TimeRange

Defined in Data.FileStore.Types

Methods

(==) :: TimeRange -> TimeRange -> Bool

(/=) :: TimeRange -> TimeRange -> Bool

Read TimeRange

Defined in Data.FileStore.Types

Methods

readsPrec :: Int -> ReadS TimeRange

readList :: ReadS [TimeRange]

readPrec :: ReadPrec TimeRange

readListPrec :: ReadPrec [TimeRange]

Show TimeRange

Defined in Data.FileStore.Types

Methods

showsPrec :: Int -> TimeRange -> ShowS

show :: TimeRange -> String

showList :: [TimeRange] -> ShowS

data MergeInfo

Constructors

MergeInfo

Fields

• mergeRevision :: Revision

  The revision w/ which changes were merged

• mergeConflicts :: Bool

  True if there were merge conflicts

• mergeText :: String

  The merged text, w/ conflict markers

Instances

Eq MergeInfo

Defined in Data.FileStore.Types

Methods

(==) :: MergeInfo -> MergeInfo -> Bool

(/=) :: MergeInfo -> MergeInfo -> Bool

Read MergeInfo

Defined in Data.FileStore.Types

Methods

readsPrec :: Int -> ReadS MergeInfo

readList :: ReadS [MergeInfo]

readPrec :: ReadPrec MergeInfo

readListPrec :: ReadPrec [MergeInfo]

Show MergeInfo

Defined in Data.FileStore.Types

Methods

showsPrec :: Int -> MergeInfo -> ShowS

show :: MergeInfo -> String

showList :: [MergeInfo] -> ShowS

data FileStoreError

Constructors

RepositoryExists

Tried to initialize a repo that exists

ResourceExists

Tried to create a resource that exists

NotFound

Requested resource was not found

IllegalResourceName

The specified resource name is illegal

Unchanged

The resource was not modified, because the contents were unchanged

UnsupportedOperation

NoMaxCount

The darcs version used does not support --max-count

UnknownError String

Instances

Eq FileStoreError

Defined in Data.FileStore.Types

Methods

(==) :: FileStoreError -> FileStoreError -> Bool

(/=) :: FileStoreError -> FileStoreError -> Bool

Read FileStoreError

Defined in Data.FileStore.Types

Methods

readsPrec :: Int -> ReadS FileStoreError

readList :: ReadS [FileStoreError]

readPrec :: ReadPrec FileStoreError

readListPrec :: ReadPrec [FileStoreError]

Show FileStoreError

Defined in Data.FileStore.Types

Methods

showsPrec :: Int -> FileStoreError -> ShowS

show :: FileStoreError -> String

showList :: [FileStoreError] -> ShowS

Exception FileStoreError

Defined in Data.FileStore.Types

Methods

toException :: FileStoreError -> SomeException

fromException :: SomeException -> Maybe FileStoreError

displayException :: FileStoreError -> String

data SearchMatch

Constructors

SearchMatch

Fields

• matchResourceName :: FilePath
• matchLineNumber :: Integer
• matchLine :: String

Instances

Eq SearchMatch

Defined in Data.FileStore.Types

Methods

(==) :: SearchMatch -> SearchMatch -> Bool

(/=) :: SearchMatch -> SearchMatch -> Bool

Read SearchMatch

Defined in Data.FileStore.Types

Methods

readsPrec :: Int -> ReadS SearchMatch

readList :: ReadS [SearchMatch]

readPrec :: ReadPrec SearchMatch

readListPrec :: ReadPrec [SearchMatch]

Show SearchMatch

Defined in Data.FileStore.Types

Methods

showsPrec :: Int -> SearchMatch -> ShowS

show :: SearchMatch -> String

showList :: [SearchMatch] -> ShowS

data SearchQuery

Constructors

SearchQuery

Fields

• queryPatterns :: [String]

  Patterns to match

• queryWholeWords :: Bool

  Match patterns only with whole words?

• queryMatchAll :: Bool

  Return matches only from files in which all patterns match?

• queryIgnoreCase :: Bool

  Make matches case-insensitive?

Instances

Eq SearchQuery

Defined in Data.FileStore.Types

Methods

(==) :: SearchQuery -> SearchQuery -> Bool

(/=) :: SearchQuery -> SearchQuery -> Bool

Read SearchQuery

Defined in Data.FileStore.Types

Methods

readsPrec :: Int -> ReadS SearchQuery

readList :: ReadS [SearchQuery]

readPrec :: ReadPrec SearchQuery

readListPrec :: ReadPrec [SearchQuery]

Show SearchQuery

Defined in Data.FileStore.Types

Methods

showsPrec :: Int -> SearchQuery -> ShowS

show :: SearchQuery -> String

showList :: [SearchQuery] -> ShowS

defaultSearchQuery :: SearchQuery

data UTCTime

This is the simplest representation of UTC. It consists of the day number, and a time offset from midnight. Note that if a day has a leap second added to it, it will have 86401 seconds.

Instances

Eq UTCTime

Defined in Data.Time.Clock.Internal.UTCTime

Methods

(==) :: UTCTime -> UTCTime -> Bool

(/=) :: UTCTime -> UTCTime -> Bool

Data UTCTime

Defined in Data.Time.Clock.Internal.UTCTime

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> UTCTime -> c UTCTime

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c UTCTime

toConstr :: UTCTime -> Constr

dataTypeOf :: UTCTime -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c UTCTime)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c UTCTime)

gmapT :: (forall b. Data b => b -> b) -> UTCTime -> UTCTime

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> UTCTime -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> UTCTime -> r

gmapQ :: (forall d. Data d => d -> u) -> UTCTime -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> UTCTime -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> UTCTime -> m UTCTime

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> UTCTime -> m UTCTime

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> UTCTime -> m UTCTime

Ord UTCTime

Defined in Data.Time.Clock.Internal.UTCTime

Methods

compare :: UTCTime -> UTCTime -> Ordering

(<) :: UTCTime -> UTCTime -> Bool

(<=) :: UTCTime -> UTCTime -> Bool

(>) :: UTCTime -> UTCTime -> Bool

(>=) :: UTCTime -> UTCTime -> Bool

max :: UTCTime -> UTCTime -> UTCTime

min :: UTCTime -> UTCTime -> UTCTime

NFData UTCTime

Defined in Data.Time.Clock.Internal.UTCTime

Methods

rnf :: UTCTime -> ()

FormatTime UTCTime

Defined in Data.Time.Format

Methods

formatCharacter :: Char -> Maybe (TimeLocale -> Maybe NumericPadOption -> Maybe Int -> UTCTime -> String)

ParseTime UTCTime

Defined in Data.Time.Format.Parse

Methods

buildTime :: TimeLocale -> [(Char, String)] -> Maybe UTCTime

data FileStore

A versioning filestore, which can be implemented using the file system, a database, or revision-control software.

Constructors

FileStore

Fields

• initialize :: IO ()

  Initialize a new filestore.

• save :: forall a. Contents a => FilePath -> Author -> Description -> a -> IO ()

  Save contents in the filestore.

• retrieve :: forall a. Contents a => FilePath -> Maybe RevisionId -> IO a

  Retrieve the contents of the named resource.

• delete :: FilePath -> Author -> Description -> IO ()

  Delete a named resource, providing author and log message.

• rename :: FilePath -> FilePath -> Author -> Description -> IO ()

  Rename a resource, providing author and log message.

• history :: [FilePath] -> TimeRange -> Maybe Int -> IO [Revision]

  Get history for a list of named resources in a (possibly openended) time range. If the list is empty, history for all resources will be returned. If the TimeRange is 2 Nothings, history for all dates will be returned.

• latest :: FilePath -> IO RevisionId

  Return the revision ID of the latest change for a resource. Raises NotFound if the resource is not found.

• revision :: RevisionId -> IO Revision

  Return information about a revision, given the ID. Raises NotFound if there is no such revision.

• index :: IO [FilePath]

  Return a list of resources in the filestore.

• directory :: FilePath -> IO [Resource]

  Return a list of resources in a directory of the filestore.

• idsMatch :: RevisionId -> RevisionId -> Bool

  True if the revision IDs match, in the sense that the can be treated as specifying the same revision.

• search :: SearchQuery -> IO [SearchMatch]

  Search the filestore for patterns.