Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
- 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.
class IsRepoType (rt :: RepoType) where Source #
singletonRepoType :: SRepoType rt Source #
Reflect RepoType
to the value level so that
code can explicitly switch on it.
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.
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 #
singletonRebaseType
type family RebaseTypeOf (rt :: RepoType) :: RebaseType Source #
Extract the RebaseType
from a RepoType
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.