Created

Embed URL

HTTPS clone URL

SSH clone URL

You can clone with HTTPS or SSH.

Download Gist

unsafeCoerce from TypeFamilies and GeneralizedNewtypeDeriving

View unsafeCoerce.hs
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
{-# LANGUAGE TypeFamilies, GeneralizedNewtypeDeriving #-}
 
type family Switch b a
type instance Switch b (A a) = a
type instance Switch b (B a) = b
 
newtype A a = A a
newtype B a = B (A a)
deriving (Switchable)
 
class Switchable a where
switch :: a -> Switch b a
 
instance Switchable (A a) where
switch (A x) = x
 
unsafeCoerce :: a -> b
unsafeCoerce x = switch (B (A x))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Something went wrong with that request. Please try again.