Searched defs:allUDFM (Results 1 – 4 of 4) sorted by relevance
391 allUDFM p (UDFM m _i) = M.foldr ((&&) . p . taggedFst) True m function
406 allUDFM p (UDFM m _i) = M.foldr ((&&) . p . taggedFst) True m function
413 allUDFM p (UDFM m _i) = M.foldr ((&&) . p . taggedFst) True m function