sundaysebasidian-byte/moondmn/feel/types

README
V
compile
V
evaluate_compiled
V
evaluate_decision
V
feel_eval
V
parse_model

sundaysebasidian-byte/moondmn/feel/types does not have a README file

EngineError

pub(all) suberror EngineError {
  Failure(String, Int, Int, String)
} derive(Eq)

Matchable engine failure carrying code, line, column and message.

EngineError::equal

source

fn EngineError::equal(EngineError, EngineError) -> Bool

EngineError::not_equal

source

fn EngineError::not_equal(x : EngineError, y : EngineError) -> Bool

Date

source

pub(all) struct Date {
  year : Int
  month : Int
  day : Int
}

Calendar date in the proleptic Gregorian calendar (years -999999999..999999999). Construct validated values with date_of or parse_date.

Date::day_of_year

source

fn Date::day_of_year(self : Date) -> Int

Return the one-based day within the year.

Date::ordinal

source

fn Date::ordinal(self : Date) -> Int64

Return signed days since 1970-01-01.

Date::text

source

fn Date::text(self : Date) -> String

Format the calendar date as an ISO date.

Date::week_of_year

source

fn Date::week_of_year(self : Date) -> Int

Return the ISO week number, including adjacent-year weeks.

Date::weekday

source

fn Date::weekday(self : Date) -> Int

Return the ISO weekday, Monday=1 through Sunday=7.

DateTime

source

pub(all) struct DateTime {
  date : Date
  time : Time
}

Calendar date and local time with an optional zone.

DateTime::epoch_nanos

source

fn DateTime::epoch_nanos(self : DateTime) -> @moonbitlang/core/bigint.BigInt
BigInt raise EngineError

Exact UTC nanoseconds for the full date range; no Int64 narrowing.

DateTime::has_offset

source

fn DateTime::has_offset(self : DateTime) -> Bool

Test whether this date-time carries a fixed or named zone.

DateTime::instant

source

fn DateTime::instant(self : DateTime) -> Int64 raise EngineError

Absolute instant as nanoseconds since 1970-01-01T00:00:00Z. Fails when the value has no resolvable offset.

DateTime::text

source

fn DateTime::text(self : DateTime) -> String

Format the stored date, time and zone as ISO text.

Decimal

source

pub struct Decimal {
  coefficient : @moonbitlang/core/bigint.BigInt
BigInt
  scale : Int
}

Exact signed decimal with at most 34 significant digits (DMN number type). Division and out-of-range arithmetic are rounded half-to-even, the same rounding mode required by IEEE 754 decimal128.

impl Eq for Decimal

Decimal::abs

source

fn Decimal::abs(a : Decimal) -> Decimal

Return the non-negative decimal magnitude.

Decimal::add

source

fn Decimal::add(a : Decimal, b : Decimal) -> Decimal raise EngineError

Add decimals with the engine precision limit.

Decimal::ceiling

source

fn Decimal::ceiling(self : Decimal) -> Decimal raise EngineError

Round toward positive infinity.

Decimal::compare

source

fn Decimal::compare(a : Decimal, b : Decimal) -> Int

Return a negative, zero or positive integer according to numeric order.

Decimal::divide

source

fn Decimal::divide(a : Decimal, b : Decimal) -> Decimal raise EngineError

Divide decimals; zero divisors raise E_DIV_ZERO.

Decimal::equal

source

fn Decimal::equal(self : Decimal, other : Decimal) -> Bool

Decimal::exp

source

fn Decimal::exp(self : Decimal) -> Decimal raise EngineError

Compute the exponential through the floating-point bridge.

Decimal::floor

source

fn Decimal::floor(self : Decimal) -> Decimal raise EngineError

Round toward negative infinity.

Decimal::is_integer

source

fn Decimal::is_integer(self : Decimal) -> Bool

Test whether the normalized decimal has no fractional part.

Decimal::is_negative

source

fn Decimal::is_negative(self : Decimal) -> Bool

Test the decimal sign.

Decimal::is_zero

source

fn Decimal::is_zero(self : Decimal) -> Bool

