blob: ae82437e1dc6a956591782b7e31aa19d83a0fec0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
TYPE SIGNATURES
foo :: F Int Char -> Int
TYPE CONSTRUCTORS
type role F nominal nominal
F :: * -> * -> *
COERCION AXIOMS
axiom TypeFamilyInstanceLHS.D:R:FBool_1 ::
F Bool _1 = Bool -- Defined at TypeFamilyInstanceLHS.hs:8:15
axiom TypeFamilyInstanceLHS.D:R:FInt_1 ::
F Int _1 = Int -- Defined at TypeFamilyInstanceLHS.hs:7:15
FAMILY INSTANCES
type instance F Int _1
type instance F Bool _1
Dependent modules: []
Dependent packages: [base-4.12.0.0, ghc-prim-0.5.3,
integer-gmp-1.0.2.0]
|
