| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Darcs.Patch.RepoType
- data RepoType = RepoType {}
- class IsRepoType (rt :: RepoType) where
- data SRepoType (repoType :: RepoType) where
- SRepoType :: SRebaseType rebaseType -> SRepoType (RepoType rebaseType)
- data RebaseType
- class IsRebaseType (rebaseType :: RebaseType)
- type family RebaseTypeOf (rt :: RepoType) :: RebaseType
- data SRebaseType (rebaseType :: RebaseType) where
Documentation
This type is intended to be used as a phantom type via the DataKinds
extension. It tracks different types of repositories, e.g. to
indicate when a rebase is in progress.
Constructors
| RepoType | |
Fields | |
class IsRepoType (rt :: RepoType) where Source #
Minimal complete definition
Methods
singletonRepoType :: SRepoType rt Source #
Reflect RepoType to the value level so that
code can explicitly switch on it.
Instances
| IsRebaseType rebaseType => IsRepoType (RepoType rebaseType) Source # | |
data SRepoType (repoType :: RepoType) where Source #
A reflection of RepoType at the value level so that
code can explicitly switch on it.
Constructors
| SRepoType :: SRebaseType rebaseType -> SRepoType (RepoType rebaseType) |
data RebaseType Source #
This type is intended to be used as a phantom type via
the DataKinds extension, normally as part of RepoType.
Indicates whether or not a rebase is in progress.
class IsRebaseType (rebaseType :: RebaseType) Source #
Minimal complete definition
singletonRebaseType
Instances
type family RebaseTypeOf (rt :: RepoType) :: RebaseType Source #
Extract the RebaseType from a RepoType
Instances
| type RebaseTypeOf (RepoType rebaseType) Source # | |
data SRebaseType (rebaseType :: RebaseType) where Source #
A reflection of RebaseType at the value level so that
code can explicitly switch on it.
Constructors
| SIsRebase :: SRebaseType IsRebase | |
| SNoRebase :: SRebaseType NoRebase |