Safe Haskell | None |
---|---|
Language | Haskell98 |
Darcs.Witnesses.Unsafe
Documentation
unsafeCoerceP :: a x y -> a b c
unsafeCoercePStart :: a x1 y -> a x2 y
unsafeCoercePEnd :: a x y1 -> a x y2
unsafeCoerceP2 :: t w x y z -> t a b c d
unsafeCoerceP1 :: a x -> a y