darcs-2.14.1: a distributed, interactive, smart revision control system

Safe HaskellNone
LanguageHaskell2010

Darcs.Patch.Witnesses.Unsafe

Documentation

unsafeCoerceP :: a wX wY -> a wB wC Source #

unsafeCoercePStart :: a wX1 wY -> a wX2 wY Source #

unsafeCoercePEnd :: a wX wY1 -> a wX wY2 Source #

unsafeCoerceP2 :: t wW wX wY wZ -> t wA wB wC wD Source #

unsafeCoerceP1 :: a wX -> a wY Source #