{-# OPTIONS_GHC -fno-warn-orphans #-}
module Darcs.Patch.Prim.FileUUID.Coalesce () where
import Prelude ()
import Darcs.Prelude
import Darcs.Patch.Prim.Class ( PrimCanonize(..) )
import Darcs.Patch.Witnesses.Ordered( FL(..) )
import Darcs.Patch.Prim.FileUUID.Core( Prim )
instance PrimCanonize Prim where
tryToShrink :: FL Prim wX wY -> FL Prim wX wY
tryToShrink = [Char] -> FL Prim wX wY -> FL Prim wX wY
forall a. HasCallStack => [Char] -> a
error "tryToShrink"
tryShrinkingInverse :: FL Prim wX wY -> Maybe (FL Prim wX wY)
tryShrinkingInverse _ = [Char] -> Maybe (FL Prim wX wY)
forall a. HasCallStack => [Char] -> a
error "tryShrinkingInverse"
sortCoalesceFL :: FL Prim wX wY -> FL Prim wX wY
sortCoalesceFL = FL Prim wX wY -> FL Prim wX wY
forall a. a -> a
id
canonize :: DiffAlgorithm -> Prim wX wY -> FL Prim wX wY
canonize _ = (Prim wX wY -> FL Prim wY wY -> FL Prim wX wY
forall (a :: * -> * -> *) wX wY wZ.
a wX wY -> FL a wY wZ -> FL a wX wZ
:>: FL Prim wY wY
forall (a :: * -> * -> *) wX. FL a wX wX
NilFL)
canonizeFL :: DiffAlgorithm -> FL Prim wX wY -> FL Prim wX wY
canonizeFL _ = FL Prim wX wY -> FL Prim wX wY
forall a. a -> a
id
coalesce :: (:>) Prim Prim wX wY -> Maybe (FL Prim wX wY)
coalesce = Maybe (FL Prim wX wY)
-> (:>) Prim Prim wX wY -> Maybe (FL Prim wX wY)
forall a b. a -> b -> a
const Maybe (FL Prim wX wY)
forall a. Maybe a
Nothing