Home
last modified time | relevance | path

Searched defs:spanJust (Results 1 – 2 of 2) sorted by relevance

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Utils/
H A DList.hs270 spanJust p = loop function
/dports/finance/hs-hledger-ui/hledger-ui-1.19/_cabal_deps/utility-ht-0.0.16/src/Data/List/HT/
H A DPrivate.hs645 spanJust f = function