module Darcs.Patch.Witnesses.Unsafe
( unsafeCoerceP
, unsafeCoercePStart
, unsafeCoercePEnd
, unsafeCoerceP2
, unsafeCoerceP1
) where
import GHC.Base (unsafeCoerce#)
unsafeCoerceP :: a wX wY -> a wB wC
unsafeCoerceP = unsafeCoerce#
unsafeCoercePStart :: a wX1 wY -> a wX2 wY
unsafeCoercePStart = unsafeCoerce#
unsafeCoercePEnd :: a wX wY1 -> a wX wY2
unsafeCoercePEnd = unsafeCoerce#
unsafeCoerceP2 :: t wW wX wY wZ -> t wA wB wC wD
unsafeCoerceP2 = unsafeCoerce#
unsafeCoerceP1 :: a wX -> a wY
unsafeCoerceP1 = unsafeCoerce#