Module ICurry.Extended.Goodies

Some convenience functions for dealing with Extended ICurry structures

Author: Marc Andre Wittorf

Summary of exported operations:

isExternal :: IEFunction -> Bool   
Check if a function is defined externally
isGlobal :: IEFunction -> Bool   
Check if a function is a call to the special global function
escapeSpecials :: String -> String   

Escape special characters in a string

This includes many special characters common in curry which are no valid identifiers in many imperative languages

isPublic :: IEVisibility -> Bool   
Predicate to test if a visibility is Public
isPrivate :: IEVisibility -> Bool   
Predicate to test if a visibility is Private

Exported operations:

isExternal :: IEFunction -> Bool   

Check if a function is defined externally

Example call:
(isExternal f)
Parameters:
  • f : the function
Returns:
True iff the function is defined externally

isGlobal :: IEFunction -> Bool   

Check if a function is a call to the special global function

Example call:
(isGlobal f)
Parameters:
  • f : the function
Returns:
True iff the function is a global

escapeSpecials :: String -> String   

Escape special characters in a string

This includes many special characters common in curry which are no valid identifiers in many imperative languages

Example call:
(escapeSpecials s the)
Parameters:
  • s : the unescaped string
  • the : escaped string

isPublic :: IEVisibility -> Bool   

Predicate to test if a visibility is Public

Example call:
(isPublic v)
Parameters:
  • v : the visibility
Returns:
True if v is Public, False otherwise
Further infos:
  • solution complete, i.e., able to compute all solutions

isPrivate :: IEVisibility -> Bool   

Predicate to test if a visibility is Private

Example call:
(isPrivate v)
Parameters:
  • v : the visibility
Returns:
True if v is Private, False otherwise
Further infos:
  • solution complete, i.e., able to compute all solutions