blob: 062ff7bda0e313d5654a026db97eae9a19d6ccc7 (
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.15.0.0, ghc-bignum-1.0, ghc-prim-0.6.1]
|
