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

Safe HaskellNone
LanguageHaskell98

Darcs.Witnesses.Unsafe

Documentation

unsafeCoerceP :: a x y -> a b c Source

unsafeCoercePStart :: a x1 y -> a x2 y Source

unsafeCoercePEnd :: a x y1 -> a x y2 Source

unsafeCoerceP2 :: t w x y z -> t a b c d Source

unsafeCoerceP1 :: a x -> a y Source