curry.backends.generic.currylib.setfunctions module

Implements the external parts of Control.SetFunctions.

class curry.backends.generic.currylib.setfunctions.SetFunctionsSpecification[source]

Bases: ModuleSpecification

FUNCTIONS = [('allValues', 1, {}), ('applyS', 2, {}), ('captureS', 2, {}), ('evalS', 1, {}), ('exprS', 1, {}), ('set', 1, {}), ('set0', 1, {}), ('set1', 2, {}), ('set2', 3, {}), ('set3', 4, {}), ('set4', 5, {}), ('set5', 6, {}), ('set6', 7, {}), ('set7', 8, {})]

IMPORTS = []

NAME = 'Control.SetFunctions'

TYPES = [('PartialS', [('PartialS', 2, {'all.flags': 8})]), ('SetEval', [('SetEval', 2, {})])]