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