Hoogle Search

Within LTS Haskell 24.60 (ghc-9.10.3)

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

  1. hasLineNumber :: LibParseError -> Maybe LineNumber

    Agda Agda.Interaction.Library.Base

    Does a parse error contain a line number?

  2. lineNumPos :: LibPositionInfo -> LineNumber

    Agda Agda.Interaction.Library.Base

    Line number in libraries file.

  3. holeNumber :: BoundVariablePosition -> !Int

    Agda Agda.Syntax.Common

    The position (in the left-hand side of the syntax declaration) of the hole in which the variable is bound, counting from zero (and excluding parts that are not holes). For instance, for syntax Σ A (λ x → B) = B , A , x the number for x is 1, corresponding to B (0 would correspond to A).

  4. linenumbers :: SharedOptions -> RecordPositions

    BNFC BNFC.Options

    Add and set line_number field for syntax classes

  5. pattern GLU_INVALID_ENUM :: GLenum

    GLURaw Graphics.GLU.Tokens

    No documentation available.

  6. rcSampleNumber :: RNAcode -> Maybe Int

    ViennaRNAParser Bio.RNAcodeData

    No documentation available.

  7. sequenceNumber :: RNAz -> Int

    ViennaRNAParser Bio.RNAzData

    No documentation available.

  8. parseLineNumber :: Int -> IO Int

    aftovolio Aftovolio.General.Simple

    No documentation available.

  9. parseLineNumber :: Int -> IO Int

    aftovolio Aftovolio.Ukrainian.IO

    No documentation available.

  10. OptionTypeEnum :: [Expression] -> OptionType

    autodocodec-nix Autodocodec.Nix

    No documentation available.

Page 185 of many | Previous | Next