Language.Fixpoint.Horn.Parse

Documentation

hornP :: Parser (TagQuery, [String])

hCstrP :: Parser (Cstr Tag)

hPredP :: Parser Pred

hQualifierP :: Parser Qualifier

Qualifiers

hVarP :: Parser (Var Tag)

Horn Variables