Module CurryDoc.CDoc

Exported datatypes:

The information about a Curry module contains

• the module information
• the corresponding functions
• the corresponding data and type declaration

Constructors:

• CurryInfo :: ModuleInfo -> [FunctionInfo] -> [TypeInfo] -> CurryInfo

The basic information about some module contains

• the name
• the author
• the description

Constructors:

• ModuleInfo :: String -> String -> String -> ModuleInfo

The information about functions defined in a Curry module contains

• the name
• the signature
• the corresponding module
• the description
• True if property ist defined non-deterministically
• the flex/rigid status

Constructors:

• FunctionInfo :: String -> TypeExpr -> String -> String -> Bool -> FlexRigidResult -> FunctionInfo

The information about types defined in a Curry module contains

• the name
• the signature (true indicates a type synonym, false a data type)
• a list of constructors and their argument types (or the type name and the type expression in case of type synonyms)
• a list of type variables (i.e., non-empty for a polymoprhic type)
• the corresponding module
• the description
• a flag which is True if it is a type synonym

Constructors:

• TypeInfo :: String -> [(QName,[TypeExpr])] -> [TVarIndex] -> String -> String -> Bool -> TypeInfo

Exported operations: