Data.Microgroove.Lib.Cast

Documentation

cast# :: forall b a. a -> b

unsafeCoerce with the type arguments flipped for easier TypeApplications

castf# :: forall g f x. f x -> g x

unsafeCoerce as a natural transformation, keeping the inner type fixed

mapCast# :: forall b f a. f a -> f b

equivalent to fmap cast# but avoids traversing the datastructure