module Darcs.Patch.Type ( PatchType(..), patchType ) where import Darcs.Patch.RepoType ( RepoType ) -- |Used for indicating a patch type without having a concrete patch data PatchType (rt :: RepoType) (p :: * -> * -> *) = PatchType patchType :: p wX wY -> PatchType rt p patchType :: p wX wY -> PatchType rt p patchType _ = PatchType rt p forall (rt :: RepoType) (p :: * -> * -> *). PatchType rt p PatchType