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 #