Test whether the decimal coefficient is zero.

Decimal::ln

source

fn Decimal::ln(self : Decimal) -> Decimal raise EngineError

Compute the natural logarithm through the floating-point bridge.

Decimal::log10

source

fn Decimal::log10(self : Decimal) -> Decimal raise EngineError

Compute the base-ten logarithm through the floating-point bridge.

Decimal::modulo

source

fn Decimal::modulo(a : Decimal, b : Decimal) -> Decimal raise EngineError

Compute FEEL modulo with the divisor sign convention.

Decimal::multiply

source

fn Decimal::multiply(a : Decimal, b : Decimal) -> Decimal raise EngineError

Multiply decimals with the engine precision limit.

Decimal::negate

source

fn Decimal::negate(a : Decimal) -> Decimal

Reverse the decimal sign.

Decimal::not_equal

source

fn Decimal::not_equal(x : Decimal, y : Decimal) -> Bool

Decimal::pow

source

fn Decimal::pow(a : Decimal, b : Decimal) -> Decimal raise EngineError

Raise to a decimal power, using exact integer powers when supported.

Decimal::power_of_ten

source

fn Decimal::power_of_ten(n : Int) -> Decimal raise EngineError

Construct a decimal power of ten.

Decimal::round

source

fn Decimal::round(self : Decimal, places : Int) -> Decimal raise EngineError

Round to decimal places using half-even ties; negative places are clamped to zero.

Decimal::sqrt

source

fn Decimal::sqrt(self : Decimal) -> Decimal raise EngineError

Compute a square root through the bounded floating-point bridge.

Decimal::text

source

fn Decimal::text(self : Decimal) -> String

Format the normalized decimal without binary floating-point conversion.

Decimal::to_int

source

fn Decimal::to_int(self : Decimal) -> Int raise EngineError

Convert an integral decimal to Int32; fractional values raise E_TYPE.

Decimal::truncate

source

fn Decimal::truncate(self : Decimal) -> Decimal raise EngineError

Discard fractional digits toward zero.

DurationDS

source

pub(all) struct DurationDS {
  negative : Bool
  days : Int64
  nanos : Int64
}

Days and time duration. days plus nanos (always less than one day), with a separate sign so that the canonical form is unique.

DurationDS::add

source

fn DurationDS::add(a : DurationDS, b : DurationDS) -> DurationDS raise EngineError

Add two exact days-and-time durations.

DurationDS::canonical

source

fn DurationDS::canonical(negative : Bool, days : Int64, nanos : Int64) -> DurationDS raise EngineError

Normalize signed day and nanosecond components.

DurationDS::is_zero

source

fn DurationDS::is_zero(self : DurationDS) -> Bool

Test whether both duration components are zero.

DurationDS::negate

source

fn DurationDS::negate(self : DurationDS) -> DurationDS

Reverse the duration sign while preserving canonical zero.

DurationDS::subtract

source

fn DurationDS::subtract(a : DurationDS, b : DurationDS) -> DurationDS raise EngineError

Subtract two exact days-and-time durations.

DurationDS::text

source

fn DurationDS::text(self : DurationDS) -> String

Format a canonical ISO days-and-time duration.

DurationDS::total_nanos

source

fn DurationDS::total_nanos(self : DurationDS) -> @moonbitlang/core/bigint.BigInt
BigInt

Return the exact signed nanosecond count as a BigInt.

DurationDS::zero

source

fn DurationDS::zero() -> DurationDS

Construct a zero days-and-time duration.

DurationYM

source

pub(all) struct DurationYM {
  negative : Bool
  years : Int
  months : Int
}

Years and months duration, canonicalised so 0 <= months < 12.

DurationYM::canonical

source

fn DurationYM::canonical(negative : Bool, years : Int, months : Int) -> DurationYM raise EngineError

Normalize years and months with a separate sign.

DurationYM::is_zero

source

fn DurationYM::is_zero(self : DurationYM) -> Bool

Test whether the years-and-months duration is zero.

DurationYM::text

source

fn DurationYM::text(self : DurationYM) -> String

Format a canonical ISO years-and-months duration.

