Module: Jade

Extended by:
Jade
Included in:
Jade
Defined in:
lib/jade.rb,
lib/jade/ast.rb,
lib/jade/cli.rb,
lib/jade/lsp.rb,
lib/jade/task.rb,
lib/jade/type.rb,
lib/jade/cli/q.rb,
lib/jade/entry.rb,
lib/jade/error.rb,
lib/jade/lexer.rb,
lib/jade/tasks.rb,
lib/jade/decode.rb,
lib/jade/result.rb,
lib/jade/source.rb,
lib/jade/stdlib.rb,
lib/jade/symbol.rb,
lib/jade/cli/fmt.rb,
lib/jade/cli/lsp.rb,
lib/jade/codegen.rb,
lib/jade/parsing.rb,
lib/jade/runtime.rb,
lib/jade/version.rb,
lib/jade/ast/node.rb,
lib/jade/compiler.rb,
lib/jade/frontend.rb,
lib/jade/registry.rb,
lib/jade/type/var.rb,
lib/jade/ast/nodes.rb,
lib/jade/formatter.rb,
lib/jade/lsp/state.rb,
lib/jade/type/base.rb,
lib/jade/type/unit.rb,
lib/jade/lsp/server.rb,
lib/jade/stdlib/set.rb,
lib/jade/diagnostics.rb,
lib/jade/stdlib/char.rb,
lib/jade/stdlib/dict.rb,
lib/jade/stdlib/list.rb,
lib/jade/stdlib/task.rb,
lib/jade/symbol/base.rb,
lib/jade/tasks/rspec.rb,
lib/jade/did_you_mean.rb,
lib/jade/lsp/handlers.rb,
lib/jade/lsp/snippets.rb,
lib/jade/parsing/type.rb,
lib/jade/stdlib/bytes.rb,
lib/jade/stdlib/clock.rb,
lib/jade/stdlib/maybe.rb,
lib/jade/stdlib/tuple.rb,
lib/jade/symbol/union.rb,
lib/jade/clock/runtime.rb,
lib/jade/interop/error.rb,
lib/jade/module_loader.rb,
lib/jade/parsing/error.rb,
lib/jade/parsing/token.rb,
lib/jade/stdlib/basics.rb,
lib/jade/stdlib/decode.rb,
lib/jade/stdlib/encode.rb,
lib/jade/stdlib/result.rb,
lib/jade/stdlib/string.rb,
lib/jade/symbol/lambda.rb,
lib/jade/symbol/parser.rb,
lib/jade/symbol/struct.rb,
lib/jade/type/function.rb,
lib/jade/codegen/inline.rb,
lib/jade/codegen/pretty.rb,
lib/jade/formatter/body.rb,
lib/jade/formatter/type.rb,
lib/jade/lsp/converters.rb,
lib/jade/symbol/variant.rb,
lib/jade/codegen/context.rb,
lib/jade/codegen/emitter.rb,
lib/jade/codegen/helpers.rb,
lib/jade/codegen/inlines.rb,
lib/jade/formatter/calls.rb,
lib/jade/interop/runtime.rb,
lib/jade/stdlib/calendar.rb,
lib/jade/stdlib/compiled.rb,
lib/jade/symbol/function.rb,
lib/jade/symbol/type_ref.rb,
lib/jade/symbol/variable.rb,
lib/jade/type/constraint.rb,
lib/jade/calendar/runtime.rb,
lib/jade/codegen/boundary.rb,
lib/jade/formatter/helper.rb,
lib/jade/formatter/lambda.rb,
lib/jade/formatter/leaves.rb,
lib/jade/interop/boundary.rb,
lib/jade/interop/lowering.rb,
lib/jade/symbol/interface.rb,
lib/jade/symbol/value_ref.rb,
lib/jade/type/application.rb,
lib/jade/type/constructor.rb,
lib/jade/formatter/case_of.rb,
lib/jade/formatter/pattern.rb,
lib/jade/stdlib/intrinsics.rb,
lib/jade/ast/pretty_printer.rb,
lib/jade/formatter/accesses.rb,
lib/jade/formatter/bindings.rb,
lib/jade/formatter/exposing.rb,
lib/jade/symbol/constructor.rb,
lib/jade/symbol/record_type.rb,
lib/jade/frontend/desugaring.rb,
lib/jade/module_loader/cache.rb,
lib/jade/parsing/combinators.rb,
lib/jade/codegen/method_names.rb,
lib/jade/codegen/port_decoder.rb,
lib/jade/stdlib/decode/params.rb,
lib/jade/symbol/function_type.rb,
lib/jade/codegen/function_call.rb,
lib/jade/formatter/collections.rb,
lib/jade/formatter/module_node.rb,
lib/jade/frontend/fixity_fixer.rb,
lib/jade/symbol/implementation.rb,
lib/jade/type/anonymous_record.rb,
lib/jade/codegen/boundary/cache.rb,
lib/jade/codegen/implementation.rb,
lib/jade/formatter/declarations.rb,
lib/jade/formatter/if_then_else.rb,
lib/jade/frontend/type_checking.rb,
lib/jade/interop/lowering/error.rb,
lib/jade/symbol/stdlib_function.rb,
lib/jade/frontend/usage_analysis.rb,
lib/jade/module_loader/normalize.rb,
lib/jade/symbol/anonymous_record.rb,
lib/jade/symbol/derived_function.rb,
lib/jade/symbol/interop_function.rb,
lib/jade/symbol/type_application.rb,
lib/jade/formatter/case_of_branch.rb,
lib/jade/frontend/unused_analysis.rb,
lib/jade/type/partial_application.rb,
lib/jade/frontend/comment_attacher.rb,
lib/jade/frontend/pattern_analysis.rb,
lib/jade/symbol/interface_function.rb,
lib/jade/frontend/semantic_analysis.rb,
lib/jade/frontend/type_checking/env.rb,
lib/jade/symbol/partial_application.rb,
lib/jade/codegen/pattern/constructor.rb,
lib/jade/codegen/variant_declaration.rb,
lib/jade/formatter/infix_application.rb,
lib/jade/codegen/boundary/specialized.rb,
lib/jade/codegen/function_declaration.rb,
lib/jade/codegen/transforms/self_call.rb,
lib/jade/codegen/transforms/tail_call.rb,
lib/jade/frontend/desugaring/resolved.rb,
lib/jade/frontend/forward_declaration.rb,
lib/jade/frontend/type_checking/state.rb,
lib/jade/symbol/stdlib_implementation.rb,
lib/jade/codegen/constructor_reference.rb,
lib/jade/codegen/transforms/fold_shape.rb,
lib/jade/frontend/type_checking/loader.rb,
lib/jade/frontend/type_checking/result.rb,
lib/jade/frontend/type_checking/scheme.rb,
lib/jade/formatter/function_declaration.rb,
lib/jade/frontend/type_checking/var_gen.rb,
lib/jade/module_loader/dependency_graph.rb,
lib/jade/module_loader/topological_sort.rb,
lib/jade/symbol/implementation_template.rb,
lib/jade/frontend/desugaring/placeholder.rb,
lib/jade/frontend/semantic_analysis/body.rb,
lib/jade/frontend/semantic_analysis/list.rb,
lib/jade/frontend/type_checking/expected.rb,
lib/jade/frontend/pattern_analysis/matrix.rb,
lib/jade/frontend/semantic_analysis/error.rb,
lib/jade/frontend/semantic_analysis/tuple.rb,
lib/jade/codegen/boundary/specialized/list.rb,
lib/jade/frontend/forward_declaration/body.rb,
lib/jade/frontend/semantic_analysis/assign.rb,
lib/jade/frontend/semantic_analysis/helper.rb,
lib/jade/frontend/semantic_analysis/lambda.rb,
lib/jade/frontend/type_checking/definition.rb,
lib/jade/module_loader/dependency_resolver.rb,
lib/jade/codegen/boundary/specialized/maybe.rb,
lib/jade/frontend/semantic_analysis/case_of.rb,
lib/jade/frontend/semantic_analysis/literal.rb,
lib/jade/frontend/type_checking/constraints.rb,
lib/jade/frontend/type_checking/generalizer.rb,
lib/jade/frontend/type_checking/placeholder.rb,
lib/jade/frontend/type_checking/unification.rb,
lib/jade/codegen/boundary/specialized/record.rb,
lib/jade/codegen/boundary/specialized/scalar.rb,
lib/jade/frontend/forward_declaration/helper.rb,
lib/jade/frontend/forward_declaration/module.rb,
lib/jade/frontend/semantic_analysis/grouping.rb,
lib/jade/frontend/type_checking/canonicalize.rb,
lib/jade/frontend/type_checking/substitution.rb,
lib/jade/frontend/type_checking/instantiation.rb,
lib/jade/frontend/semantic_analysis/keyed_call.rb,
lib/jade/frontend/type_checking/generalization.rb,
lib/jade/frontend/type_checking/inference/body.rb,
lib/jade/frontend/type_checking/inference/list.rb,
lib/jade/frontend/semantic_analysis/module_node.rb,
lib/jade/frontend/type_checking/port_resolution.rb,
lib/jade/frontend/semantic_analysis/char_literal.rb,
lib/jade/frontend/semantic_analysis/if_then_else.rb,
lib/jade/frontend/semantic_analysis/pattern_list.rb,
lib/jade/frontend/semantic_analysis/record_field.rb,
lib/jade/frontend/type_checking/inference/assign.rb,
lib/jade/frontend/type_checking/inference/lambda.rb,
lib/jade/frontend/type_checking/inference/module.rb,
lib/jade/frontend/usage_analysis/reference_index.rb,
lib/jade/frontend/pattern_analysis/exhaustiveness.rb,
lib/jade/frontend/semantic_analysis/function_call.rb,
lib/jade/frontend/semantic_analysis/member_access.rb,
lib/jade/frontend/semantic_analysis/record_access.rb,
lib/jade/frontend/semantic_analysis/record_update.rb,
lib/jade/frontend/type_checking/inference/case_of.rb,
lib/jade/frontend/type_checking/inference/helpers.rb,
lib/jade/frontend/type_checking/inference/literal.rb,
lib/jade/frontend/type_checking/inference/pattern.rb,
lib/jade/frontend/semantic_analysis/case_of_branch.rb,
lib/jade/frontend/semantic_analysis/implementation.rb,
lib/jade/frontend/semantic_analysis/pattern_record.rb,
lib/jade/frontend/semantic_analysis/record_literal.rb,
lib/jade/frontend/type_checking/inference/grouping.rb,
lib/jade/frontend/semantic_analysis/pattern_binding.rb,
lib/jade/frontend/semantic_analysis/pattern_literal.rb,
lib/jade/frontend/type_checking/error/type_mismatch.rb,
lib/jade/frontend/forward_declaration/implementation.rb,
lib/jade/frontend/semantic_analysis/pattern_wildcard.rb,
lib/jade/frontend/semantic_analysis/qualified_access.rb,
lib/jade/frontend/semantic_analysis/type_declaration.rb,
lib/jade/frontend/type_checking/constraints/deriving.rb,
lib/jade/frontend/forward_declaration/error/bad_import.rb,
lib/jade/frontend/forward_declaration/type_declaration.rb,
lib/jade/frontend/semantic_analysis/import_declaration.rb,
lib/jade/frontend/semantic_analysis/struct_declaration.rb,
lib/jade/frontend/semantic_analysis/variable_reference.rb,
lib/jade/frontend/type_checking/error/missing_patterns.rb,
lib/jade/frontend/type_checking/inference/if_then_else.rb,
lib/jade/frontend/type_checking/inference/record_field.rb,
lib/jade/frontend/semantic_analysis/error/missing_field.rb,
lib/jade/frontend/semantic_analysis/error/non_task_port.rb,
lib/jade/frontend/semantic_analysis/error/unknown_field.rb,
lib/jade/frontend/semantic_analysis/pattern_constructor.rb,
lib/jade/frontend/semantic_analysis/variant_declaration.rb,
lib/jade/frontend/type_checking/constraints/deriving/eq.rb,
lib/jade/frontend/type_checking/error/derivation_failed.rb,
lib/jade/frontend/type_checking/inference/function_call.rb,
lib/jade/frontend/type_checking/inference/record_access.rb,
lib/jade/frontend/type_checking/inference/record_update.rb,
lib/jade/frontend/forward_declaration/import_declaration.rb,
lib/jade/frontend/forward_declaration/struct_declaration.rb,
lib/jade/frontend/semantic_analysis/function_declaration.rb,
lib/jade/frontend/type_checking/error/port_not_decodable.rb,
lib/jade/frontend/type_checking/inference/implementation.rb,
lib/jade/frontend/type_checking/inference/record_literal.rb,
lib/jade/frontend/semantic_analysis/constructor_reference.rb,
lib/jade/frontend/semantic_analysis/error/duplicate_field.rb,
lib/jade/frontend/semantic_analysis/error/shadowing_error.rb,
lib/jade/frontend/semantic_analysis/interface_declaration.rb,
lib/jade/frontend/semantic_analysis/keyed_call/validation.rb,
lib/jade/frontend/forward_declaration/error/type_not_found.rb,
lib/jade/frontend/forward_declaration/function_declaration.rb,
lib/jade/frontend/semantic_analysis/error/circular_extends.rb,
lib/jade/frontend/semantic_analysis/error/module_not_found.rb,
lib/jade/frontend/semantic_analysis/error/nested_task_port.rb,
lib/jade/frontend/type_checking/inference/qualified_access.rb,
lib/jade/frontend/type_checking/inference/type_declaration.rb,
lib/jade/frontend/forward_declaration/interface_declaration.rb,
lib/jade/frontend/semantic_analysis/error/value_not_exposed.rb,
lib/jade/frontend/semantic_analysis/implementation_function.rb,
lib/jade/frontend/type_checking/error/pattern_type_mismatch.rb,
lib/jade/frontend/type_checking/error/unresolved_constraint.rb,
lib/jade/frontend/forward_declaration/error/module_not_found.rb,
lib/jade/frontend/semantic_analysis/error/type_args_mismatch.rb,
lib/jade/frontend/semantic_analysis/error/undefined_variable.rb,
lib/jade/frontend/semantic_analysis/error/variable_not_found.rb,
lib/jade/frontend/type_checking/constraints/deriving/helpers.rb,
lib/jade/frontend/type_checking/error/missing_implementation.rb,
lib/jade/frontend/type_checking/inference/import_declaration.rb,
lib/jade/frontend/type_checking/inference/struct_declaration.rb,
lib/jade/frontend/type_checking/inference/variable_reference.rb,
lib/jade/frontend/forward_declaration/implementation_function.rb,
lib/jade/frontend/semantic_analysis/error/type_param_required.rb,
lib/jade/frontend/type_checking/error/if_branch_type_mismatch.rb,
lib/jade/frontend/type_checking/error/list_item_type_mismatch.rb,
lib/jade/frontend/forward_declaration/error/type_not_lowerable.rb,
lib/jade/frontend/semantic_analysis/interop_import_declaration.rb,
lib/jade/frontend/type_checking/constraints/deriving/decodable.rb,
lib/jade/frontend/type_checking/constraints/deriving/encodable.rb,
lib/jade/frontend/type_checking/inference/function_declaration.rb,
lib/jade/frontend/semantic_analysis/error/constant_not_callable.rb,
lib/jade/frontend/semantic_analysis/error/constructor_not_found.rb,
lib/jade/frontend/semantic_analysis/error/orphan_implementation.rb,
lib/jade/frontend/semantic_analysis/error/unbound_type_variable.rb,
lib/jade/frontend/type_checking/error/if_branches_type_mismatch.rb,
lib/jade/frontend/type_checking/inference/constructor_reference.rb,
lib/jade/frontend/type_checking/inference/interface_declaration.rb,
lib/jade/frontend/forward_declaration/error/tuple_arity_overflow.rb,
lib/jade/frontend/forward_declaration/interop_import_declaration.rb,
lib/jade/frontend/semantic_analysis/error/duplicate_record_field.rb,
lib/jade/frontend/type_checking/error/if_condition_type_mismatch.rb,
lib/jade/frontend/semantic_analysis/error/missing_exposing_clause.rb,
lib/jade/frontend/type_checking/error/function_body_type_mismatch.rb,
lib/jade/frontend/type_checking/error/function_call_type_mismatch.rb,
lib/jade/frontend/type_checking/error/record_access_type_mismatch.rb,
lib/jade/frontend/forward_declaration/error/exposed_type_not_found.rb,
lib/jade/frontend/forward_declaration/error/private_type_expansion.rb,
lib/jade/frontend/type_checking/error/implementation_type_mismatch.rb,
lib/jade/frontend/forward_declaration/error/exposed_value_not_found.rb,
lib/jade/frontend/semantic_analysis/error/invalid_list_rest_pattern.rb,
lib/jade/frontend/semantic_analysis/error/kwargs_on_non_constructor.rb,
lib/jade/frontend/semantic_analysis/error/predicate_must_return_bool.rb,
lib/jade/frontend/semantic_analysis/error/predicate_name_not_allowed.rb,
lib/jade/frontend/type_checking/error/case_of_branches_type_mismatch.rb,
lib/jade/frontend/type_checking/inference/interop_import_declaration.rb,
lib/jade/frontend/forward_declaration/error/unknown_extends_interface.rb,
lib/jade/frontend/semantic_analysis/error/unused_interface_type_param.rb,
lib/jade/frontend/semantic_analysis/error/duplicate_function_declaration.rb,
lib/jade/frontend/semantic_analysis/error/missing_extends_implementation.rb,
lib/jade/frontend/semantic_analysis/error/missing_implementation_function.rb,
lib/jade/frontend/semantic_analysis/error/unknown_implementation_function.rb,
lib/jade/frontend/semantic_analysis/error/constructor_pattern_arity_mismatch.rb

