curry.backends.py.currylib.prelude package

class curry.backends.py.currylib.prelude.PreludeSpecification[source]

Bases: PreludeSpecification

CONSTRUCTOR_METADATA = {('()', 0): {'py.format': '()'}, ('(,)', 0): {'py.format': '({1}, {2})'}, ('(,,)', 0): {'py.format': '({1}, {2}, {3})'}, ('(,,,)', 0): {'py.format': '({1}, {2}, {3}, {4})'}, ('(,,,,)', 0): {'py.format': '({1}, {2}, {3}, {4}, {5})'}, ('(,,,,,)', 0): {'py.format': '({1}, {2}, {3}, {4}, {5}, {6})'}, ('(,,,,,,)', 0): {'py.format': '({1}, {2}, {3}, {4}, {5}, {6}, {7})'}, ('(,,,,,,,)', 0): {'py.format': '({1}, {2}, {3}, {4}, {5}, {6}, {7}, {8})'}, ('(,,,,,,,,)', 0): {'py.format': '({1}, {2}, {3}, {4}, {5}, {6}, {7}, {8}, {9})'}, ('(,,,,,,,,,)', 0): {'py.format': '({1}, {2}, {3}, {4}, {5}, {6}, {7}, {8}, {9}, {10})'}, ('(,,,,,,,,,,)', 0): {'py.format': '({1}, {2}, {3}, {4}, {5}, {6}, {7}, {8}, {9}, {10}, {11})'}, ('(,,,,,,,,,,,)', 0): {'py.format': '({1}, {2}, {3}, {4}, {5}, {6}, {7}, {8}, {9}, {10}, {11}, {12})'}, ('(,,,,,,,,,,,,)', 0): {'py.format': '({1}, {2}, {3}, {4}, {5}, {6}, {7}, {8}, {9}, {10}, {11}, {12}, {13})'}, ('(,,,,,,,,,,,,,)', 0): {'py.format': '({1}, {2}, {3}, {4}, {5}, {6}, {7}, {8}, {9}, {10}, {11}, {12}, {13}, {14})'}, ('Char', 0): {'py.format': '{1}'}, ('Float', 0): {'py.format': '{1}'}, ('Int', 0): {'py.format': '{1}'}, ('[]', 0): {'py.format': '({1}:{2})'}, ('[]', 1): {'py.format': '[]'}}
FUNCTION_METADATA = {'$!': {'py.rawfunc': <function apply_hnf>}, '$!!': {'py.rawfunc': <function apply_nf>}, '$##': {'py.rawfunc': <function apply_gnf>}, '&': {'py.rawfunc': <function concurrent_and>}, '?': {'py.rawfunc': <function choice>}, '_biGenerator': {'py.boxedfunc': <function _biGenerator>}, '_biString': {'py.boxedfunc': <function _biString>}, 'apply': {'py.rawfunc': <function apply>}, 'bindIO': {'py.rawfunc': <function bindIO>}, 'catch': {'py.rawfunc': <function catch>}, 'cond': {'py.rawfunc': <function cond>}, 'constrEq': {'py.rawfunc': <function constr_eq>}, 'divInt': {'py.unboxedfunc': <function divInt>}, 'ensureNotFree': {'py.rawfunc': <function ensureNotFree>}, 'eqChar': {'py.unboxedfunc': <built-in function eq>}, 'eqFloat': {'py.unboxedfunc': <built-in function eq>}, 'eqInt': {'py.unboxedfunc': <built-in function eq>}, 'failed': {'py.boxedfunc': <function failed>}, 'failure': {'py.rawfunc': <function not_used>}, 'getChar': {'py.boxedfunc': <function getChar>}, 'ifVar': {'py.rawfunc': <function not_used>}, 'letrec': {'py.rawfunc': <function not_used>}, 'ltEqChar': {'py.unboxedfunc': <built-in function le>}, 'ltEqFloat': {'py.unboxedfunc': <built-in function le>}, 'ltEqInt': {'py.unboxedfunc': <built-in function le>}, 'minusInt': {'py.unboxedfunc': <function minusInt>}, 'modInt': {'py.unboxedfunc': <function modInt>}, 'negateFloat': {'py.unboxedfunc': <built-in function neg>}, 'nonstrictEq': {'py.rawfunc': <function nonstrict_eq>}, 'plusInt': {'py.unboxedfunc': <function plusInt>}, 'prim_acosFloat': {'py.unboxedfunc': <built-in function acos>}, 'prim_acoshFloat': {'py.unboxedfunc': <built-in function acosh>}, 'prim_appendFile': {'py.rawfunc': <function appendFile>}, 'prim_asinFloat': {'py.unboxedfunc': <built-in function asin>}, 'prim_asinhFloat': {'py.unboxedfunc': <built-in function asinh>}, 'prim_atanFloat': {'py.unboxedfunc': <built-in function atan>}, 'prim_atanhFloat': {'py.unboxedfunc': <built-in function atanh>}, 'prim_chr': {'py.unboxedfunc': <built-in function chr>}, 'prim_cosFloat': {'py.unboxedfunc': <built-in function cos>}, 'prim_coshFloat': {'py.unboxedfunc': <built-in function cosh>}, 'prim_divFloat': {'py.unboxedfunc': <function prim_divFloat>}, 'prim_error': {'py.boxedfunc': <function error>}, 'prim_expFloat': {'py.unboxedfunc': <built-in function exp>}, 'prim_intToFloat': {'py.unboxedfunc': <class 'float'>}, 'prim_ioError': {'py.rawfunc': <function ioError>}, 'prim_logFloat': {'py.unboxedfunc': <built-in function log>}, 'prim_minusFloat': {'py.unboxedfunc': <function prim_minusFloat>}, 'prim_ord': {'py.unboxedfunc': <built-in function ord>}, 'prim_plusFloat': {'py.unboxedfunc': <built-in function add>}, 'prim_putChar': {'py.boxedfunc': <function putChar>}, 'prim_readCharLiteral': {'py.boxedfunc': <function readCharLiteral>}, 'prim_readFile': {'py.boxedfunc': <function readFile>}, 'prim_readFileContents': {'py.rawfunc': <function not_used>}, 'prim_readFloatLiteral': {'py.boxedfunc': <function readFloatLiteral>}, 'prim_readNatLiteral': {'py.boxedfunc': <function readNatLiteral>}, 'prim_readStringLiteral': {'py.boxedfunc': <function readStringLiteral>}, 'prim_roundFloat': {'py.unboxedfunc': <function prim_roundFloat>}, 'prim_showCharLiteral': {'py.boxedfunc': <function show>}, 'prim_showFloatLiteral': {'py.boxedfunc': <function show>}, 'prim_showIntLiteral': {'py.boxedfunc': <function show>}, 'prim_showStringLiteral': {'py.boxedfunc': <function show>}, 'prim_sinFloat': {'py.unboxedfunc': <built-in function sin>}, 'prim_sinhFloat': {'py.unboxedfunc': <built-in function sinh>}, 'prim_sqrtFloat': {'py.unboxedfunc': <built-in function sqrt>}, 'prim_tanFloat': {'py.unboxedfunc': <built-in function tan>}, 'prim_tanhFloat': {'py.unboxedfunc': <built-in function tanh>}, 'prim_timesFloat': {'py.unboxedfunc': <built-in function mul>}, 'prim_truncateFloat': {'py.unboxedfunc': <function prim_truncateFloat>}, 'prim_writeFile': {'py.rawfunc': <function writeFile>}, 'quotInt': {'py.unboxedfunc': <function quotInt>}, 'remInt': {'py.unboxedfunc': <function remInt>}, 'returnIO': {'py.rawfunc': <function returnIO>}, 'seqIO': {'py.rawfunc': <function seqIO>}, 'timesInt': {'py.unboxedfunc': <function timesInt>}, 'unifEqLinear': {'py.rawfunc': <function not_used>}}
exports()[source]

Returns the name of each symbol that must be copied to the Prelude. This is allowed to clobber symbols defined in Prelude.curry.

Submodules