MCPcopy Create free account

hub / github.com/alehander92/Airtight / functions

Functions394 in github.com/alehander92/Airtight

⨍ Functions 394◇ Types & classes 53
↓ 56 callersFunctionstr
(value: Integer)
core/str.py:2
↓ 39 callersMethods
(self, s, depth=0)
airtight/c_generator.py:92
↓ 33 callersMethodwrite_node
(self, node, depth=0)
airtight/c_generator.py:172
↓ 27 callersMethodoffset
(self, depth)
airtight/c_generator.py:71
↓ 25 callersMethodconvert_node
(self, node, context=None)
airtight/converter.py:45
↓ 25 callersMethodnl
(self)
airtight/c_generator.py:77
↓ 23 callersMethodgenerate_node
(self, node)
airtight/ll_ast.py:29
↓ 22 callersFunctionMulti_Function
(types)
airtight/hindley_milner_ast.py:302
↓ 21 callersMethodannotate
(self, a_type)
airtight/hindley_milner_ast.py:27
↓ 17 callersMethodto_ctype
(self, a_type)
airtight/c_generator.py:485
↓ 15 callersMethodws
(self)
airtight/c_generator.py:74
↓ 11 callersMethodsemi
(self)
airtight/c_generator.py:98
↓ 10 callersFunctionAStringFrom
examples/sum_while.py.c:15
↓ 10 callersFunctionAStringFrom
examples/sum.py.c:15
↓ 10 callersFunctionAStringFrom
examples/add4.py.c:15
↓ 10 callersFunctionAStringFrom
examples/template.py.c:15
↓ 10 callersFunctionAStringFrom
examples/m.py.c:15
↓ 10 callersFunctionunify
Unify the two types t1 and t2. Makes the types t1 and t2 the same. Args: t1: The first type to be made equivalent t2: The se
airtight/hindley_milner_ast.py:544
↓ 9 callersMethodlparen
(self)
airtight/c_generator.py:80
↓ 9 callersMethodwrite_type
(self, a_type, depth=0)
airtight/c_generator.py:424
↓ 8 callersFunctiona_add_AString_AString
examples/sum_while.py.c:25
↓ 8 callersFunctiona_add_AString_AString
examples/sum.py.c:25
↓ 8 callersFunctiona_add_AString_AString
examples/add4.py.c:25
↓ 8 callersFunctiona_add_AString_AString
examples/template.py.c:25
↓ 8 callersFunctiona_add_AString_AString
examples/m.py.c:25
↓ 8 callersMethodrparen
(self)
airtight/c_generator.py:83
↓ 7 callersFunctionAStringFrom
core/string.c:7
↓ 7 callersMethodoffset
(self, depth)
airtight/ll_ast.py:182
↓ 7 callersMethodrcurly
(self)
airtight/c_generator.py:89
↓ 6 callersMethodconvert_body
(self, body, context)
airtight/converter.py:161
↓ 6 callersMethodwrite_special_ident
(self, node, arg_types, return_type, depth=0)
airtight/c_generator.py:380
↓ 4 callersFunctiona_add_AString_AString
core/string.c:17
↓ 4 callersFunctiona_append_AList_AString_AString_AList_AString
examples/m.py.c:199
↓ 4 callersFunctiona_prints_AString_AString
examples/sum_while.py.c:40
↓ 4 callersFunctiona_prints_AString_AString
examples/sum.py.c:40
↓ 4 callersFunctiona_prints_AString_AString
examples/add4.py.c:40
↓ 4 callersFunctiona_prints_AString_AString
examples/template.py.c:40
↓ 4 callersFunctiona_prints_AString_AString
examples/m.py.c:40
↓ 4 callersMethodcomma
(self)
airtight/c_generator.py:95
↓ 4 callersFunctionfind_type
(expected, env)
airtight/hindley_milner_ast.py:463
↓ 4 callersMethodgen_c
(self, file, **kwargs)
airtight/c_generator.py:64
↓ 4 callersFunctionprune
Returns the currently defining instance of t. As a side effect, collapses the list of type instances. The function Prune is used whenever a t
airtight/hindley_milner_ast.py:604
↓ 3 callersFunctiona_prints_AString_AString
core/string.c:32
↓ 3 callersFunctiona_str_int_AString
examples/sum_while.py.c:45
↓ 3 callersFunctiona_str_int_AString
examples/sum.py.c:45
↓ 3 callersFunctiona_str_int_AString
examples/add4.py.c:45
↓ 3 callersFunctiona_str_int_AString
examples/template.py.c:45
↓ 3 callersFunctiona_str_int_AString
examples/m.py.c:45
↓ 3 callersMethodgenerate_cons
(self, node)
airtight/ll_ast.py:120
↓ 3 callersMethodlcurly
(self)
airtight/c_generator.py:86
↓ 3 callersMethodwrite_wita_type
(self, node, special=False, arg_types=None, return_type=None, depth=0)
airtight/c_generator.py:429
↓ 2 callersFunctionAList_AStringOf
examples/m.py.c:233
↓ 2 callersFunctionAList_intOf
examples/m.py.c:152
↓ 2 callersMethod__init__
(self, test, body, orelse)
airtight/hindley_milner_ast.py:65
↓ 2 callersFunctiona
(arg: y, other: z)
examples/template.py:2
↓ 2 callersFunctiona_append_AList_AString_AString_AList_AString
examples/sum_while.py.c:118
↓ 2 callersFunctiona_append_AList_AString_AString_AList_AString
examples/sum.py.c:199
↓ 2 callersFunctiona_append_AList_AString_AString_AList_AString
examples/add4.py.c:199
↓ 2 callersFunctiona_append_AList_AString_AString_AList_AString
examples/template.py.c:118
↓ 2 callersFunctiona_str_AString_AString
examples/sum_while.py.c:52
↓ 2 callersFunctiona_str_AString_AString
examples/sum.py.c:52
↓ 2 callersFunctiona_str_AString_AString
examples/add4.py.c:52
↓ 2 callersFunctiona_str_AString_AString
examples/template.py.c:52
↓ 2 callersFunctiona_str_AString_AString
examples/m.py.c:52
↓ 2 callersMethodconvert_annotation
(self, annotation, vars)
airtight/converter.py:133
↓ 2 callersFunctionfresh
Makes a copy of a type expression. The type t is copied. The the generic variables are duplicated and the non_generic variables are shared.
airtight/hindley_milner_ast.py:516
↓ 2 callersFunctiongetType
Get the type of identifier name from the type environment env. Args: name: The identifier name env: The type environment mapping
airtight/hindley_milner_ast.py:482
↓ 2 callersFunctionjoin
(separator: String, values: [t])
core/str.py:29
↓ 2 callersMethodload_arg
(self, a_vars, met_type, actual_type)
airtight/c_generator.py:117
↓ 2 callersFunctionoccursIn
Checks whether a types variable occurs in any other types. Args: v: The TypeVariable to be tested for types: The sequence of typ
airtight/hindley_milner_ast.py:666
↓ 2 callersFunctionoccursInType
Checks whether a type variable occurs in a type expression. Note: Must be called with v pre-pruned Args: v: The TypeVariable to be
airtight/hindley_milner_ast.py:646
↓ 2 callersMethodref
(self)
airtight/c_generator.py:149
↓ 2 callersMethodrender
(self, actual_arg_types, actual_return_type)
airtight/c_generator.py:127
↓ 2 callersMethodrender
(self, depth=0)
airtight/ll_ast.py:139
↓ 2 callersMethodrewrite
(self, source)
airtight/tests/ast_rewriter_test.py:15
↓ 1 callersFunctionAList_AStringOf
examples/sum_while.py.c:152
↓ 1 callersFunctionAList_AStringOf
examples/sum.py.c:233
↓ 1 callersFunctionAList_AStringOf
examples/add4.py.c:233
↓ 1 callersFunctionAList_AStringOf
examples/template.py.c:152
↓ 1 callersFunction_AString
core/list.c:52
↓ 1 callersMethod_rewrite_node
(self, node)
airtight/ast_rewriter.py:39
↓ 1 callersFunctiona_a_int_float_float
examples/template.py.c:313
↓ 1 callersFunctiona_a_int_int_int
examples/template.py.c:310
↓ 1 callersFunctiona_add4_int_int
examples/add4.py.c:310
↓ 1 callersFunctiona_append_AList_int_int_AList_int
examples/m.py.c:118
↓ 1 callersFunctiona_f_map_intREFint_AList_int_AList_int
examples/m.py.c:310
↓ 1 callersFunctiona_index_AList_int_int_int
examples/m.py.c:137
↓ 1 callersFunctiona_length_AList_int_int
examples/m.py.c:133
↓ 1 callersFunctiona_print_AList_int_AString
examples/m.py.c:175
↓ 1 callersFunctiona_print_int_AString
examples/sum_while.py.c:56
↓ 1 callersFunctiona_print_int_AString
examples/sum.py.c:56
↓ 1 callersFunctiona_print_int_AString
examples/add4.py.c:56
↓ 1 callersFunctiona_str_AList_AString_AString
examples/sum_while.py.c:163
↓ 1 callersFunctiona_str_AList_AString_AString
examples/sum.py.c:244
↓ 1 callersFunctiona_str_AList_AString_AString
examples/add4.py.c:244
↓ 1 callersFunctiona_str_AList_AString_AString
examples/template.py.c:163
↓ 1 callersFunctiona_str_AList_AString_AString
examples/m.py.c:244
↓ 1 callersFunctiona_str_AList_int_AString
examples/sum_while.py.c:244
↓ 1 callersFunctiona_str_AList_int_AString
examples/sum.py.c:163
↓ 1 callersFunctiona_str_AList_int_AString
examples/add4.py.c:163
next →1–100 of 394, ranked by callers