Hoogle Search

Within LTS Haskell 24.41 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

  1. newtype Parser a

    trifecta Text.Trifecta.Parser

    The type of a trifecta parser The first four arguments are behavior continuations:

    • epsilon success: the parser has consumed no input and has a result as well as a possible Err; the position and chunk are unchanged (see pure)
    • epsilon failure: the parser has consumed no input and is failing with the given Err; the position and chunk are unchanged (see empty)
    • committed success: the parser has consumed input and is yielding the result, set of expected strings that would have permitted this parse to continue, new position, and residual chunk to the continuation.
    • committed failure: the parser has consumed input and is failing with a given ErrInfo (user-facing error message)
    The remaining two arguments are
    • the current position
    • the chunk of input currently under analysis
    Parser is an Alternative; trifecta's backtracking behavior encoded as <|> is to behave as the leftmost parser which yields a value (regardless of any input being consumed) or which consumes input and fails. That is, a choice of parsers will only yield an epsilon failure if *all* parsers in the choice do. If that is not the desired behavior, see try, which turns a committed parser failure into an epsilon failure (at the cost of error information).

  2. Parser :: (forall r . () => (a -> Err -> It Rope r) -> (Err -> It Rope r) -> (a -> Set String -> Delta -> ByteString -> It Rope r) -> (ErrInfo -> It Rope r) -> Delta -> ByteString -> It Rope r) -> Parser a

    trifecta Text.Trifecta.Parser

    No documentation available.

  3. Pure :: a -> It r a

    trifecta Text.Trifecta.Util.It

    Final result, rest of the feed is discarded

  4. class Projectable (as :: Set Type) a

    type-set Data.OneOfThem

    No documentation available.

  5. class Projectable (as :: Set Type) a

    type-set Data.OneOrMore

    No documentation available.

  6. class Pretty a

    wl-pprint-text Text.PrettyPrint.Leijen.Text

    The member prettyList is only used to define the instance Pretty a => Pretty [a]. In normal circumstances only the pretty function is used.

  7. class Pretty a

    wl-pprint-text Text.PrettyPrint.Leijen.Text.Monadic

    The member prettyList is only used to define the instance Pretty a => Pretty [a]. In normal circumstances only the pretty function is used.

  8. class Projectable (c :: k -> k1 -> Type) (t :: k) (f :: k -> k1) | t -> f

    yaya Yaya.Fold

    This type class is lawless on its own, but there exist types that can’t implement the corresponding embed operation. Laws are induced by implementing either Steppable (which extends this) or Corecursive (which doesn’t).

  9. module Yaya.Pattern

    Common pattern functors (and instances for them). This re-exports the functors from the strict library because it also adds some orphan instances for them.

  10. data PatternFunctorRules

    yaya Yaya.Retrofit

    Rules of renaming data names

Page 601 of many | Previous | Next