jade-lang 0.3.1 → 0.5.0

data/lib/jade/stdlib/intrinsics.rb

@@ -76,10 +76,17 @@ module Jade
             constraints:,
           )
           .with(module_name:)
-          .tap { store(it) unless private }
+          .tap { store(it) }
+          .tap { private_names << name.to_s if private }
           .tap { Runtime.register(qualified_fn_name, &impl) }
       end
 
+      # Private means defined but not exposed: codegen and `implementation`
+      # resolve it, user modules cannot name it.
+      def private_names
+        @private_names ||= []
+      end
+
       # Approach A: the inline template is the single source of truth for a
       # function's behaviour. A hand-written block always wins. With no block
       # and a `body:` codegen override the function is codegen/dictionary-only
@@ -219,6 +226,7 @@ module Jade
       def exposes
         @symbols
           .reject { it.is_a?(Symbol::Implementation) }
+          .reject { it.is_a?(Symbol::StdlibFunction) && private_names.include?(it.name) }
           .map { it.to_ref }
       end
 
@@ -256,6 +264,9 @@ module Jade
 
         in 'Encodable'
           'Encode'
+
+        in 'Show'
+          'Show'
         end
           .then { Symbol.type_ref(it, interface.to_s) }
       end

data/lib/jade/stdlib/result.rb

@@ -111,7 +111,7 @@ module Jade
           def on_error(result: Result(a, e), fn: e -> Result(a, f)) -> Result(a, f)
             case result
             in Err(error) then error |> fn
-            in Ok(_) then result
+            in Ok(value) then Ok(value)
             end
           end
 

data/lib/jade/stdlib/show.rb

@@ -0,0 +1,40 @@
+require 'jade/stdlib/intrinsics'
+
+module Jade
+  module Stdlib
+    module Show
+      extend Intrinsics
+
+      import Basics
+      import Char
+      import String
+
+      interface(
+        'Show',
+        'a',
+        { 'show' => 'a -> String' },
+      )
+
+      implementation('Show', 'Int',    'show' => 'int_show')
+      implementation('Show', 'Float',  'show' => 'float_show')
+      implementation('Show', 'Bool',   'show' => 'bool_show')
+      implementation('Show', 'String', 'show' => 'str_show')
+      implementation('Show', 'Char',   'show' => 'char_show')
+
+      # Never is uninhabited, so this can only be reached by a compiler bug.
+      # The instance exists because the constraint does: without it no
+      # `Result(a, Never)` — the shape every port-free task returns — can be
+      # shown, and the error surfaces as an unresolved constraint far from
+      # its cause.
+      implementation('Show', 'Never',  'show' => 'never_show')
+
+      function('int_show',   { n: 'Int' },    'String')
+      function('float_show', { f: 'Float' },  'String')
+      function('bool_show',  { b: 'Bool' },   'String')
+      function('str_show',   { s: 'String' }, 'String')
+      function('char_show',  { c: 'Char' },   'String')
+
+      function('never_show', { n: 'Never' },  'String')
+    end
+  end
+end

data/lib/jade/stdlib/text.rb

