shithub: MicroHs

ref: 9c14bc26bdb2afc8b8bb9d4be650b7ffef87baf0
dir: /lib/Data/Coerce.hs/

View raw version
module Data.Coerce(Coercible, coerce) where
import Prelude()
import Primitives

type Coercible :: forall k . k -> k -> Constraint
class Coercible a b

coerce :: forall a b . Coercible a b => a -> b
coerce = primUnsafeCoerce