blob: 8c212a06b6d8b8491354f81fb8d4c06ec3b9fc9e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
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.16.0.0, ghc-bignum-1.0, ghc-prim-0.8.0]
|