Module DefaultRuleUsage

This module contains some operations to check and access default rules in a Curry program.

Author: Michael Hanus

Version: May 2016

Summary of exported operations:

containsDefaultRules
                  :: CurryProg -> Bool

Does a program contains default rules?

checkDefaultRules
                  :: CurryProg -> [((String,String),String)]

Check correct usage of default rules and return function names and errors for incorrect uses.

isDefaultFunc
                  :: CFuncDecl -> Bool

Is this function a declaration of a default rule?

isDefaultName
                  :: String -> Bool

Is this the name of a specification?

fromDefaultName
                  :: String -> String

Drop the default rule suffix "'default" from the name:

Does a program contains default rules?

checkDefaultRules :: CurryProg -> [((String,String),String)]

Check correct usage of default rules and return function names and errors for incorrect uses.

Is this function a declaration of a default rule?

isDefaultName :: String -> Bool

Is this the name of a specification?

fromDefaultName :: String -> String

Drop the default rule suffix "'default" from the name: