blob: 5ee0ade4d013b34c3ee686085449a5da71b8ba0d (
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.15.0.0, ghc-prim-0.6.1,
integer-gmp-1.0.3.0]
|