Hoogle Search
Within LTS Haskell 24.35 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
randomEnum :: (Enum a, RandomGen g) => (a, a) -> g -> (a, g)tf-random System.Random.TF.Instances No documentation available.
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