blob: e5cdb3d31363202e0daaab9ae47b75c08548f52b (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
{-
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
type Coercible :: forall k. k -> k -> Constraint
class Coercible a b => Coercible a b
-- Defined in ‘GHC.Types’
coerce :: Coercible a b => a -> b -- Defined in ‘GHC.Prim’
|
