Home
last modified time | relevance | path

Searched refs:mvDown (Results 1 – 4 of 4) sorted by relevance

/dports/net-im/matterhorn/matterhorn-50200.13.0/_cabal_deps/hxt-9.3.1.18/src/Data/Tree/NavigatableTree/
H A DXPathAxis.hs67 childAxis = (mvDown >>> maybeToList) >=> maybeStar mvRight
81 visit k t = t : maybe k (visit' k) (mvDown t)
H A DClass.hs33 mvDown :: t a -> Maybe (t a)
/dports/net-im/matterhorn/matterhorn-50200.13.0/_cabal_deps/hxt-9.3.1.18/src/Data/Tree/NTree/Zipper/
H A DTypeDefs.hs206 mvDown = down function
/dports/net-im/matterhorn/matterhorn-50200.13.0/_cabal_deps/hxt-9.3.1.18/src/Control/Arrow/
H A DArrowNavigatableTree.hs50 moveDown = arrL $ maybeToList . T.mvDown