Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Retrie.Query
Synopsis
- data QuerySpec
- parseQuerySpecs :: LibDir -> FixityEnv -> [(Quantifiers, QuerySpec, v)] -> IO [Query Universe v]
- genericQ :: Typeable a => Matcher v -> Context -> a -> TransformT IO [(Context, Substitution, v)]
Documentation
Specifies which parser to use in parseQueries
.
parseQuerySpecs :: LibDir -> FixityEnv -> [(Quantifiers, QuerySpec, v)] -> IO [Query Universe v] #
genericQ :: Typeable a => Matcher v -> Context -> a -> TransformT IO [(Context, Substitution, v)] #