blob: ebd327c98fc8e92b108b16c6ecde3c1ad9daf51f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
TYPE SIGNATURES
foo :: F Int Char -> Int
TYPE CONSTRUCTORS
type family F a b :: * open
COERCION AXIOMS
axiom TypeFamilyInstanceLHS.TFCo:R:FBool_ ::
F Bool _ = Bool -- Defined at TypeFamilyInstanceLHS.hs:6:15
axiom TypeFamilyInstanceLHS.TFCo:R:FInt_ ::
F Int _ = Int -- Defined at TypeFamilyInstanceLHS.hs:5:15
FAMILY INSTANCES
type instance F Int _
type instance F Bool _
Dependent modules: []
Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
integer-gmp-1.0.0.0]
|