darcs

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

Darcs.Patch.Apply

Description

 

Synopsis

Documentation

class Apply p where

Associated Types

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

Methods

apply :: ApplyMonad m (ApplyState p) => p -> m ()

Instances

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 -> Tree m -> m (Tree m)

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

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