Commit a897ab8f authored by simonpj's avatar simonpj
Browse files

Accept output

parent 6a4eb29b
TYPE SIGNATURES
emptyL :: forall a. ListColl a
test2 :: forall t t1 c.
((t, t1) ~ Elem c, Num t, Num t1, Coll c) =>
c -> c
TYPE CONSTRUCTORS
data ListColl a
RecFlag NonRecursive
Generics: no
= L :: forall a. [a] -> ListColl a Stricts: _
FamilyInstance: none
INSTANCES
instance Coll (ListColl a) -- Defined at T3017.hs:12:11-27
FAMILY INSTANCES
type instance Elem (ListColl a) -- Defined at T3017.hs:13:9-12
Tycons with generics:
Dependent modules: []
Dependent packages: [base, ghc-prim, integer-impl]
TYPE SIGNATURES
emptyL :: forall a. ListColl a
test2 :: forall c a a1.
(Coll c, Elem c ~ (a, a1), Num a, Num a1) =>
c -> c
TYPE CONSTRUCTORS
data ListColl a
RecFlag NonRecursive
Generics: no
= L :: forall a. [a] -> ListColl a Stricts: _
FamilyInstance: none
INSTANCES
instance Coll (ListColl a) -- Defined at T3017.hs:12:11-27
FAMILY INSTANCES
type instance Elem (ListColl a) -- Defined at T3017.hs:13:9-12
Tycons with generics:
Dependent modules: []
Dependent packages: [base, ghc-prim, integer-gmp]
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment