Searched defs:ipartsOf (Results 1 – 6 of 6) sorted by relevance
307 :: forall k is i s t a. (Is k A_Traversal, is `HasSingleIndex` i)310 ipartsOf o = conjoined (partsOf o) $ ilensVL $ \f s -> function
541 ipartsOf l = conjoined function553 ipartsOf' l = conjoined function
539 ipartsOf l = conjoined function551 ipartsOf' l = conjoined function