Defined Under Namespace

Modules: AST, Basics, Bytes, CLI, Calendar, Clock, Codegen, Decode, Diagnostics, Dict, DidYouMean, Formatter, Frontend, Interop, LSP, Lexer, ModuleLoader, Parsing, Port, Results, Runtime, Set, Stdlib, Symbol, Task, Tasks, Tuple, Type Classes: CompilationError, Compiler, Entry, Err, Error, ImportEntry, Ok, Registry, Source, TaskDef, Token

Constant Summary collapse

VERSION = 
'0.1.0'

Instance Method Summary collapse

Instance Method Details

#extension(entry_file) ⇒ Object

Convenience for extension gem entry files: registers ‘<entry>/<basename>` by convention. Pass `__FILE__` from `lib/jade-foo.rb` to register `lib/jade-foo/` as the search root.



36
37
38
 
# File 'lib/jade.rb', line 36

def extension(entry_file)
  register_extension(entry_file.delete_suffix('.rb'))
end

#extensions ⇒ Object 



40
41
42
 
# File 'lib/jade.rb', line 40

def extensions
  @extensions ||= []
end

#register_extension(root) ⇒ Object 



29
30
31
 
# File 'lib/jade.rb', line 29

def register_extension(root)
  extensions << root
end

#require(path) ⇒ Object 



48
49
50
51
52
53
54
 
# File 'lib/jade.rb', line 48

def require(path)
  @compiler ||= Compiler.new
  @compiler.require(path)
rescue CompilationError => e
  $stderr.puts Diagnostics::Renderer.new.render_all(e.diagnostics)
  exit 1
end

#setup(&block) ⇒ Object 



44
45
46
 
# File 'lib/jade.rb', line 44

def setup(&block)
  @compiler = Compiler.new(&block)
end