@@ -0,0 +1,131 @@
+module Jade
+  module Stdlib
+    # Text representations of stdlib types, read in Ruby. Lives here rather
+    # than in Decimal / Clock / Calendar: those import Decode, so the
+    # instance cannot be registered the other way round. The types are
+    # compiled Jade, so constants resolve on first use.
+    #
+    # Accepts exactly what the Jade parsers did, down to `String.to_int`
+    # being `Integer(s, 10)` — whitespace and underscores included.
+    module Text
+      extend self
+
+      EPOCH_RATA_DIE = 719163
+      DAY_MS = 86_400_000
+
+      def to_decimal(s)
+        coefficient, exponent = s.split('e', 2)
+        return nil unless exponent
+
+        m = int(coefficient)
+        e = int(exponent)
+
+        m && e ? Jade::Decimal::Decimal[m, e] : nil
+      end
+
+      # No timezone offsets: `Clock.from_iso` never took them either.
+      def to_instant(s)
+        date_part, time_part = split_dt(s)
+        return nil unless date_part
+
+        d = to_date(date_part)
+        time = split_time(time_part)
+        return nil unless d && time
+
+        hour, minute, second, sub_ms = time
+        days = Jade::Calendar::Internal.to_rata_die(d) - EPOCH_RATA_DIE
+
+        Jade::Clock::Instant[
+          days * DAY_MS +
+            hour * 3_600_000 + minute * 60_000 + second * 1_000 + sub_ms
+        ]
+      end
+
+      def to_date(s)
+        parts = s.split('-')
+        return nil unless parts.length == 3
+
+        year, month, day = parts.map { int(it) }
+        return nil unless year && month && day
+
+        # Answers Jan outside 1..12 and never validates the day — calling
+        # it keeps that. Don't cache the Months: a second compile
+        # redefines the class.
+        Jade::Calendar::Date[
+          year,
+          Jade::Calendar::Internal.month_from_int(month),
+          day,
+        ]
+      end
+
+      # Seconds precision, always UTC. `rjust` matches `pad_to`, which
+      # left-pads without truncating: a negative year renders "00-5".
+      def from_instant(instant)
+        ms = instant._1
+        day_ms = ms % DAY_MS
+        d = Jade::Calendar::Internal.from_rata_die(ms / DAY_MS + EPOCH_RATA_DIE)
+
+        [
+          pad(d.year, 4),
+          '-', pad(Jade::Calendar::Internal.month_to_int(d.month), 2),
+          '-', pad(d.day, 2),
+          'T', pad(day_ms / 3_600_000, 2),
+          ':', pad(day_ms % 3_600_000 / 60_000, 2),
+          ':', pad(day_ms % 60_000 / 1_000, 2),
+          'Z',
+        ].join
+      end
+
+      private
+
+      def int(s) = Integer(s, 10, exception: false)
+
+      def pad(n, width) = n.to_s.rjust(width, '0')
+
+      def split_dt(s)
+        parts = s.split('T')
+        parts = s.split(' ') unless parts.length == 2
+
+        parts.length == 2 ? parts : nil
+      end
+
+      def split_time(s)
+        parts = strip_z(s).split(':')
+        return nil unless parts.length == 3
+
+        hour = int(parts[0])
+        minute = int(parts[1])
+        second, sub_ms = seconds(parts[2])
+
+        hour && minute && second && sub_ms ? [hour, minute, second, sub_ms] : nil
+      end
+
+      # A stray second "Z" falls through unstripped, as it did before.
+      def strip_z(s)
+        parts = s.split('Z')
+
+        parts.length == 1 || parts.length == 2 ? parts[0] : s
+      end
+
+      def seconds(s)
+        parts = s.split('.')
+
+        case parts.length
+        when 1 then [int(parts[0]), 0]
+        when 2 then [int(parts[0]), millis(int(parts[1]), parts[1].length)]
+        else [nil, nil]
+        end
+      end
+
+      def millis(n, digits)
+        return nil unless n
+
+        case digits <=> 3
+        when 0 then n
+        when -1 then n * 10.pow(3 - digits)
+        else n / 10.pow(digits - 3)
+        end
+      end
+    end
+  end
+end

data/lib/jade/stdlib.rb

@@ -16,6 +16,8 @@ require 'jade/stdlib/bytes'
 require 'jade/stdlib/calendar'
 require 'jade/stdlib/clock'
 require 'jade/stdlib/decimal'
+require 'jade/stdlib/show'
+require 'jade/stdlib/debug'
 
 module Jade
   module Stdlib
@@ -26,6 +28,7 @@ module Jade
       Decode Encode
       Bytes
       Dict Set
+      Show Debug
     ].freeze
     COMPILED = %w[Maybe Result Decode.Params Calendar Clock Decimal].freeze
     TOPLEVELS = (INTRINSICS + COMPILED).map { it.split('.', 2).first }.to_set.freeze
@@ -35,13 +38,13 @@ module Jade
       Stdlib::Dict, Stdlib::Set,
       Stdlib::Decode, Stdlib::Decode::Params, Stdlib::Encode,
       Stdlib::Bytes,
-      Stdlib::Calendar, Stdlib::Clock, Stdlib::Decimal,
+      Stdlib::Calendar, Stdlib::Clock, Stdlib::Decimal, Stdlib::Show, Stdlib::Debug,
     ]
     # Loaded into the registry but not auto-imported into user modules.
     EXTENSIONS = [
       Stdlib::Dict, Stdlib::Set,
       Stdlib::Decode, Stdlib::Decode::Params, Stdlib::Encode,
-      Stdlib::Calendar, Stdlib::Clock, Stdlib::Decimal,
+      Stdlib::Calendar, Stdlib::Clock, Stdlib::Decimal, Stdlib::Show, Stdlib::Debug,
     ]
 
     def load(registry)

data/lib/jade/symbol/interop_function.rb

@@ -6,8 +6,10 @@ module Jade
       :params,
       :return_type,
       :interop_module_name,
-      :constraints, # [[iface_qname, var_name]] — implicit Decodable on var arms
+      :constraints, # [[iface_qname, var_name]] — implicit Decodable on the
+                    # return arms' vars, Encodable on the params'
       :decoders, # { ok: impl_or_pass_or_dict, err: ... } | nil
+      :encoders, # [impl_or_pass_or_dict], one per param | nil
     ) do
       include Base
 

data/lib/jade/symbol.rb

@@ -103,11 +103,11 @@ module Jade
     end
 
     def predeclared_interop_function(name)
-      InteropFunction[nil, name, [], nil, nil, [], nil]
+      InteropFunction[nil, name, [], nil, nil, [], nil, nil]
     end
 
     def interop_function(name, params, return_type, interop_module_name, constraints: [])
-      InteropFunction[nil, name, params, return_type, interop_module_name, constraints, nil]
+      InteropFunction[nil, name, params, return_type, interop_module_name, constraints, nil, nil]
     end
 
     def type_application(constructor, args, span)

data/lib/jade/task.rb

