Searched defs:preSet (Results 1 – 7 of 7) sorted by relevance
187 preSet x = AM.postSet x . toAdjacencyMapTranspose function356 preSet = AM.preSet function432 preSet = LAM.preSet function454 preSet = NAM.preSet function
475 preSet x = Set.mapMonotonic fst . Set.filter ((== x) . snd) . relation function
492 preSet x = Set.fromAscList . map fst . filter p . Map.toAscList . adjacencyMap function
329 preSet = coerce AM.preSet function
430 preSet = coerce AM.preSet function
172 , preSet = AM.preSet function247 , preSet = T.preSet function363 , preSet = \x -> T.preSet x . getMono function435 , preSet = R.preSet function505 , preSet = T.preSet function570 , preSet = T.preSet function628 , preSet = LAM.preSet function
437 preSet x (AM m) = Set.fromAscList function