module Darcs.Patch.Witnesses.Unsafe
    ( unsafeCoerceP
    , unsafeCoercePStart
    , unsafeCoercePEnd
    , unsafeCoerceP1
    ) where

import Unsafe.Coerce

unsafeCoerceP :: a wX wY -> a wB wC
unsafeCoerceP :: a wX wY -> a wB wC
unsafeCoerceP = a wX wY -> a wB wC
forall a b. a -> b
unsafeCoerce

unsafeCoercePStart :: a wX1 wY -> a wX2 wY
unsafeCoercePStart :: a wX1 wY -> a wX2 wY
unsafeCoercePStart = a wX1 wY -> a wX2 wY
forall a b. a -> b
unsafeCoerce

unsafeCoercePEnd :: a wX wY1 -> a wX wY2
unsafeCoercePEnd :: a wX wY1 -> a wX wY2
unsafeCoercePEnd = a wX wY1 -> a wX wY2
forall a b. a -> b
unsafeCoerce

unsafeCoerceP1 :: a wX -> a wY
unsafeCoerceP1 :: a wX -> a wY
unsafeCoerceP1 = a wX -> a wY
forall a b. a -> b
unsafeCoerce