@@ -92,9 +92,8 @@ module Jade
       private
 
       def decode(decoder, value)
-        case Jade::Decode::Runner.run(decoder, value)
-        in Jade::Result::Ok[v]  then v
-        in Jade::Result::Err[e] then fail Jade::Interop::DecodeError.new(e, value)
+        Jade::Decode::Runner.run!(decoder, value) do |error|
+          fail Jade::Interop::DecodeError.new(error, value)
         end
       end
     end

data/lib/jade/version.rb

@@ -1,3 +1,3 @@
 module Jade
-  VERSION = '0.3.1'
+  VERSION = '0.5.0'
 end

metadata

@@ -1,13 +1,13 @@
 --- !ruby/object:Gem::Specification
 name: jade-lang
 version: !ruby/object:Gem::Version
-  version: 0.3.1
+  version: 0.5.0
 platform: ruby
 authors:
 - Agustin Cornu
 bindir: exe
 cert_chain: []
-date: 2026-07-31 00:00:00.000000000 Z
+date: 2026-08-11 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: base64
@@ -35,17 +35,26 @@ executables:
 extensions: []
 extra_rdoc_files: []
 files:
+- AGENTS.md
 - CHANGELOG.md
 - LICENSE
 - README.md
+- docs/interop.md
+- docs/json.md
+- docs/lsp.md
+- docs/stdlib.md
+- docs/syntax.md
+- docs/testing.md
 - exe/jade
 - lib/jade.rb
+- lib/jade/api.rb
 - lib/jade/ast.rb
 - lib/jade/ast/node.rb
 - lib/jade/ast/nodes.rb
 - lib/jade/ast/pretty_printer.rb
 - lib/jade/calendar/runtime.rb
 - lib/jade/cli.rb
+- lib/jade/cli/check.rb
 - lib/jade/cli/fmt.rb
 - lib/jade/cli/lsp.rb
 - lib/jade/cli/q.rb
@@ -69,13 +78,14 @@ files:
 - lib/jade/codegen/inlines.rb
 - lib/jade/codegen/method_names.rb
 - lib/jade/codegen/pattern/constructor.rb
-- lib/jade/codegen/port_decoder.rb
+- lib/jade/codegen/port_codec.rb
 - lib/jade/codegen/pretty.rb
 - lib/jade/codegen/transforms/fold_shape.rb
 - lib/jade/codegen/transforms/self_call.rb
 - lib/jade/codegen/transforms/tail_call.rb
 - lib/jade/codegen/variant_declaration.rb
 - lib/jade/compiler.rb
+- lib/jade/debug.rb
 - lib/jade/decode.rb
 - lib/jade/diagnostics.rb
 - lib/jade/diagnostics/renderer.rb
@@ -211,6 +221,7 @@ files:
 - lib/jade/frontend/type_checking/constraints/deriving/encodable.rb
 - lib/jade/frontend/type_checking/constraints/deriving/eq.rb
 - lib/jade/frontend/type_checking/constraints/deriving/helpers.rb
+- lib/jade/frontend/type_checking/constraints/deriving/show.rb
 - lib/jade/frontend/type_checking/constraints/deriving/sql_mapper.rb
 - lib/jade/frontend/type_checking/definition.rb
 - lib/jade/frontend/type_checking/env.rb
@@ -228,6 +239,7 @@ files:
 - lib/jade/frontend/type_checking/error/missing_patterns.rb
 - lib/jade/frontend/type_checking/error/pattern_type_mismatch.rb
 - lib/jade/frontend/type_checking/error/port_not_decodable.rb
+- lib/jade/frontend/type_checking/error/port_not_encodable.rb
 - lib/jade/frontend/type_checking/error/record_access_type_mismatch.rb
 - lib/jade/frontend/type_checking/error/type_mismatch.rb
 - lib/jade/frontend/type_checking/error/unresolved_constraint.rb
@@ -303,6 +315,7 @@ files:
 - lib/jade/registry.rb
 - lib/jade/result.rb
 - lib/jade/runtime.rb
+- lib/jade/signature.rb
 - lib/jade/source.rb
 - lib/jade/stdlib.rb
 - lib/jade/stdlib/basics.rb
@@ -311,6 +324,7 @@ files:
 - lib/jade/stdlib/char.rb
 - lib/jade/stdlib/clock.rb
 - lib/jade/stdlib/compiled.rb
+- lib/jade/stdlib/debug.rb
 - lib/jade/stdlib/decimal.rb
 - lib/jade/stdlib/decode.rb
 - lib/jade/stdlib/decode/params.rb
@@ -321,8 +335,10 @@ files:
 - lib/jade/stdlib/maybe.rb
 - lib/jade/stdlib/result.rb
 - lib/jade/stdlib/set.rb
+- lib/jade/stdlib/show.rb
 - lib/jade/stdlib/string.rb
 - lib/jade/stdlib/task.rb
+- lib/jade/stdlib/text.rb
 - lib/jade/stdlib/tuple.rb
 - lib/jade/symbol.rb
 - lib/jade/symbol/anonymous_record.rb