DurationYM::total_months

source

fn DurationYM::total_months(self : DurationYM) -> Int64

Return the signed total number of months.

DurationYM::zero

source

fn DurationYM::zero() -> DurationYM

Construct a zero years-and-months duration.

FunctionValue

source

pub(all) struct FunctionValue {
  name : String
  params : Array[String]
  callback : (Array[Value]) -> Value raise EngineError
}

Callable FEEL value with parameter names and a captured callback.

Range

source

pub(all) struct Range {
  comparison : String?
  start : Value?
  start_included : Bool
  end : Value?
  end_included : Bool
}

FEEL interval. Missing endpoints are unbounded.

Range::contains

source

fn Range::contains(range : Range, value : Value) -> Bool raise EngineError

Test point membership with open and closed endpoint semantics.

Range::json

source

fn Range::json(range : Range) -> Json raise EngineError

Encode range bounds and inclusion flags as JSON.

Range::overlaps

source

fn Range::overlaps(a : Range, b : Range) -> Bool raise EngineError

Test whether two ranges share at least one point.

Range::text

source

fn Range::text(range : Range) -> String

Format range endpoints and inclusion brackets.

Range::unbounded

source

fn Range::unbounded() -> Range

Construct a range with neither a lower nor an upper bound.

Time

source

pub(all) struct Time {
  hour : Int
  minute : Int
  second : Int
  nanos : Int
  zone : Zone
}

Time of day with optional UTC offset or named IANA zone. Construct validated values with make_time or parse_time.

Time::seconds

source

fn Time::seconds(self : Time) -> Int64

Nanoseconds since midnight for a valid time, ignoring the zone.

Time::text

source

fn Time::text(self : Time) -> String

Format time, fractional seconds and the stored zone.

Value

source

pub(all) enum Value {
  Null
  Boolean(Bool)
  Number(Decimal)
  Text(String)
  Date(Date)
  Time(Time)
  DateTime(DateTime)
  DaysSeconds(DurationDS)
  YearsMonths(DurationYM)
  List(Array[Value])
  Context(Map[String, Value])
  Range(Range)
  Function(FunctionValue)
}

Runtime FEEL value. All temporal values are exact; functions capture their defining scope in callback, which keeps the core value type independent of the evaluator package.

impl Eq for Value

Value::equal

source

fn Value::equal(self : Value, other : Value) -> Bool

Value::equals

source

fn Value::equals(a : Value, b : Value) -> Bool

Compare FEEL values structurally, with temporal instant equality.

Value::json

source

fn Value::json(self : Value) -> Json raise EngineError

Encode a value as JSON; decimals retain exact numeric spelling.

Value::not_equal

source

fn Value::not_equal(x : Value, y : Value) -> Bool

Value::text

source

fn Value::text(self : Value) -> String

Format a value as FEEL-oriented diagnostic text.

Value::type_name

source

fn Value::type_name(self : Value) -> String

Return the FEEL runtime type name.

Zone

source

pub(all) enum Zone {
  Unzoned
  Fixed(Int)
  Named(String)
}

Unzoned, fixed-offset or named time zone representation.

civil_from_days

source

fn civil_from_days(days : Int64) -> Date raise EngineError

Convert signed days since 1970-01-01 to a Gregorian date.

compare_values

source

fn compare_values(a : Value, b : Value) -> Int raise EngineError

Compare compatible FEEL values; incompatible kinds raise E_TYPE.

date_add_days

source

fn date_add_days(date : Date, days : Int64) -> Date raise EngineError

Add signed calendar days without changing the calendar representation.

date_add_months

source

fn date_add_months(date : Date, months : Int64) -> Date raise EngineError

Add signed months, clamping the day to the destination month.

date_from_ordinal

source

fn date_from_ordinal(days : @moonbitlang/core/bigint.BigInt
BigInt) -> Date raise EngineError

Convert an exact epoch day after checking the supported Gregorian year range.

date_of

source

fn date_of(year : Int, month : Int, day : Int) -> Date raise EngineError

Validate year, month and day and construct a Gregorian date.

datetime_from_instant

source

