Searched refs:nameToArgName (Results 1 – 12 of 12) sorted by relevance
46 dom{ unDom = (nameToArgName x, a) }58 let argNames = map (fmap nameToArgName) names
309 let isParamName = (`Set.member` params) . nameToArgName
379 nameToArgName :: Name -> ArgName380 nameToArgName = stringToArgName . prettyShow function383 namedArgName x = fromMaybe (nameToArgName $ namedArg x) $ bareNameOf x
624 $ Abs (nameToArgName $ qnameName projname) EmptyTel)
1094 ret (ExtendTel a $ Abs (nameToArgName x) tel) s
681 let v' = Lam info' $ Abs (nameToArgName x) v
764 let makeVar = maybe deBruijnVar $ debruijnNamedVar . nameToArgName
418 nameToPatVarName = nameToArgName973 suggestName = suggestName . nameToArgName
439 getContextTelescope = telFromList' nameToArgName . reverse <$> getContext
349 prettyTCM (PrettyContext ctx) = prettyTCM $ telFromList' nameToArgName $ reverse ctx
1211 bindsToTel = bindsToTel' nameToArgName1223 …ExtendTel (t <$ domFromNamedArgName x) $ Abs (nameToArgName $ namedArg x) $ namedBindsToTel xs (ra…1232 …me (Named Nothing x) = Named (Just $ WithOrigin Inserted $ Ranged (getRange x) $ nameToArgName x) x
830 tel <- telFromList . map (fmap (first nameToArgName) . hideButXs) . reverse <$> getContext