Hoogle Search
Within LTS Haskell 24.33 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
TPat_EnumFromTo :: forall a . TPat a -> TPat a -> TPat atidal-core Sound.Tidal.ParseBP No documentation available.
pEnumeration :: Parseable a => MyParser (TPat a) -> TPat a -> MyParser (TPat a)tidal-core Sound.Tidal.ParseBP No documentation available.
-
xmonad XMonad.Operations No documentation available.
lineNumPos :: LibPositionInfo -> LineNumberAgda Agda.Interaction.Library Line number in libraries file.
-
Agda Agda.Interaction.Library.Base No documentation available.
hasLineNumber :: LibParseError -> Maybe LineNumberAgda Agda.Interaction.Library.Base Does a parse error contain a line number?
lineNumPos :: LibPositionInfo -> LineNumberAgda Agda.Interaction.Library.Base Line number in libraries file.
holeNumber :: BoundVariablePosition -> !IntAgda 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).
linenumbers :: SharedOptions -> RecordPositionsBNFC BNFC.Options Add and set line_number field for syntax classes
pattern
GLU_INVALID_ENUM :: GLenumGLURaw Graphics.GLU.Tokens No documentation available.