Safe Haskell | None |
---|---|
Language | Haskell2010 |
Darcs.Patch.Witnesses.Unsafe
Documentation
unsafeCoerceP :: a wX wY -> a wB wC
unsafeCoercePStart :: a wX1 wY -> a wX2 wY
unsafeCoercePEnd :: a wX wY1 -> a wX wY2
unsafeCoerceP2 :: t wW wX wY wZ -> t wA wB wC wD
unsafeCoerceP1 :: a wX -> a wY