blob: 5afb822c3274aa7418e7aae90ad8015e9f3b5995 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
TYPE SIGNATURES
emptyL :: forall a. ListColl a
test2 :: forall c t t1.
(Num t, Num t1, Coll c, Elem c ~ (t, t1)) =>
c -> c
TYPE CONSTRUCTORS
data ListColl a
RecFlag NonRecursive
= L :: forall a. [a] -> ListColl a Stricts: _
FamilyInstance: none
COERCION AXIOMS
axiom Foo.TFCo:R:ElemListColl [a]
:: Elem (ListColl a) ~ Foo.R:ElemListColl a
INSTANCES
instance Coll (ListColl a) -- Defined at T3017.hs:12:11-27
FAMILY INSTANCES
type Elem (ListColl a) -- Defined at T3017.hs:13:9-12
Dependent modules: []
Dependent packages: [base, ghc-prim, integer-gmp]
|
