blob: 9e9adb9ff1438a51c2689d2dfab5310c4e80916d (
plain)
1
2
3
4
5
6
7
8
9
|
{-
Coercible is a special constraint with custom solving rules.
It is not a class.
Please see section 9.14.4 of the user's guide for details.
-}
type role Coercible representational representational
class Coercible a b => Coercible (a :: k0) (b :: k0)
-- Defined in ‘GHC.Types’
coerce :: Coercible a b => a -> b -- Defined in ‘GHC.Prim’
|
