darcs-2.18.2: a distributed, interactive, smart revision control system

Safe Haskell | None
Language | Haskell2010

Darcs.Patch.FromPrim

# Documentation

class PrimPatch (PrimOf p) => PrimPatchBase (p :: Type -> Type -> Type) #

Associated Types

type PrimOf (p :: Type -> Type -> Type) :: Type -> Type -> Type #

#### Instances

Instances details

PrimPatchBase p => PrimPatchBase (Invertible p) # |

Instance details

Defined in Darcs.Patch.Invertible

Associated Types

type PrimOf (Invertible p) |
Instance details Defined in Darcs.Patch.Invertible type PrimOf (Invertible p) = PrimOf p

PrimPatchBase p => PrimPatchBase (Named p) # |

Instance details

Defined in Darcs.Patch.Named

Associated Types

type PrimOf (Named p) |
Instance details Defined in Darcs.Patch.Named type PrimOf (Named p) = PrimOf p

PrimPatchBase p => PrimPatchBase (PatchInfoAndG p) # |

Instance details

Defined in Darcs.Patch.PatchInfoAnd

Associated Types

type PrimOf (PatchInfoAndG p) |
Instance details Defined in Darcs.Patch.PatchInfoAnd type PrimOf (PatchInfoAndG p) = PrimOf p

PrimPatch prim => PrimPatchBase (RebaseChange prim) # |

Instance details

Defined in Darcs.Patch.Rebase.Change

Associated Types

type PrimOf (RebaseChange prim) |
Instance details Defined in Darcs.Patch.Rebase.Change type PrimOf (RebaseChange prim) = prim

PrimPatchBase p => PrimPatchBase (WithDroppedDeps p) # |

Instance details

Defined in Darcs.Patch.Rebase.Change

Associated Types

type PrimOf (WithDroppedDeps p) |
Instance details Defined in Darcs.Patch.Rebase.Change type PrimOf (WithDroppedDeps p) = PrimOf p

PrimPatch prim => PrimPatchBase (RebaseFixup prim) # |

Instance details

Defined in Darcs.Patch.Rebase.Fixup

Associated Types

type PrimOf (RebaseFixup prim) |
Instance details Defined in Darcs.Patch.Rebase.Fixup type PrimOf (RebaseFixup prim) = prim

PrimPatch prim => PrimPatchBase (RepoPatchV1 prim) # |

Instance details

Defined in Darcs.Patch.V1.Core

Associated Types

type PrimOf (RepoPatchV1 prim) |
Instance details Defined in Darcs.Patch.V1.Core type PrimOf (RepoPatchV1 prim) = prim

PrimPatch prim => PrimPatchBase (RepoPatchV2 prim) # |

Instance details

Defined in Darcs.Patch.V2.RepoPatch

Associated Types

type PrimOf (RepoPatchV2 prim) |
Instance details Defined in Darcs.Patch.V2.RepoPatch type PrimOf (RepoPatchV2 prim) = prim

PrimPatchBase p => PrimPatchBase (FL p) # |

Instance details

Defined in Darcs.Patch.FromPrim

Associated Types

type PrimOf (FL p) |
Instance details Defined in Darcs.Patch.FromPrim type PrimOf (FL p) = PrimOf p

PrimPatchBase p => PrimPatchBase (RL p) # |

Instance details

Defined in Darcs.Patch.FromPrim

Associated Types

type PrimOf (RL p) |
Instance details Defined in Darcs.Patch.FromPrim type PrimOf (RL p) = PrimOf p

PrimPatch prim => PrimPatchBase (RepoPatchV3 name prim) # |

Instance details

Defined in Darcs.Patch.V3.Core

Associated Types

type PrimOf (RepoPatchV3 name prim) |
Instance details Defined in Darcs.Patch.V3.Core type PrimOf (RepoPatchV3 name prim) = prim

class FromPrim (p :: Type -> Type -> Type) where #

Minimal complete definition

fromAnonymousPrim

Methods

fromAnonymousPrim :: PrimOf p wX wY -> p wX wY #

fromPrim :: PatchId p -> PrimOf p wX wY -> p wX wY #

default fromPrim :: PatchId p ~ () => PatchId p -> PrimOf p wX wY -> p wX wY #

fromPrims :: PatchInfo -> FL (PrimOf p) wX wY -> FL p wX wY #

default fromPrims :: PatchId p ~ () => PatchInfo -> FL (PrimOf p) wX wY -> FL p wX wY #

#### Instances

Instances details

FromPrim (RepoPatchV1 prim) # |
Instance details Defined in Darcs.Patch.V1.Core Methods fromAnonymousPrim :: PrimOf (RepoPatchV1 prim) wX wY -> RepoPatchV1 prim wX wY # fromPrim :: PatchId (RepoPatchV1 prim) -> PrimOf (RepoPatchV1 prim) wX wY -> RepoPatchV1 prim wX wY # fromPrims :: PatchInfo -> FL (PrimOf (RepoPatchV1 prim)) wX wY -> FL (RepoPatchV1 prim) wX wY #
FromPrim (RepoPatchV2 prim) # |
Instance details Defined in Darcs.Patch.V2.RepoPatch Methods fromAnonymousPrim :: PrimOf (RepoPatchV2 prim) wX wY -> RepoPatchV2 prim wX wY # fromPrim :: PatchId (RepoPatchV2 prim) -> PrimOf (RepoPatchV2 prim) wX wY -> RepoPatchV2 prim wX wY # fromPrims :: PatchInfo -> FL (PrimOf (RepoPatchV2 prim)) wX wY -> FL (RepoPatchV2 prim) wX wY #
FromPrim (RepoPatchV3 prim) # |
Instance details Defined in Darcs.Patch.V3 Methods fromAnonymousPrim :: PrimOf (RepoPatchV3 prim) wX wY -> RepoPatchV3 prim wX wY # fromPrim :: PatchId (RepoPatchV3 prim) -> PrimOf (RepoPatchV3 prim) wX wY -> RepoPatchV3 prim wX wY # fromPrims :: PatchInfo -> FL (PrimOf (RepoPatchV3 prim)) wX wY -> FL (RepoPatchV3 prim) wX wY #

class ToPrim (p :: Type -> Type -> Type) where #

Methods

toPrim :: p wX wY -> Maybe (PrimOf p wX wY) #

#### Instances

Instances details

ToPrim (RepoPatchV1 prim) # |
Instance details Defined in Darcs.Patch.V1.Core Methods toPrim :: RepoPatchV1 prim wX wY -> Maybe (PrimOf (RepoPatchV1 prim) wX wY) #
ToPrim (RepoPatchV2 prim) # |
Instance details Defined in Darcs.Patch.V2.RepoPatch Methods toPrim :: RepoPatchV2 prim wX wY -> Maybe (PrimOf (RepoPatchV2 prim) wX wY) #
ToPrim (RepoPatchV3 name prim) # |
Instance details Defined in Darcs.Patch.V3.Core Methods toPrim :: RepoPatchV3 name prim wX wY -> Maybe (PrimOf (RepoPatchV3 name prim) wX wY) #

type ToFromPrim (p :: Type -> Type -> Type) = (FromPrim p, ToPrim p) #