Searched refs:mvDown (Results 1 – 4 of 4) sorted by relevance
67 childAxis = (mvDown >>> maybeToList) >=> maybeStar mvRight81 visit k t = t : maybe k (visit' k) (mvDown t)
33 mvDown :: t a -> Maybe (t a)
206 mvDown = down function
50 moveDown = arrL $ maybeToList . T.mvDown