darcs-beta-2.7.98.3: a distributed, interactive, smart revision control system

Safe HaskellSafe-Infered

Darcs.Witnesses.Unsafe

Documentation

unsafeCoerceP :: a x y -> a b cSource

unsafeCoercePStart :: a x1 y -> a x2 ySource

unsafeCoercePEnd :: a x y1 -> a x y2Source

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

unsafeCoerceP1 :: a x -> a ySource