blob: fbc3cb9f9f708a4de711427de0f1668b357ef120 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
TYPE CONSTRUCTORS
data family DF{3} :: forall k. * -> k -> *
roles nominal nominal nominal
COERCION AXIOMS
axiom T15852.D:R:DFProxyProxy0 ::
forall k1 k2 (j :: k1) (c :: k2).
DF (Proxy c) = T15852.R:DFProxyProxy k1 k2 j c
FAMILY INSTANCES
data instance forall k1 k2 (j :: k1) (c :: k2).
DF (Proxy c) -- Defined at T15852.hs:10:15
Dependent modules: []
Dependent packages: [base-4.13.0.0, ghc-prim-0.5.3,
integer-gmp-1.0.2.0]
|