Package org.eolang

Interface Term

All Known Subinterfaces:

Attr, Phi

All Known Implementing Classes:

AtComposite, AtEnvelope, AtFormed, AtOnce, AtSimple, AtVoid, Data.ToPhi, EOangle, EOangle$EOcos, EOangle$EOctan, EOangle$EOsin, EOangle$EOtan, EOas_phi, EObytes, EObytes_as_array, EObytes_as_array$EOslice_byte, EObytes_as_input, EObytes_as_input$EOread, EObytes_as_input$EOread$EOinput_block, EObytes_as_input$EOread$EOinput_block$EOread, EObytes$EOand, EObytes$EOas_i16, EObytes$EOas_i32, EObytes$EOas_i64, EObytes$EOas_number, EObytes$EOconcat, EObytes$EOeq, EObytes$EOleft, EObytes$EOnot, EObytes$EOor, EObytes$EOright, EObytes$EOsize, EObytes$EOslice, EObytes$EOxor, EOcage, EOcage$EOencaged, EOcage$EOencaged$EOencage, EOcage$EOencaged$EOφ, EOcage$EOφ, EOconsole, EOconsole$EOposix_console, EOconsole$EOposix_console$EOread, EOconsole$EOposix_console$EOread$EOinput_block, EOconsole$EOposix_console$EOread$EOinput_block$EOread, EOconsole$EOposix_console$EOwrite, EOconsole$EOposix_console$EOwrite$EOoutput_block, EOconsole$EOposix_console$EOwrite$EOoutput_block$EOwrite, EOconsole$EOwindows_console, EOconsole$EOwindows_console$EOread, EOconsole$EOwindows_console$EOread$EOinput_block, EOconsole$EOwindows_console$EOread$EOinput_block$EOread, EOconsole$EOwindows_console$EOwrite, EOconsole$EOwindows_console$EOwrite$EOoutput_block, EOconsole$EOwindows_console$EOwrite$EOoutput_block$EOwrite, EOcti, EOdataized, EOdataized$EOt1$EOa1, EOdead_input, EOdead_input$EOread, EOdead_input$EOread$EOinput_block, EOdead_input$EOread$EOinput_block$EOread, EOdead_output, EOdead_output$EOwrite, EOdead_output$EOwrite$EOoutput_block, EOdead_output$EOwrite$EOoutput_block$EOwrite, EOdir, EOdir$EOdeleted, EOdir$EOdeleted$EOrec_delete, EOdir$EOmade, EOdir$EOmade$EOmkdir, EOdir$EOopen, EOdir$EOtmpfile, EOdir$EOtmpfile$EOtouch, EOdir$EOwalk, EOe, EOerror, EOfalse, EOfalse$EOand, EOfalse$EOif, EOfalse$EOor, EOfile, EOfile$EOas_path, EOfile$EOdeleted, EOfile$EOdeleted$EOdelete, EOfile$EOexists, EOfile$EOis_directory, EOfile$EOmoved, EOfile$EOmoved$EOmove, EOfile$EOopen, EOfile$EOopen$EOfile_stream, EOfile$EOopen$EOfile_stream$EOread, EOfile$EOopen$EOfile_stream$EOread$EOinput_block, EOfile$EOopen$EOfile_stream$EOread$EOinput_block$EOread, EOfile$EOopen$EOfile_stream$EOread$EOinput_block$EOread$EOauto_named_attr_at_215_18, EOfile$EOopen$EOfile_stream$EOread$EOread_bytes, EOfile$EOopen$EOfile_stream$EOwrite, EOfile$EOopen$EOfile_stream$EOwrite$EOoutput_block, EOfile$EOopen$EOfile_stream$EOwrite$EOoutput_block$EOwrite, EOfile$EOopen$EOfile_stream$EOwrite$EOoutput_block$EOwrite$EOauto_named_attr_at_257_18, EOfile$EOopen$EOfile_stream$EOwrite$EOwritten_bytes, EOfile$EOopen$EOprocess_file, EOfile$EOsize, EOfile$EOtouched, EOfile$EOtouched$EOtouch, EOgetenv, EOgo, EOgo$EOt0$EOt0$EOt0$EOa2, EOgo$EOto, EOgo$EOto$EOauto_named_attr_at_65_9, EOgo$EOto$EOtoken, EOgo$EOto$EOtoken$EOforward, EOgo$EOto$EOtoken$EOjump, EOhash_code_of, EOhash_code_of$EOφ, EOhash_code_of$EOφ$EOrec_hash_code, EOi16, EOi16$EOas_i32, EOi16$EOdiv, EOi16$EOgt, EOi16$EOgte, EOi16$EOlt, EOi16$EOlte, EOi16$EOminus, EOi16$EOplus, EOi16$EOtimes, EOi32, EOi32$EOas_i16, EOi32$EOas_i64, EOi32$EOdiv, EOi32$EOgt, EOi32$EOgte, EOi32$EOlt, EOi32$EOlte, EOi32$EOminus, EOi32$EOplus, EOi32$EOtimes, EOi64, EOi64$EOas_i32, EOi64$EOas_number, EOi64$EOdiv, EOi64$EOgt, EOi64$EOgte, EOi64$EOlt, EOi64$EOlte, EOi64$EOminus, EOi64$EOplus, EOi64$EOtimes, EOinput_length, EOinput_length$EOrec_read, EOintegral, EOintegral$EOauto_named_attr_at_52_11, EOintegral$EOauto_named_attr_at_52_11$EOauto_named_attr_at_55_16, EOintegral$EOauto_named_attr_at_52_11$EOauto_named_attr_at_55_16$EOauto_named_attr_at_59_17, EOintegral$EOauto_named_attr_at_52_11$EOauto_named_attr_at_55_16$EOt3$EOa1, EOintegral$EOsubsection, EOline_separator, EOlist, EOlist$EOconcat, EOlist$EOconcat$EOt1$EOa2, EOlist$EOcontains, EOlist$EOeach, EOlist$EOeach$EOauto_named_attr_at_126_32, EOlist$EOeachi, EOlist$EOeachi$EOauto_named_attr_at_115_22, EOlist$EOeq, EOlist$EOeq$EOauto_named_attr_at_159_24, EOlist$EOfiltered, EOlist$EOfiltered$EOauto_named_attr_at_245_32, EOlist$EOfilteredi, EOlist$EOfilteredi$EOrec_filtered, EOlist$EOhead, EOlist$EOhead$EOauto_named_attr_at_266_32, EOlist$EOindex_of, EOlist$EOindex_of$EOauto_named_attr_at_179_24, EOlist$EOis_empty, EOlist$EOlast_index_of, EOlist$EOlast_index_of$EOauto_named_attr_at_192_24, EOlist$EOmapped, EOlist$EOmapped$EOauto_named_attr_at_105_30, EOlist$EOmappedi, EOlist$EOmappedi$EOauto_named_attr_at_95_24, EOlist$EOreduced, EOlist$EOreduced$EOauto_named_attr_at_85_42, EOlist$EOreducedi, EOlist$EOreducedi$EOrec_reduced, EOlist$EOsorted, EOlist$EOtail, EOlist$EOtail$EOauto_named_attr_at_282_26, EOlist$EOwith, EOlist$EOwithi, EOlist$EOwithout, EOlist$EOwithout$EOauto_named_attr_at_144_20, EOlist$EOwithouti, EOlist$EOwithouti$EOauto_named_attr_at_133_24, EOmalloc, EOmalloc_as_output, EOmalloc_as_output$EOwrite, EOmalloc_as_output$EOwrite$EOoutput_block, EOmalloc_as_output$EOwrite$EOoutput_block$EOwrite, EOmalloc$EOfor, EOmalloc$EOfor$EOauto_named_attr_at_90_9, EOmalloc$EOof, EOmalloc$EOof$EOallocated, EOmalloc$EOof$EOallocated$EOput, EOmalloc$EOof$EOallocated$EOread, EOmalloc$EOof$EOallocated$EOresize, EOmalloc$EOof$EOallocated$EOsize, EOmalloc$EOof$EOallocated$EOwrite, EOmalloc$EOof$EOφ, EOmap, EOmap$EOauto_named_attr_at_39_6, EOmap$EOauto_named_attr_at_39_6$EOrec_rebuild, EOmap$EOauto_named_attr_at_39_6$EOrec_rebuild$EOauto_named_attr_at_61_18, EOmap$EOentry, EOmap$EOinitialized, EOmap$EOinitialized$EOfound, EOmap$EOinitialized$EOfound$EOnot_found, EOmap$EOinitialized$EOfound$EOrec_key_search, EOmap$EOinitialized$EOfound$EOrec_key_search$EOauto_named_attr_at_135_54, EOmap$EOinitialized$EOhas, EOmap$EOinitialized$EOkeys, EOmap$EOinitialized$EOkeys$EOt0$EOa1, EOmap$EOinitialized$EOvalues, EOmap$EOinitialized$EOvalues$EOt0$EOa1, EOmap$EOinitialized$EOwith, EOmap$EOinitialized$EOwith$EOauto_named_attr_at_155_50, EOmap$EOinitialized$EOwith$EOauto_named_attr_at_156_12, EOmap$EOinitialized$EOwithout, EOmap$EOinitialized$EOwithout$EOauto_named_attr_at_169_48, EOnan, EOnan$EOdiv, EOnan$EOeq, EOnan$EOgt, EOnan$EOgte, EOnan$EOlt, EOnan$EOlte, EOnan$EOminus, EOnan$EOplus, EOnan$EOtimes, EOnegative_infinity, EOnegative_infinity$EOdiv, EOnegative_infinity$EOeq, EOnegative_infinity$EOgt, EOnegative_infinity$EOgte, EOnegative_infinity$EOlt, EOnegative_infinity$EOlte, EOnegative_infinity$EOminus, EOnegative_infinity$EOplus, EOnegative_infinity$EOtimes, EOnumber, EOnumber$EOas_i64, EOnumber$EOdiv, EOnumber$EOeq, EOnumber$EOfloor, EOnumber$EOgt, EOnumber$EOgte, EOnumber$EOis_finite, EOnumber$EOis_integer, EOnumber$EOis_nan, EOnumber$EOlt, EOnumber$EOlte, EOnumber$EOminus, EOnumber$EOplus, EOnumber$EOtimes, EOnumbers, EOnumbers$EOmax, EOnumbers$EOmax$EOt1$EOt2$EOa2, EOnumbers$EOmin, EOnumbers$EOmin$EOt1$EOt2$EOa2, EOos, EOos$EOis_windows, EOos$EOname, EOpath, EOpath$EOjoined, EOpath$EOposix, EOpath$EOposix$EObasename, EOpath$EOposix$EOdirname, EOpath$EOposix$EOextname, EOpath$EOposix$EOis_absolute, EOpath$EOposix$EOnormalized, EOpath$EOposix$EOnormalized$EOauto_named_attr_at_104_25, EOpath$EOposix$EOresolved, EOpath$EOseparator, EOpath$EOwin32, EOpath$EOwin32$EOvalidated, EOpath$EOwin32$EOvalidated$EObasename, EOpath$EOwin32$EOvalidated$EOdirname, EOpath$EOwin32$EOvalidated$EOextname, EOpath$EOwin32$EOvalidated$EOis_absolute, EOpath$EOwin32$EOvalidated$EOis_drive_relative, EOpath$EOwin32$EOvalidated$EOis_root_relative, EOpath$EOwin32$EOvalidated$EOnormalized, EOpath$EOwin32$EOvalidated$EOnormalized$EOauto_named_attr_at_359_27, EOpath$EOwin32$EOvalidated$EOresolved, EOpath$EOwin32$EOvalidated$EOseparated_correctly, EOpi, EOpositive_infinity, EOpositive_infinity$EOdiv, EOpositive_infinity$EOeq, EOpositive_infinity$EOgt, EOpositive_infinity$EOgte, EOpositive_infinity$EOlt, EOpositive_infinity$EOlte, EOpositive_infinity$EOminus, EOpositive_infinity$EOplus, EOpositive_infinity$EOtimes, EOposix, EOposix$EOreturn, EOposix$EOsockaddr_in, EOposix$EOtimeval, EOposix$EOφ, EOrandom, EOrandom$EOpseudo, EOrandom$EOpseudo$EOt6$EOt0$EOt0$EOa2, EOrange, EOrange_of_ints, EOrange_of_ints$EOauto_named_attr_at_44_8, EOrange_of_ints$EOauto_named_attr_at_44_8$EObuild, EOrange$EOappended, EOreal, EOreal$EOabs, EOreal$EOacos, EOreal$EOasin, EOreal$EOln, EOreal$EOmod, EOreal$EOmod$EOabs_mod, EOreal$EOpow, EOreal$EOsqrt, EOregex, EOregex$EOcompiled, EOregex$EOpattern, EOregex$EOpattern$EOmatch, EOregex$EOpattern$EOmatch$EOmatched, EOregex$EOpattern$EOmatch$EOmatched_from_index, EOregex$EOpattern$EOmatch$EOmatched$EOgroup, EOregex$EOpattern$EOmatch$EOnot_matched, EOregex$EOpattern$EOmatches, EOrust, EOseq, EOseq$EOloop, EOset, EOset$EOinitialized, EOset$EOinitialized$EOhas, EOset$EOinitialized$EOwith, EOset$EOinitialized$EOwithout, EOset$EOt1$EOt0$EOt0$EOt0$EOt0$EOa1, EOsocket, EOsocket$EOas_input, EOsocket$EOas_input$EOread, EOsocket$EOas_input$EOread$EOinput_block, EOsocket$EOas_input$EOread$EOinput_block$EOread, EOsocket$EOas_output, EOsocket$EOas_output$EOwrite, EOsocket$EOas_output$EOwrite$EOoutput_block, EOsocket$EOas_output$EOwrite$EOoutput_block$EOwrite, EOsocket$EOhtons, EOsocket$EOposix_socket, EOsocket$EOposix_socket$EOclosed_socket, EOsocket$EOposix_socket$EOconnect, EOsocket$EOposix_socket$EOconnect$EOauto_named_attr_at_278_10, EOsocket$EOposix_socket$EOlisten, EOsocket$EOposix_socket$EOlisten$EOauto_named_attr_at_302_10, EOsocket$EOposix_socket$EOlisten$EOauto_named_attr_at_302_10$EOauto_named_attr_at_327_22, EOsocket$EOposix_socket$EOlisten$EOauto_named_attr_at_302_10$EOauto_named_attr_at_327_22$EOaccept, EOsocket$EOposix_socket$EOlisten$EOauto_named_attr_at_302_10$EOauto_named_attr_at_327_22$EOaccept$EOt3$EOa1, EOsocket$EOposix_socket$EOsafe_socket, EOsocket$EOposix_socket$EOsafe_socket$EOt1$EOt2$EOa1, EOsocket$EOposix_socket$EOscoped_socket, EOsocket$EOposix_socket$EOscoped_socket$EOrecv, EOsocket$EOposix_socket$EOscoped_socket$EOsend, EOsocket$EOposix_socket$EOstrerror, EOsocket$EOwin_socket, EOsocket$EOwin_socket$EOclosed_socket, EOsocket$EOwin_socket$EOconnect, EOsocket$EOwin_socket$EOconnect$EOauto_named_attr_at_487_10, EOsocket$EOwin_socket$EOlast_error, EOsocket$EOwin_socket$EOlisten, EOsocket$EOwin_socket$EOlisten$EOauto_named_attr_at_511_10, EOsocket$EOwin_socket$EOlisten$EOauto_named_attr_at_511_10$EOauto_named_attr_at_536_22, EOsocket$EOwin_socket$EOlisten$EOauto_named_attr_at_511_10$EOauto_named_attr_at_536_22$EOaccept, EOsocket$EOwin_socket$EOlisten$EOauto_named_attr_at_511_10$EOauto_named_attr_at_536_22$EOaccept$EOt3$EOa1, EOsocket$EOwin_socket$EOsafe_socket, EOsocket$EOwin_socket$EOsafe_socket$EOt3$EOt2$EOa1, EOsocket$EOwin_socket$EOsafe_socket$EOt3$EOt2$EOt0$EOt2$EOa1, EOsocket$EOwin_socket$EOscoped_socket, EOsocket$EOwin_socket$EOscoped_socket$EOrecv, EOsocket$EOwin_socket$EOscoped_socket$EOsend, EOsprintf, EOsscanf, EOstdin, EOstdin$EOall_lines, EOstdin$EOall_lines$EOrec_read, EOstdin$EOnext_line, EOstdin$EOnext_line$EOrec_read, EOstdout, EOstring, EOstring$EOlength, EOstring$EOslice, EOswitch, EOswitch$EOcase_at, EOtee_input, EOtee_input$EOread, EOtee_input$EOread$EOinput_block, EOtee_input$EOread$EOinput_block$EOread, EOtext, EOtext$EOas_number, EOtext$EOat, EOtext$EOchained, EOtext$EOchained$EOt1$EOt2$EOt0$EOt0$EOa2, EOtext$EOcontains, EOtext$EOends_with, EOtext$EOindex_of, EOtext$EOindex_of$EOrec_index_of_substr, EOtext$EOis_alpha, EOtext$EOis_alphanumeric, EOtext$EOis_ascii, EOtext$EOjoined, EOtext$EOjoined$EOwith_delimiter, EOtext$EOlast_index_of, EOtext$EOlast_index_of$EOrec_index_of_substr, EOtext$EOlow_cased, EOtext$EOlow_cased$EOauto_named_attr_at_294_22, EOtext$EOrepeated, EOtext$EOrepeated$EOrec_repeated, EOtext$EOreplaced, EOtext$EOreplaced$EOrec_replaced, EOtext$EOslice, EOtext$EOsplit, EOtext$EOsplit$EOrec_split, EOtext$EOstarts_with, EOtext$EOtrimmed, EOtext$EOtrimmed_left, EOtext$EOtrimmed_left$EOfirst_non_space_index, EOtext$EOtrimmed_right, EOtext$EOtrimmed_right$EOfirst_non_space_index, EOtext$EOup_cased, EOtext$EOup_cased$EOascii, EOtext$EOup_cased$EOauto_named_attr_at_261_22, EOtmpdir, EOtmpdir$EOt1$EOt0$EOos_tmp_dir_1, EOtrue, EOtrue$EOand, EOtrue$EOif, EOtrue$EOor, EOtry, EOtuple, EOtuple$EOat, EOtuple$EOat$EOat_fast, EOtuple$EOempty, EOtuple$EOempty$EOat, EOtuple$EOempty$EOwith, EOtuple$EOlength, EOtuple$EOwith, EOwhile, EOwhile$EOloop, EOwin32, EOwin32$EOreturn, EOwin32$EOsockaddr_in, EOwin32$EOsystem_time, EOwin32$EOφ, PhCopy, PhData, PhDefault, PhFake, PhLocated, PhLogged, PhMethod, PhSafe, PhTraced, PhWith

public interface Term

A φ-calculus term.

Since:

0.17

Field Summary

Fields

Modifier and Type	Field	Description
static String	EMPTY	Empty term.

Method Summary

Modifier and Type	Method	Description
String	φTerm()	To φ-calculus term, as text.

Field Detail

EMPTY

static final String EMPTY

Empty term.

See Also:

Constant Field Values

Method Detail

φTerm

String φTerm()

To φ-calculus term, as text.

Returns:

The expression in φ-calculus