fn datetime_from_instant(nanos : @moonbitlang/core/bigint.BigInt
BigInt, zone : Zone) -> DateTime raise EngineError

Convert an exact UTC instant to a local date-time in the embedded IANA range.

datetime_of

source

fn datetime_of(date : Date, time : Time) -> DateTime raise EngineError

Construct a local date-time and reject nonexistent times in covered IANA years.

datetime_zone_offset

source

fn datetime_zone_offset(value : DateTime) -> Int raise EngineError

Resolve an IANA offset at a complete local time using embedded 2026e data. Gaps fail explicitly; overlaps choose the earlier UTC instant.

days_from_civil

source

fn days_from_civil(year : Int, month : Int, day : Int) -> Int64

Convert a Gregorian date to signed days since 1970-01-01.

days_in_month

source

fn days_in_month(year : Int, month : Int) -> Int

Return the month length, or zero for an invalid month.

decimal

source

fn decimal(text : String) -> Decimal raise EngineError

Parse a decimal literal. Accepts an optional sign, a leading dot, and a decimal exponent. Values with more than 34 significant digits are rounded.

decimal_int

source

fn decimal_int(n : Int) -> Decimal

Construct an exact decimal from a 32-bit integer.

decimal_int64

source

fn decimal_int64(n : Int64) -> Decimal

Construct an exact decimal from a 64-bit integer.

decimal_to_scaled

source

fn decimal_to_scaled(d : Decimal, target_scale : Int) -> @moonbitlang/core/bigint.BigInt
BigInt raise EngineError

Convert a decimal component to an integer in target_scale units, rounding half-to-even.

duration_ds_of_nanos

source

fn duration_ds_of_nanos(total : @moonbitlang/core/bigint.BigInt
BigInt) -> DurationDS raise EngineError

Build a canonical duration from a signed nanosecond count, rounding sub-nanosecond input is not possible by construction.

duration_ym_of_months

source

fn duration_ym_of_months(total : @moonbitlang/core/bigint.BigInt
BigInt) -> DurationYM raise EngineError

Normalize an exact month count, rejecting magnitudes beyond Int32 years.

error_code

source

fn error_code(e : EngineError) -> String

Extract the machine-readable error code.

error_message

source

fn error_message(e : EngineError) -> String

Extract the diagnostic message.

fail

source

fn fail(code : String, message : String) -> EngineError

Construct a semantic failure without a source location.

fail_at

source

fn fail_at(code : String, line : Int, column : Int, message : String) -> EngineError

Construct a failure with a source line and column.

from_double

source

fn from_double(value : Double, places : Int) -> Decimal raise EngineError

Build a decimal from a double rounded to places decimal places.

from_json

source

fn from_json(j : Json) -> Value raise EngineError

Decode JSON values using exact decimals.

is_leap_year

source

fn is_leap_year(year : Int) -> Bool

Test the Gregorian leap-year rule.

json_context

source

fn json_context(text : String) -> Map[String, Value] raise EngineError

Decode a JSON object, rejecting invalid JSON and duplicate keys.

make_time

source

fn make_time(hour : Int, minute : Int, second : Int, nanos : Int, zone : Zone) -> Time raise EngineError

Validate and construct a time from integer components.

max_digits

source

let max_digits : Int

named_zone_offset

source

fn named_zone_offset(name : String, date : Date) -> Int?

Compatibility helper: resolve at local midnight, never guess a whole-day offset.

parse_date

source

fn parse_date(text : String) -> Date raise EngineError

Parse an ISO date, rejecting invalid calendar components.

parse_datetime

source

fn parse_datetime(text : String) -> DateTime raise EngineError

Parse an ISO date and time separated by T.

parse_duration

source

fn parse_duration(text : String) -> (DurationDS, DurationYM) raise EngineError

Parse an ISO 8601 duration. Durations mixing date and time-of-day components with years/months are rejected, as required by FEEL.

parse_offset_text

source

fn parse_offset_text(text : String, start : Int) -> (Zone, Int) raise EngineError

Parse a UTC offset beginning at start.

parse_time

source

