| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.Haskell.SourceMatch
Description
This module will implement pattern matching on Haskell source as parsed by `haskell-src-exts`.
Synopsis
- isStringMatchedToDecl :: String -> DecsQ -> IO (Either MatchingError MatchResult)
- isFileMatchedToDecl :: FilePath -> DecsQ -> IO (Either MatchingError MatchResult)
- type MatchResult = Map MetaVariable String
- data T_1
- data T_2
- data T_3
- data T_4
- data T_5
- data T_6
- data T_7
- data T_8
- data T_9
- data T_10
Documentation
isStringMatchedToDecl :: String -> DecsQ -> IO (Either MatchingError MatchResult) Source #
This function should read input string, and check that it contains given declaration.
isFileMatchedToDecl :: FilePath -> DecsQ -> IO (Either MatchingError MatchResult) Source #
type MatchResult = Map MetaVariable String Source #
Result of matching (metavariables unification)