ExtraConstraints1.stderr 478 Bytes
Newer Older
1
TYPE SIGNATURES
2
  arbitCs1 :: forall a. (Show a, Enum a, Eq a) => a -> String
3 4 5 6 7 8 9
  arbitCs2 :: forall a. (Show a, Enum a, Eq a) => a -> String
  arbitCs3 :: forall a. (Show a, Enum a, Eq a) => a -> String
  arbitCs4 :: forall a. (Eq a, Show a, Enum a) => a -> String
  arbitCs5 :: forall a. (Eq a, Enum a, Show a) => a -> String
TYPE CONSTRUCTORS
COERCION AXIOMS
Dependent modules: []
10
Dependent packages: [base-4.11.0.0, ghc-prim-0.5.2.0,
Ben Gamari's avatar
Ben Gamari committed
11
                     integer-gmp-1.0.1.0]