| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
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