pub struct Dialect {
pub index_origin: Option<i64>,
pub comparison_tolerance: Option<f64>,
pub nested_model: NestedModel,
pub first_disclose: FirstDisclose,
pub index_form: IndexForm,
pub dfn_result: DfnResult,
pub default_arg: DefaultArg,
pub complex_order: ComplexOrder,
pub trains: bool,
}Expand description
Dialect settings supplied by the host.
This is what a host asks for; Rules is what the compiler and the
engine read. Every field’s default is the setting libjay implements, so
Dialect::default() is the language as it ships and a host that names
no setting gets exactly that. Option fields mean “the language
default”, which differs between J and APL.
The enum fields are the points where the APL lineages diverge. libjay
implements the APL2/ISO line that GNU APL embodies; the other arm of
each is refused by Dialect::rules as not implemented yet, so
selecting it is honest rather than silently wrong.
Fields§
§index_origin: Option<i64>APL ⎕IO. J’s index origin is 0 and is not configurable.
comparison_tolerance: Option<f64>APL ⎕CT, J 9!:18: the relative comparison tolerance.
nested_model: NestedModel§first_disclose: FirstDisclose§index_form: IndexForm§dfn_result: DfnResult§default_arg: DefaultArg§complex_order: ComplexOrder§trains: boolWhether a run of functions in a value’s place is a train.
Implementations§
Source§impl Dialect
impl Dialect
Sourcepub fn gnu_apl() -> Dialect
pub fn gnu_apl() -> Dialect
The APL libjay implements: the APL2/ISO line GNU APL embodies and
the oracle verifies. Written out rather than derived, so that every
setting’s shipped value is stated in one place; it is equal to
Dialect::default(), which the tests pin.
Sourcepub fn j() -> Dialect
pub fn j() -> Dialect
J. Nothing in J is a dialect setting yet beyond the comparison
tolerance, and the APL settings are not read under Lang::J, so
J’s dialect is the empty one.
Sourcepub fn rules(&self, lang: Lang) -> Result<Rules>
pub fn rules(&self, lang: Lang) -> Result<Rules>
Resolve to the settings the compiler and the engine read.
This is the one place a dialect choice is made. A setting whose other arm libjay does not implement is refused here, by name, so that a host selecting it is told rather than quietly given this dialect’s answer.
Trait Implementations§
impl Copy for Dialect
impl StructuralPartialEq for Dialect
Auto Trait Implementations§
impl Freeze for Dialect
impl RefUnwindSafe for Dialect
impl Send for Dialect
impl Sync for Dialect
impl Unpin for Dialect
impl UnsafeUnpin for Dialect
impl UnwindSafe for Dialect
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more