Lines Matching refs:aVar
113 vars@[aVar,bVar] = map (VarT . mkName) ["a","b"]
147 aVar = VarT a function
154 , datatypeInstTypes = [SigT aVar starK]
168 , constructorFields = [AppT (AppT (TupleT 2) aVar) aVar]
181 , constructorContext = [equalPred aVar (ConT ''Double)]
229 [ equalPred aVar cVar
295 vars@[aVar,bVar] = map VarT names
317 , constructorContext = [equalPred aVar (AppT ListT bVar)] }
754 , constructorContext = [equalPred aVar bVar]
900 [kVar,aVar] = map VarT names
902 aSig = SigT aVar kVar
974 , constructorVars = [KindedTV x aVar]
1053 let [aVar, bVar] = map VarT [a, b]
1056 fvsABActual = freeVariablesWellScoped [aVar, bVar]
1059 fvsBAActual = freeVariablesWellScoped [bVar, aVar]