Searched refs:domFromNamedArgName (Results 1 – 2 of 2) sorted by relevance
324 addContext (namedArg x, t <$ domFromNamedArgName x) .
1223 …ExtendTel (t <$ domFromNamedArgName x) $ Abs (nameToArgName $ namedArg x) $ namedBindsToTel xs (ra…1228 domFromNamedArgName :: NamedArg Name -> Dom ()1229 domFromNamedArgName x = () <$ domFromNamedArg (fmap forceName x) function