Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Darcs.Patch.RepoType
Synopsis
- data RepoType = RepoType {}
- class IsRepoType (rt :: RepoType) where
- singletonRepoType :: SRepoType rt
- 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 #
Methods
singletonRepoType :: SRepoType rt #
Reflect RepoType
to the value level so that
code can explicitly switch on it.
Instances
IsRebaseType rebaseType => IsRepoType ('RepoType rebaseType) # | |
Defined in Darcs.Patch.RepoType Methods singletonRepoType :: SRepoType ('RepoType rebaseType) # |
data SRepoType (repoType :: RepoType) where #
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 #
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) #
Minimal complete definition
singletonRebaseType
Instances
IsRebaseType 'IsRebase # | |
Defined in Darcs.Patch.RepoType Methods | |
IsRebaseType 'NoRebase # | |
Defined in Darcs.Patch.RepoType Methods |
type family RebaseTypeOf (rt :: RepoType) :: RebaseType #
Extract the RebaseType
from a RepoType
Instances
type RebaseTypeOf ('RepoType rebaseType) # | |
Defined in Darcs.Patch.RepoType |
data SRebaseType (rebaseType :: RebaseType) where #
A reflection of RebaseType
at the value level so that
code can explicitly switch on it.
Constructors
SIsRebase :: SRebaseType 'IsRebase | |
SNoRebase :: SRebaseType 'NoRebase |