blob: a079ea0342da466ee4c1d850e05078679c3dc3fb (
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 family F{2} :: * -> * -> *
roles nominal nominal
COERCION AXIOMS
axiom TypeFamilyInstanceLHS.D:R:FBool_1 :: F Bool _1 = Bool
axiom TypeFamilyInstanceLHS.D:R:FInt_1 :: F Int _1 = Int
FAMILY INSTANCES
type instance F Int _ = Int
-- Defined at TypeFamilyInstanceLHS.hs:7:15
type instance F Bool _ = Bool
-- Defined at TypeFamilyInstanceLHS.hs:8:15
Dependent modules: []
Dependent packages: [base-4.13.0.0, ghc-prim-0.6.1,
integer-gmp-1.0.2.0]
|