Module DefaultRuleUsage

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

Author: Michael Hanus

Version: November 2022

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: