darcs-beta-2.7.99.1: a distributed, interactive, smart revision control system

Portabilityportable
Stabilityexperimental
Maintainerdarcs-devel@darcs.net
Safe HaskellSafe-Infered

Darcs.Patch.Apply

Description

 

Synopsis

Documentation

class Apply p whereSource

Associated Types

type ApplyState p :: (* -> *) -> *Source

Methods

apply :: ApplyMonad m (ApplyState p) => p x y -> m ()Source

Instances

Apply Prim 
Apply Prim 
Apply DummyPatch 
Apply p => Apply (RL p) 
Apply p => Apply (FL p) 
PrimPatch prim => Apply (Patch prim) 
Apply p => Apply (Named p) 
Apply p => Apply (PatchInfoAnd p) 
PrimPatch prim => Apply (RealPatch prim) 

applyToTree :: (Apply p, Functor m, Monad m, ApplyState p ~ Tree) => p x y -> Tree m -> m (Tree m)Source

Apply a patch to a Tree, yielding a new Tree.

applyToState :: forall p m x y. (Apply p, ApplyMonadTrans m (ApplyState p)) => p x y -> ApplyState p m -> m (ApplyState p m)Source