blob: a01cc056319180061bc54029124e3f4e84af4e80 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
|
T8958.hs:1:31: Warning:
-XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language.
TYPE SIGNATURES
TYPE CONSTRUCTORS
type role Map nominal representational
newtype (Nominal k, Representational v) => Map k v = MkMap [(k, v)]
Promotable
class Nominal a
type role Representational representational
class Representational a
COERCION AXIOMS
axiom T8958.NTCo:Map :: Map k v = [(k, v)]
INSTANCES
instance [incoherent] Nominal a -- Defined at T8958.hs:7:10
instance [incoherent] Representational a
-- Defined at T8958.hs:10:10
Dependent modules: []
Dependent packages: [base-4.7.1.0, ghc-prim-0.3.1.0,
integer-<IMPL>-<VERSION>]
==================== Typechecker ====================
AbsBinds [a] []
{Exports: [T8958.$fRepresentationala <= $dRepresentational
<>]
Exported types: T8958.$fRepresentationala [InlPrag=[ALWAYS] CONLIKE]
:: forall a. Representational a
[LclIdX[DFunId],
Str=DmdType,
Unf=DFun: \ (@ a) -> T8958.D:Representational TYPE a]
Binds: $dRepresentational = T8958.D:Representational}
AbsBinds [a] []
{Exports: [T8958.$fNominala <= $dNominal
<>]
Exported types: T8958.$fNominala [InlPrag=[ALWAYS] CONLIKE]
:: forall a. Nominal a
[LclIdX[DFunId],
Str=DmdType,
Unf=DFun: \ (@ a) -> T8958.D:Nominal TYPE a]
Binds: $dNominal = T8958.D:Nominal}
|
