blob: 0b38463d1ca03e8551ad647bd7ffac9dde5f6dde (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
TYPE SIGNATURES
f :: Int -> ()
m :: forall a. C a => a -> ()
TYPE CONSTRUCTORS
class C a | -> a where
m :: a -> ()
{-# MINIMAL m #-}
COERCION AXIOMS
axiom T12763.N:C :: C a = a -> () -- Defined at T12763.hs:6:1
INSTANCES
instance C Int -- Defined at T12763.hs:9:10
Dependent modules: []
Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
integer-gmp-1.0.0.1]
|
