MCPcopy Create free account

hub / github.com/alehander92/Airtight / functions

Functions394 in github.com/alehander92/Airtight

Functiona_slice_AList_int_int_int_AList_int
examples/sum_while.py.c:222
Functiona_slice_AList_int_int_int_AList_int
examples/sum.py.c:141
Functiona_slice_AList_int_int_int_AList_int
examples/add4.py.c:141
Functiona_slice_AList_int_int_int_AList_int
examples/template.py.c:222
Functiona_slice_AList_int_int_int_AList_int
examples/m.py.c:141
Functiona_split_w_AString_AList_AString
core/collections.c:10
Functiona_split_w_AString_AList_AString
examples/sum_while.py.c:284
Functiona_split_w_AString_AList_AString
examples/sum.py.c:284
Functiona_split_w_AString_AList_AString
examples/add4.py.c:284
Functiona_split_w_AString_AList_AString
examples/template.py.c:284
Functiona_split_w_AString_AList_AString
examples/m.py.c:284
Functiona_str_AString_AString
core/string.c:44
Methodconvert
(self, python_ast)
airtight/converter.py:35
Functionconvert_ast
converts hindley-milner typed scheme-like ast to a lower level ast
airtight/ll_ast.py:3
Methodconvert_augassign
(self, target, op, value, context)
airtight/converter.py:81
Methodconvert_binop
2 / 2 => Multi_Apply( Ident('a_divide'), [Integer(2), Integer(2)])
airtight/converter.py:188
Methodconvert_call
a(2) => Apply(Ident("a"), anInteger(2))
airtight/converter.py:262
Methodconvert_compare
(self, ops, left, comparators, context)
airtight/converter.py:200
Methodconvert_expr
(self, value, context)
airtight/converter.py:158
Methodconvert_for
(self, target, body, iter, orelse, context)
airtight/converter.py:211
Methodconvert_functiondef
def name(arg, arg2): return arg ..context => Let('name', Multi_Lambda(['arg', 'arg2'],
airtight/converter.py:100
Methodconvert_if
(self, test, body, orelse, context)
airtight/converter.py:205
Methodconvert_lambda
lambda s: s => Lambda(Ident("s"), Ident("s"))
airtight/converter.py:270
Methodconvert_list
[e] => aList(Ident("e"))
airtight/converter.py:254
Methodconvert_module
(self, body, context, docstring=None)
airtight/converter.py:49
Methodconvert_name
alexander => Ident("alexander")
airtight/converter.py:240
Methodconvert_nameconstant
(self, value, context)
airtight/converter.py:248
Methodconvert_num
(self, n, context)
airtight/converter.py:94
Methodconvert_return
(self, value, context)
airtight/converter.py:185
Methodconvert_str
(self, s, context)
airtight/converter.py:91
Methodconvert_subscript
(self, value, slice, ctx, context)
airtight/converter.py:224
Methodconvert_while
(self, test, body, orelse, context)
airtight/converter.py:217
Methodgenerate
(self)
airtight/c_generator.py:17
Methodgenerate_alist
(self, node)
airtight/ll_ast.py:97
Methodgenerate_apply
(self, node)
airtight/ll_ast.py:82
Methodgenerate_body
(self, node)
airtight/ll_ast.py:32
Methodgenerate_for
(self, node)
airtight/ll_ast.py:103
Methodgenerate_ident
(self, node)
airtight/ll_ast.py:72
Methodgenerate_if
(self, node)
airtight/ll_ast.py:100
Methodgenerate_let
(self, node)
airtight/ll_ast.py:40
Methodgenerate_while
(self, node)
airtight/ll_ast.py:117
FunctionisIntegerLiteral
Checks whether name is an integer literal string. Args: name: The identifier to check Returns: True if name is an integer li
airtight/hindley_milner_ast.py:678
Functionmain
examples/sum_while.py.c:321
Functionmain
examples/sum.py.c:319
Functionmain
examples/add4.py.c:314
Functionmain
examples/template.py.c:317
Functionmain
examples/m.py.c:324
Functionnope
(a: Integer)
examples/m.py:8
Methodrewrite
(self)
airtight/ast_rewriter.py:35
Methodtest_accepts_ast
(self)
airtight/tests/type_checker_test.py:6
Methodtest_checks_a_list
(self)
airtight/tests/type_checker_test.py:10
Methodtest_validate_kwargs
(self)
airtight/tests/ast_rewriter_test.py:11
Methodtest_validate_varargs
(self)
airtight/tests/ast_rewriter_test.py:7
Methodto_ctype_ctype
(self, c_type)
airtight/c_generator.py:533
Methodto_ctype_function
(self, a_type)
airtight/c_generator.py:502
Methodto_ctype_list
(self, a_type)
airtight/c_generator.py:526
Methodto_ctype_nonetype
(self, a_type)
airtight/c_generator.py:530
Methodto_ctype_typeoperator
(self, a_type)
airtight/c_generator.py:505
Methodto_ctype_typevariable
(self, a_type)
airtight/c_generator.py:517
Functionto_float_float_float
core/number.c:18
Functionto_float_float_float
examples/sum_while.py.c:99
Functionto_float_float_float
examples/sum.py.c:99
Functionto_float_float_float
examples/add4.py.c:99
Functionto_float_float_float
examples/template.py.c:99
Functionto_float_float_float
examples/m.py.c:99
Functionto_float_int_float
core/number.c:14
Functionto_float_int_float
examples/sum_while.py.c:95
Functionto_float_int_float
examples/sum.py.c:95
Functionto_float_int_float
examples/add4.py.c:95
Functionto_float_int_float
examples/template.py.c:95
Functionto_float_int_float
examples/m.py.c:95
Functionto_int_AString_int
core/number.c:1
Functionto_int_AString_int
examples/sum_while.py.c:82
Functionto_int_AString_int
examples/sum.py.c:82
Functionto_int_AString_int
examples/add4.py.c:82
Functionto_int_AString_int
examples/template.py.c:82
Functionto_int_AString_int
examples/m.py.c:82
Functionto_int_int_int
core/number.c:10
Functionto_int_int_int
examples/sum_while.py.c:91
Functionto_int_int_int
examples/sum.py.c:91
Functionto_int_int_int
examples/add4.py.c:91
Functionto_int_int_int
examples/template.py.c:91
Functionto_int_int_int
examples/m.py.c:91
Methodwrite_apply
(self, node, depth=0)
airtight/c_generator.py:349
Methodwrite_assignment
(self, node, depth=0)
airtight/c_generator.py:473
Methodwrite_binop
(self, node, depth=0)
airtight/c_generator.py:371
Methodwrite_bool
(self, node, depth=0)
airtight/c_generator.py:416
Methodwrite_for
(self, node, depth=0)
airtight/c_generator.py:263
Methodwrite_for_range
(self, node, depth=0)
airtight/c_generator.py:292
Methodwrite_ident
(self, node, depth=0)
airtight/c_generator.py:334
Methodwrite_list
(self, node, depth=0)
airtight/c_generator.py:390
Methodwrite_n
(self, node, depth=0)
airtight/c_generator.py:345
Methodwrite_string
(self, node, depth=0)
airtight/c_generator.py:420
Methodwrite_while
(self, node, depth=0)
airtight/c_generator.py:319
← previous301–394 of 394, ranked by callers