Hoogle Search

Within LTS Haskell 24.36 (ghc-9.10.3)

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

  1. type LineNumber = Int

    Agda Agda.Interaction.Library.Base

    No documentation available.

  2. hasLineNumber :: LibParseError -> Maybe LineNumber

    Agda Agda.Interaction.Library.Base

    Does a parse error contain a line number?

  3. lineNumPos :: LibPositionInfo -> LineNumber

    Agda Agda.Interaction.Library.Base

    Line number in libraries file.

  4. 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).

  5. linenumbers :: SharedOptions -> RecordPositions

    BNFC BNFC.Options

    Add and set line_number field for syntax classes

  6. pattern GLU_INVALID_ENUM :: GLenum

    GLURaw Graphics.GLU.Tokens

    No documentation available.

  7. rcSampleNumber :: RNAcode -> Maybe Int

    ViennaRNAParser Bio.RNAcodeData

    No documentation available.

  8. sequenceNumber :: RNAz -> Int

    ViennaRNAParser Bio.RNAzData

    No documentation available.

  9. parseLineNumber :: Int -> IO Int

    aftovolio Aftovolio.General.Simple

    No documentation available.

  10. parseLineNumber :: Int -> IO Int

    aftovolio Aftovolio.Ukrainian.IO

    No documentation available.

Page 184 of many | Previous | Next