fn parse_time(text : String) -> Time raise EngineError

Parse an ISO time with an optional UTC offset or named zone.

standard_zone_offset

source

fn standard_zone_offset(zone : Zone) -> Int?

Only date-independent named offsets can resolve a time without a date.

zero

source

fn zero() -> Decimal

Construct exact decimal zero.

zone_offset_seconds

source

fn zone_offset_seconds(zone : Zone, date : Date) -> Int raise EngineError

Compatibility helper for local midnight. Use datetime_zone_offset for a time.

Source Files

Install

Download zip

Experimental exact-decimal FEEL and DMN interpreter

dmnfeeldecision

sundaysebasidian-byte

Apache-2.0

github.com/sundaysebasidian-byte/moondmn

Updated 3 hours ago

16 downloads

Site source Report issue Modules Skills Build queue Statistics

#EngineError

#EngineError::equal

#EngineError::not_equal

#Date

#Date::day_of_year

#Date::ordinal

#Date::text

#Date::week_of_year

#Date::weekday

#DateTime

#DateTime::epoch_nanos

#DateTime::has_offset

#DateTime::instant

#DateTime::text

#Decimal

#Decimal::abs

#Decimal::add

#Decimal::ceiling

#Decimal::compare

#Decimal::divide

#Decimal::equal

#Decimal::exp

#Decimal::floor

#Decimal::is_integer

#Decimal::is_negative

#Decimal::is_zero

#Decimal::ln

#Decimal::log10

#Decimal::modulo

#Decimal::multiply

#Decimal::negate

#Decimal::not_equal

#Decimal::pow

#Decimal::power_of_ten

#Decimal::round

#Decimal::sqrt

#Decimal::text

#Decimal::to_int

#Decimal::truncate

#DurationDS

#DurationDS::add

#DurationDS::canonical

#DurationDS::is_zero

#DurationDS::negate

#DurationDS::subtract

#DurationDS::text

#DurationDS::total_nanos

#DurationDS::zero

#DurationYM

#DurationYM::canonical

#DurationYM::is_zero

#DurationYM::text

#DurationYM::total_months

#DurationYM::zero

#FunctionValue

#Range

#Range::contains

#Range::json

#Range::overlaps

#Range::text

#Range::unbounded

#Time

#Time::seconds

#Time::text

#Value

#Value::equal

#Value::equals

#Value::json

#Value::not_equal

#Value::text

#Value::type_name

#Zone

#civil_from_days

#compare_values

#date_add_days

#date_add_months

#date_from_ordinal

#date_of

#datetime_from_instant

#datetime_of

EngineError

EngineError::equal

EngineError::not_equal

Date

Date::day_of_year

Date::ordinal

Date::text

Date::week_of_year

Date::weekday

DateTime

DateTime::epoch_nanos

DateTime::has_offset

DateTime::instant

DateTime::text

Decimal

Decimal::abs

Decimal::add

Decimal::ceiling

Decimal::compare

Decimal::divide

Decimal::equal

Decimal::exp

Decimal::floor

Decimal::is_integer

Decimal::is_negative

Decimal::is_zero

Decimal::ln

Decimal::log10

Decimal::modulo

Decimal::multiply

Decimal::negate

Decimal::not_equal

Decimal::pow

Decimal::power_of_ten

Decimal::round

Decimal::sqrt

Decimal::text

Decimal::to_int

Decimal::truncate

DurationDS

DurationDS::add

DurationDS::canonical

DurationDS::is_zero

DurationDS::negate

DurationDS::subtract

DurationDS::text

DurationDS::total_nanos

DurationDS::zero

DurationYM

DurationYM::canonical

DurationYM::is_zero

DurationYM::text

DurationYM::total_months

DurationYM::zero

FunctionValue

Range

Range::contains

Range::json

Range::overlaps

Range::text

Range::unbounded

Time

Time::seconds

Time::text

Value

Value::equal

Value::equals

Value::json

Value::not_equal

Value::text

Value::type_name

Zone

civil_from_days

compare_values

date_add_days

date_add_months

date_from_ordinal

date_of

datetime_from_instant

datetime_of