====================================================== Curry Package Information System (Version of 30/05/25) ====================================================== Requests for different kinds of entities: Package requests: name: Name of the package versions: Available versions of the package Version requests: version: Version number of the version documentation: Documentation of the version categories: Categories of the version modules: All modules of the version exportedmodules: Exported modules of the version dependencies: Dependencies of the version Module requests: name: Name of the module documentation: Documentation comment of the module sourcecode: Source code of the module unsafe: Analysis: is the module unsafe? classes: Exported classes of the module types: Exported types of the module operations: Exported operations of the module Type requests: name: Name of the type documentation: Documentation comment of the type definition: Definition of the type constructors: The list of the constructors of the type Class requests: name: Name of the type class documentation: Documentation comment of the type class definition: Definition of the type class methods: The list of the methods of the type class Operation requests: name: The name of the operation documentation: Documentation comment of the operation definition: Definition of the operation signature: Signature of the operation infix: Associativity of operation precedence: Precedence of the operation when used infix deterministic: Analysis: deterministic operation? demand: Analysis: demanded arguments indeterministic: Analysis: indeterministic operation? solution-complete: Analysis: solution complete operation? terminating: Analysis: operation always terminating? totally-defined: Analysis: operation totally defined? result-values: Analysis: result values (top constructors) failfree: Verification: non-fail conditions on arguments iotype: Inference: in/out type of the operation