Hoogle Search
Within LTS Haskell 24.52 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
ENIG Data.Text.ENIG.Data Identity of PostPosition Particle in Hangul
Parsed :: ST s [a] -> Int -> i -> ST s (Result s e i a) -> Result s e i aEarley Text.Earley The parser parsed a number of as. These are given as a computation, ST s [a] that constructs the as when run. We can thus save some work by ignoring this computation if we do not care about the results. The Int is the position in the input where these results were obtained, the i the rest of the input, and the last component is the continuation.
type
Parser e i a = forall s . () => i -> ST s Result s e i aEarley Text.Earley No documentation available.
data
Prod (r :: Type -> Type -> Type -> Type) e t aEarley Text.Earley A production. The type parameters are: a: The return type of the production. t for terminal: The type of the terminals that the production operates on. e for expected: The type of names, used for example to report expected tokens. r for rule: The type of a non-terminal. This plays a role similar to the s in the type ST s a. Since the parser function expects the r to be universally quantified, there is not much to do with this parameter other than leaving it universally quantified. As an example, Prod r String Char Int is the type of a production that returns an Int, operates on (lists of) characters and reports String names. Most of the functionality of Prods is obtained through its instances, e.g. Functor, Applicative, and Alternative.
-
Earley Text.Earley.Generator.Internal No documentation available.
type
ProdR s r e t a = Prod Rule s r e t aEarley Text.Earley.Generator.Internal No documentation available.
data
Prod (r :: Type -> Type -> Type -> Type) e t aEarley Text.Earley.Grammar A production. The type parameters are: a: The return type of the production. t for terminal: The type of the terminals that the production operates on. e for expected: The type of names, used for example to report expected tokens. r for rule: The type of a non-terminal. This plays a role similar to the s in the type ST s a. Since the parser function expects the r to be universally quantified, there is not much to do with this parameter other than leaving it universally quantified. As an example, Prod r String Char Int is the type of a production that returns an Int, operates on (lists of) characters and reports String names. Most of the functionality of Prods is obtained through its instances, e.g. Functor, Applicative, and Alternative.
Pure :: forall a (r :: Type -> Type -> Type -> Type) e t . a -> Prod r e t aEarley Text.Earley.Grammar No documentation available.
-
Parsing.
Parsed :: ST s [a] -> Int -> i -> ST s (Result s e i a) -> Result s e i aEarley Text.Earley.Parser The parser parsed a number of as. These are given as a computation, ST s [a] that constructs the as when run. We can thus save some work by ignoring this computation if we do not care about the results. The Int is the position in the input where these results were obtained, the i the rest of the input, and the last component is the continuation.