jade-lang 0.3.0 → 0.4.0

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/version.rb

@@ -1,3 +1,3 @@
 module Jade
-  VERSION = '0.3.0'
+  VERSION = '0.4.0'
 end

metadata

@@ -1,13 +1,13 @@
 --- !ruby/object:Gem::Specification
 name: jade-lang
 version: !ruby/object:Gem::Version
-  version: 0.3.0
+  version: 0.4.0
 platform: ruby
 authors:
 - Agustin Cornu
 bindir: exe
 cert_chain: []
-date: 2026-07-30 00:00:00.000000000 Z
+date: 2026-08-03 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: base64
@@ -69,13 +69,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 +212,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 +230,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
@@ -311,6 +314,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,6 +325,7 @@ 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/tuple.rb