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