darcs
Darcs.Patch.Merge
Description
Synopsis
class Commute p => Merge p where
Things that can always be merged
Methods
merge :: (p :\/: p) -> p :/\: p
Instances
mergeFL :: Merge p => (p :\/: FL p) -> FL p :/\: p