Darcs.Patch.Commute

Synopsis

• class Commute p where
  • commute :: (p :> p) x y -> Maybe ((p :> p) x y)
• commuteFL :: Commute p => (p :> FL p) x y -> Maybe ((FL p :> p) x y)
• commuteFLorComplain :: Commute p => (p :> FL p) x y -> Either (Sealed2 p) ((FL p :> p) x y)
• commuteRL :: Commute p => (RL p :> p) x y -> Maybe ((p :> RL p) x y)
• commuteRLFL :: Commute p => (RL p :> FL p) x y -> Maybe ((FL p :> RL p) x y)
• toFwdCommute :: (Commute p, Commute q, Monad m) => ((p :< q) x y -> m ((q :< p) x y)) -> (q :> p) x y -> m ((p :> q) x y)
• toRevCommute :: (Commute p, Commute q, Monad m) => ((p :> q) x y -> m ((q :> p) x y)) -> (q :< p) x y -> m ((p :< q) x y)

Documentation