Searched refs:debruijnNamedVar (Results 1 – 7 of 7) sorted by relevance
13 deBruijnVar = debruijnNamedVar underscore16 debruijnNamedVar :: String -> Int -> a17 debruijnNamedVar _ = deBruijnVar function47 debruijnNamedVar = DBPatVar function
133 ConP sharpCon cpi [ argN $ Named Nothing $ debruijnNamedVar "x" 0 ] ]
145 debruijnNamedVar n i = toSplitVar (debruijnNamedVar n i) function
112 …med (Just $ WithOrigin Inserted $ unranged $ argNameToString argName) (debruijnNamedVar varName i))
1086 debruijnNamedVar n i = varP $ debruijnNamedVar n i function
1096 pat = [defaultArg $ unnamed $ debruijnNamedVar "c" 0]
764 let makeVar = maybe deBruijnVar $ debruijnNamedVar . nameToArgName