Language.Haskell.SourceMatch

This module will implement pattern matching on Haskell source as parsed by `haskell-src-exts`.

Documentation

isStringMatchedToDecl :: String -> DecsQ -> IO (Either MatchingError MatchResult)

This function should read input string, and check that it contains given declaration.

isFileMatchedToDecl :: FilePath -> DecsQ -> IO (Either MatchingError MatchResult)

type MatchResult = Map MetaVariable String

Result of matching (metavariables unification)

data T_1

Dummy Types to use as metavariables

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