Safe Haskell	None
Language	Haskell2010

Darcs.Patch.RepoType

Synopsis

data RepoType = RepoType {
- rebaseType :: RebaseType
}
class IsRepoType (rt :: RepoType) where
- singletonRepoType :: SRepoType rt
data SRepoType (repoType :: RepoType) where
- SRepoType :: SRebaseType rebaseType -> SRepoType (RepoType rebaseType)
data RebaseType
- = IsRebase
- | NoRebase
class IsRebaseType (rebaseType :: RebaseType)
type family RebaseTypeOf (rt :: RepoType) :: RebaseType
data SRebaseType (rebaseType :: RebaseType) where
- SIsRebase :: SRebaseType IsRebase
- SNoRebase :: SRebaseType NoRebase

Documentation

data RepoType Source #

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 rebaseType :: RebaseType

class IsRepoType (rt :: RepoType) where Source #

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 #
Instance details Defined in Darcs.Patch.RepoType Methods singletonRepoType :: SRepoType (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.

Constructors

IsRebase
NoRebase

class IsRebaseType (rebaseType :: RebaseType) Source #

Minimal complete definition

singletonRebaseType

Instances

IsRebaseType IsRebase Source #
Instance details Defined in Darcs.Patch.RepoType Methods singletonRebaseType :: SRebaseType IsRebase
IsRebaseType NoRebase Source #
Instance details Defined in Darcs.Patch.RepoType Methods singletonRebaseType :: SRebaseType NoRebase

type family RebaseTypeOf (rt :: RepoType) :: RebaseType Source #

Extract the RebaseType from a RepoType

Instances

type RebaseTypeOf (RepoType rebaseType) Source #
Instance details Defined in Darcs.Patch.RepoType type RebaseTypeOf (RepoType rebaseType) = rebaseType

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