Package org.eolang
Interface Phi
-
- All Superinterfaces:
Term
- All Known Implementing Classes:
Data.ToPhi,Data.Value,EOangle,EOangle$EOas_degrees,EOangle$EOas_radians,EOangle$EOctan,EOangle$EOtan,EOas_phi,EObool,EObool$EOand,EObool$EOas_bytes,EObool$EOas_hash,EObool$EOeq,EObool$EOif,EObool$EOnot,EObool$EOor,EObool$EOwhile,EObytes,EObytes_as_array,EObytes_as_array$EOslice_byte,EObytes$EOand,EObytes$EOas_bool,EObytes$EOas_bytes,EObytes$EOas_float,EObytes$EOas_hash,EObytes$EOas_hash$EOt0$EOa2,EObytes$EOas_int,EObytes$EOas_string,EObytes$EOconcat,EObytes$EOeq,EObytes$EOleft,EObytes$EOnot,EObytes$EOor,EObytes$EOright,EObytes$EOsize,EObytes$EOslice,EObytes$EOxor,EOcage,EOe,EOerror,EOfloat,EOfloat$EOas_bytes,EOfloat$EOas_hash,EOfloat$EOdiv,EOfloat$EOeq,EOfloat$EOgt,EOfloat$EOgte,EOfloat$EOlt,EOfloat$EOlte,EOfloat$EOminus,EOfloat$EOminus$EOrec_terms,EOfloat$EOneg,EOfloat$EOplus,EOfloat$EOtimes,EOgoto,EOheap,EOheap$EOfree,EOheap$EOmalloc,EOheap$EOpointer,EOheap$EOpointer$EOadd,EOheap$EOpointer$EOblock,EOheap$EOpointer$EOsub,EOint,EOint$EOas_bytes,EOint$EOas_hash,EOint$EOdiv,EOint$EOeq,EOint$EOgt,EOint$EOgte,EOint$EOlt,EOint$EOlte,EOint$EOminus,EOint$EOminus$EOrec_terms,EOint$EOneg,EOint$EOplus,EOint$EOtimes,EOintegral,EOintegral$EOsubsection,EOintegral$EOt9$EOt0$EOa1,EOlist,EOlist$EOconcat,EOlist$EOconcat$EOt1$EOa2,EOlist$EOcontains,EOlist$EOeach,EOlist$EOeach$EOt1$EOt0$EOa2,EOlist$EOeq,EOlist$EOeq$EOt1$EOt1$EOa2,EOlist$EOfiltered,EOlist$EOfiltered$EOt1$EOa1,EOlist$EOfilteredi,EOlist$EOfilteredi$EOrec_filtered,EOlist$EOgt,EOlist$EOgte,EOlist$EOhead,EOlist$EOhead$EOt2$EOt2$EOt2$EOa2,EOlist$EOindex_of,EOlist$EOindex_of$EOt1$EOa2,EOlist$EOinflated,EOlist$EOinflated$EOrec_inflated,EOlist$EOis_empty,EOlist$EOlast_index_of,EOlist$EOlast_index_of$EOt1$EOa2,EOlist$EOlt,EOlist$EOlte,EOlist$EOmapped,EOlist$EOmapped$EOt1$EOa1,EOlist$EOmappedi,EOlist$EOmappedi$EOt1$EOt0$EOa2,EOlist$EOreduced,EOlist$EOreduced$EOt2$EOa2,EOlist$EOreducedi,EOlist$EOreducedi$EOrec_reduced,EOlist$EOsorted,EOlist$EOsorted$EOswap,EOlist$EOsorted$EOt0$EOa2,EOlist$EOsorted$EOt3$EOa1,EOlist$EOsorted$EOt3$EOa1$EOt1$EOt2$EOa1,EOlist$EOsorted$EOt4$EOt1$EOa2,EOlist$EOtail,EOlist$EOtail$EOt2$EOt2$EOa2,EOlist$EOwith,EOlist$EOwithout,EOlist$EOwithout$EOt1$EOt0$EOa2,EOlist$EOwithouti,EOlist$EOwithouti$EOt1$EOa2,EOmap,EOmap$EOcontains_key,EOmap$EOcontains_key$EOt1$EOa2,EOmap$EOfound,EOmap$EOkeys,EOmap$EOkeys$EOt1$EOa1,EOmap$EOsize,EOmap$EOwith,EOmap$EOwithout,EOmemory,EOmultimap,EOmultimap$EOconcat_all_arrays,EOmultimap$EOconcat_all_arrays$EOt1$EOa2,EOmultimap$EOfind_in_list,EOmultimap$EOfind_in_list$EOt2$EOa2,EOmultimap$EOfound,EOmultimap$EOkeys,EOmultimap$EOkeys$EOt1$EOa1,EOmultimap$EOpairs_to_hash,EOmultimap$EOpairs_to_hash$EOt1$EOa2,EOmultimap$EOrebuilded,EOmultimap$EOrebuilded$EOcomparable_pair,EOmultimap$EOrebuilded$EOcomparable_pair$EOlt,EOmultimap$EOrebuilded$EOcreate_array_by_hash,EOmultimap$EOrebuilded$EOcreate_array_by_hash$EOt3$EOa2,EOmultimap$EOrebuilded$EOfill_to_size,EOmultimap$EOrebuilded$EOt2$EOa1,EOmultimap$EOrebuilded$EOt5$EOa2,EOmultimap$EOsize,EOmultimap$EOwith,EOmultimap$EOwithout,EOmultimap$EOwithout_in_list,EOmultimap$EOwithout_in_list$EOt2$EOa2,EOnan,EOnan$EOdiv,EOnan$EOeq,EOnan$EOgt,EOnan$EOgte,EOnan$EOlt,EOnan$EOlte,EOnan$EOminus,EOnan$EOneg,EOnan$EOplus,EOnan$EOtimes,EOnegative_infinity,EOnegative_infinity$EOdiv,EOnegative_infinity$EOdiv$EOcheck_nan,EOnegative_infinity$EOeq,EOnegative_infinity$EOgt,EOnegative_infinity$EOgte,EOnegative_infinity$EOlt,EOnegative_infinity$EOlte,EOnegative_infinity$EOminus,EOnegative_infinity$EOminus$EOis_nan,EOnegative_infinity$EOminus$EOis_nan_or_neg_inf,EOnegative_infinity$EOminus$EOminus_rec,EOnegative_infinity$EOneg,EOnegative_infinity$EOplus,EOnegative_infinity$EOplus$EOis_nan,EOnegative_infinity$EOplus$EOis_nan_or_pos_inf,EOnegative_infinity$EOplus$EOplus_rec,EOnegative_infinity$EOtimes,EOnegative_infinity$EOtimes$EOis_nan,EOnegative_infinity$EOtimes$EOis_nan_or_zero,EOnegative_infinity$EOtimes$EOis_term_gt_zero,EOnegative_infinity$EOtimes$EOis_term_gt_zero$EOt1$EOa0,EOnegative_infinity$EOtimes$EOis_term_gt_zero$EOt1$EOa1,EOnegative_infinity$EOtimes$EOtimes_rec,EOnegative_infinity$EOtimes$EOtimes_rec$EOt9$EOt2$EOa2,EOnop,EOnumber,EOnumber$EOabs,EOnumber$EOand,EOnumber$EOarccos,EOnumber$EOarccos$EObinary_method,EOnumber$EOarccos$EObinary_method$EOt7$EOt0$EOa1,EOnumber$EOceil,EOnumber$EOceil$EOt1$EOa2,EOnumber$EOexp,EOnumber$EOis_float,EOnumber$EOis_infinite,EOnumber$EOis_int,EOnumber$EOis_nan,EOnumber$EOleft,EOnumber$EOln,EOnumber$EOln$EOln_if_greater_than_1,EOnumber$EOln$EOln_if_greater_than_1$EOterm_1,EOnumber$EOln$EOln_if_greater_than_1$EOterm_1$EOt2$EOt0$EOa1,EOnumber$EOln$EOln_if_greater_than_1$EOterm_2,EOnumber$EOln$EOln_if_greater_than_1$EOterm_2$EOln_taylor,EOnumber$EOln$EOln_if_greater_than_1$EOterm_2$EOln_taylor$EOt4$EOt0$EOa1,EOnumber$EOlog,EOnumber$EOlog$EOt2$EOa2,EOnumber$EOmod,EOnumber$EOmod$EOabs_mod,EOnumber$EOneq,EOnumber$EOor,EOnumber$EOpower,EOnumber$EOpower$EOt1$EOa2,EOnumber$EOpower$EOt1$EOa2$EObin_powf,EOnumber$EOpower$EOt1$EOa2$EObin_powf$EOt2$EOa2,EOnumber$EOpower$EOt1$EOa2$EObin_powi,EOnumber$EOpower$EOt1$EOa2$EObin_powi$EOt2$EOa2,EOnumber$EOright,EOnumber$EOsignum,EOnumber$EOsqrt,EOnumber$EOsqrt$EObabylonian_method,EOnumber$EOsqrt$EObabylonian_method$EOt4$EOt0$EOa1,EOnumber$EOtaylor,EOnumber$EOtaylor$EOt8$EOt2$EOa1,EOnumber$EOxor,EOpi,EOpositive_infinity,EOpositive_infinity$EOdiv,EOpositive_infinity$EOdiv$EOcheck_nan,EOpositive_infinity$EOeq,EOpositive_infinity$EOgt,EOpositive_infinity$EOgte,EOpositive_infinity$EOlt,EOpositive_infinity$EOlte,EOpositive_infinity$EOminus,EOpositive_infinity$EOminus$EOis_nan,EOpositive_infinity$EOminus$EOis_nan_or_pos_inf,EOpositive_infinity$EOminus$EOminus_rec,EOpositive_infinity$EOneg,EOpositive_infinity$EOplus,EOpositive_infinity$EOplus$EOis_nan,EOpositive_infinity$EOplus$EOis_nan_or_neg_inf,EOpositive_infinity$EOplus$EOplus_rec,EOpositive_infinity$EOtimes,EOpositive_infinity$EOtimes$EOis_nan,EOpositive_infinity$EOtimes$EOis_nan_or_zero,EOpositive_infinity$EOtimes$EOis_term_gt_zero,EOpositive_infinity$EOtimes$EOis_term_gt_zero$EOt1$EOa0,EOpositive_infinity$EOtimes$EOis_term_gt_zero$EOt1$EOa1,EOpositive_infinity$EOtimes$EOtimes_rec,EOpositive_infinity$EOtimes$EOtimes_rec$EOt9$EOt2$EOa2,EOram,EOram$EOram_slice,EOram$EOram_slice$EOwrite,EOram$EOram_slice$EOφ,EOram$EOslice,EOram$EOwrite,EOrandom,EOrandom$EOnext,EOrandom$EOpseudo,EOrandom$EOφ,EOrange,EOrange$EOφ,EOrange$EOφ$EOappend,EOrange$EOφ$EOappend$EOt3$EOa1,EOrust,EOseq,EOseries,EOseries$EOmax,EOseries$EOmax$EOt1$EOt2$EOa2,EOseries$EOmin,EOseries$EOmin$EOt1$EOt2$EOa2,EOset,EOset$EOt1$EOa2,EOset$EOt1$EOa2$EOt0$EOa2,EOset$EOt1$EOa2$EOt0$EOt0$EOt0$EOa2,EOset$EOwith,EOstdin,EOstdin$EOnext_line,EOstdin$EOφ,EOstdout,EOstring,EOstring$EOas_bytes,EOstring$EOas_hash,EOstring$EOeq,EOstring$EOlength,EOstring$EOslice,EOswitch,EOswitch$EOcheck_case_at,EOtry,EOtuple,EOtuple$EOat,EOtuple$EOempty,EOtuple$EOlength,EOtuple$EOwith,EOuname,PhConst,PhCopy,PhDefault,PhFake,PhLocated,PhLogged,PhMethod,PhSafe,PhUnvar,PhWith
public interface Phi extends Term
A simple object. We call it Phi because of the name of the φ-calculus. Actually, a better name would be "Object", but it's already occupied by Java. That's why we call it Phi.- Since:
- 0.1
-
-
Field Detail
-
Φ
static final Phi Φ
The global scope object, which owns all other objects.
-
-
Method Detail
-
copy
Phi copy()
Make a copy, leaving it at the same parent.- Returns:
- A copy
-
attr
Attr attr(int pos)
Get attribute by position.- Parameters:
pos- The position of the attribute- Returns:
- The attr
-
attr
Attr attr(String name)
Get attribute.- Parameters:
name- The name of the attribute- Returns:
- The attr
-
locator
String locator()
Get code locator of the phi.- Returns:
- String containing code locator
-
-