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
darcs-beta-2.7.98.1: a distributed, interactive, smart revision control system
Darcs.Witnesses.Unsafe
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