Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/alehander92/Airtight
/ functions
Functions
394 in github.com/alehander92/Airtight
⨍
Functions
394
◇
Types & classes
53
Function
a_slice_AList_int_int_int_AList_int
examples/sum_while.py.c:222
Function
a_slice_AList_int_int_int_AList_int
examples/sum.py.c:141
Function
a_slice_AList_int_int_int_AList_int
examples/add4.py.c:141
Function
a_slice_AList_int_int_int_AList_int
examples/template.py.c:222
Function
a_slice_AList_int_int_int_AList_int
examples/m.py.c:141
Function
a_split_w_AString_AList_AString
core/collections.c:10
Function
a_split_w_AString_AList_AString
examples/sum_while.py.c:284
Function
a_split_w_AString_AList_AString
examples/sum.py.c:284
Function
a_split_w_AString_AList_AString
examples/add4.py.c:284
Function
a_split_w_AString_AList_AString
examples/template.py.c:284
Function
a_split_w_AString_AList_AString
examples/m.py.c:284
Function
a_str_AString_AString
core/string.c:44
Method
convert
(self, python_ast)
airtight/converter.py:35
Function
convert_ast
converts hindley-milner typed scheme-like ast to a lower level ast
airtight/ll_ast.py:3
Method
convert_augassign
(self, target, op, value, context)
airtight/converter.py:81
Method
convert_binop
2 / 2 => Multi_Apply( Ident('a_divide'), [Integer(2), Integer(2)])
airtight/converter.py:188
Method
convert_call
a(2) => Apply(Ident("a"), anInteger(2))
airtight/converter.py:262
Method
convert_compare
(self, ops, left, comparators, context)
airtight/converter.py:200
Method
convert_expr
(self, value, context)
airtight/converter.py:158
Method
convert_for
(self, target, body, iter, orelse, context)
airtight/converter.py:211
Method
convert_functiondef
def name(arg, arg2): return arg ..context => Let('name', Multi_Lambda(['arg', 'arg2'],
airtight/converter.py:100
Method
convert_if
(self, test, body, orelse, context)
airtight/converter.py:205
Method
convert_lambda
lambda s: s => Lambda(Ident("s"), Ident("s"))
airtight/converter.py:270
Method
convert_list
[e] => aList(Ident("e"))
airtight/converter.py:254
Method
convert_module
(self, body, context, docstring=None)
airtight/converter.py:49
Method
convert_name
alexander => Ident("alexander")
airtight/converter.py:240
Method
convert_nameconstant
(self, value, context)
airtight/converter.py:248
Method
convert_num
(self, n, context)
airtight/converter.py:94
Method
convert_return
(self, value, context)
airtight/converter.py:185
Method
convert_str
(self, s, context)
airtight/converter.py:91
Method
convert_subscript
(self, value, slice, ctx, context)
airtight/converter.py:224
Method
convert_while
(self, test, body, orelse, context)
airtight/converter.py:217
Method
generate
(self)
airtight/c_generator.py:17
Method
generate_alist
(self, node)
airtight/ll_ast.py:97
Method
generate_apply
(self, node)
airtight/ll_ast.py:82
Method
generate_body
(self, node)
airtight/ll_ast.py:32
Method
generate_for
(self, node)
airtight/ll_ast.py:103
Method
generate_ident
(self, node)
airtight/ll_ast.py:72
Method
generate_if
(self, node)
airtight/ll_ast.py:100
Method
generate_let
(self, node)
airtight/ll_ast.py:40
Method
generate_while
(self, node)
airtight/ll_ast.py:117
Function
isIntegerLiteral
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
Function
main
examples/sum_while.py.c:321
Function
main
examples/sum.py.c:319
Function
main
examples/add4.py.c:314
Function
main
examples/template.py.c:317
Function
main
examples/m.py.c:324
Function
nope
(a: Integer)
examples/m.py:8
Method
rewrite
(self)
airtight/ast_rewriter.py:35
Method
test_accepts_ast
(self)
airtight/tests/type_checker_test.py:6
Method
test_checks_a_list
(self)
airtight/tests/type_checker_test.py:10
Method
test_validate_kwargs
(self)
airtight/tests/ast_rewriter_test.py:11
Method
test_validate_varargs
(self)
airtight/tests/ast_rewriter_test.py:7
Method
to_ctype_ctype
(self, c_type)
airtight/c_generator.py:533
Method
to_ctype_function
(self, a_type)
airtight/c_generator.py:502
Method
to_ctype_list
(self, a_type)
airtight/c_generator.py:526
Method
to_ctype_nonetype
(self, a_type)
airtight/c_generator.py:530
Method
to_ctype_typeoperator
(self, a_type)
airtight/c_generator.py:505
Method
to_ctype_typevariable
(self, a_type)
airtight/c_generator.py:517
Function
to_float_float_float
core/number.c:18
Function
to_float_float_float
examples/sum_while.py.c:99
Function
to_float_float_float
examples/sum.py.c:99
Function
to_float_float_float
examples/add4.py.c:99
Function
to_float_float_float
examples/template.py.c:99
Function
to_float_float_float
examples/m.py.c:99
Function
to_float_int_float
core/number.c:14
Function
to_float_int_float
examples/sum_while.py.c:95
Function
to_float_int_float
examples/sum.py.c:95
Function
to_float_int_float
examples/add4.py.c:95
Function
to_float_int_float
examples/template.py.c:95
Function
to_float_int_float
examples/m.py.c:95
Function
to_int_AString_int
core/number.c:1
Function
to_int_AString_int
examples/sum_while.py.c:82
Function
to_int_AString_int
examples/sum.py.c:82
Function
to_int_AString_int
examples/add4.py.c:82
Function
to_int_AString_int
examples/template.py.c:82
Function
to_int_AString_int
examples/m.py.c:82
Function
to_int_int_int
core/number.c:10
Function
to_int_int_int
examples/sum_while.py.c:91
Function
to_int_int_int
examples/sum.py.c:91
Function
to_int_int_int
examples/add4.py.c:91
Function
to_int_int_int
examples/template.py.c:91
Function
to_int_int_int
examples/m.py.c:91
Method
write_apply
(self, node, depth=0)
airtight/c_generator.py:349
Method
write_assignment
(self, node, depth=0)
airtight/c_generator.py:473
Method
write_binop
(self, node, depth=0)
airtight/c_generator.py:371
Method
write_bool
(self, node, depth=0)
airtight/c_generator.py:416
Method
write_for
(self, node, depth=0)
airtight/c_generator.py:263
Method
write_for_range
(self, node, depth=0)
airtight/c_generator.py:292
Method
write_ident
(self, node, depth=0)
airtight/c_generator.py:334
Method
write_list
(self, node, depth=0)
airtight/c_generator.py:390
Method
write_n
(self, node, depth=0)
airtight/c_generator.py:345
Method
write_string
(self, node, depth=0)
airtight/c_generator.py:420
Method
write_while
(self, node, depth=0)
airtight/c_generator.py:319
← previous
301–394 of 394, ranked by callers