Hoogle Search
Within LTS Haskell 24.40 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
manyTill :: (Monoid s, Monoid r, Semigroup r) => Parser t s r -> Parser t s r' -> Parser t s rincremental-parser Text.ParserCombinators.Incremental.LeftBiasedLocal Repeats matching the first argument until the second one succeeds.
concatMany :: (MonoidAlternative f, Semigroup a, Monoid a) => f a -> f aincremental-parser Text.ParserCombinators.Incremental.Symmetric Zero or more argument occurrences like many, but concatenated.
defaultMany :: (Monoid s, Alternative (Parser t s)) => Parser t s r -> Parser t s [r]incremental-parser Text.ParserCombinators.Incremental.Symmetric No documentation available.
manyTill :: (Monoid s, Monoid r, Semigroup r) => Parser t s r -> Parser t s r' -> Parser t s rincremental-parser Text.ParserCombinators.Incremental.Symmetric Repeats matching the first argument until the second one succeeds.
takeMany :: DeterministicParsing m => m a -> m [a]input-parsers Text.Parser.Deterministic Like many, but always consuming the longest matching sequence of input.
many1Till :: Show end => JiraParser a -> JiraParser end -> JiraParser [a]jira-wiki-markup Text.Jira.Parser.Core Like manyTill, but reads at least one item.
defuncAny :: Defunc a => Config -> SymEnv -> a -> aliquid-fixpoint Language.Fixpoint.Defunctionalize No documentation available.
-
liquid-fixpoint Language.Fixpoint.Smt.Interface No documentation available.
-
liquid-fixpoint Language.Fixpoint.Smt.Types No documentation available.
buildMany :: [Builder] -> Builderliquid-fixpoint Language.Fixpoint.Types.Names No documentation available.