├── .gitignore ├── .travis.yml ├── CHANGES.md ├── LICENSE ├── README.md ├── Rakefile ├── bin └── rdl_query ├── extras └── type_tests │ └── typetests.rb ├── gemfiles └── Gemfile.travis ├── lib ├── rdl.rb ├── rdl │ ├── boot.rb │ ├── boot_rails.rb │ ├── config.rb │ ├── contracts │ │ ├── and.rb │ │ ├── contract.rb │ │ ├── flat.rb │ │ ├── or.rb │ │ └── proc.rb │ ├── info.rb │ ├── query.rb │ ├── switch.rb │ ├── typecheck.rb │ ├── types │ │ ├── annotated_arg.rb │ │ ├── ast_node.rb │ │ ├── bot.rb │ │ ├── bound_arg.rb │ │ ├── computed.rb │ │ ├── dependent_arg.rb │ │ ├── dots_query.rb │ │ ├── dynamic.rb │ │ ├── finite_hash.rb │ │ ├── generic.rb │ │ ├── intersection.rb │ │ ├── lexer.rex │ │ ├── lexer.rex.rb │ │ ├── method.rb │ │ ├── nominal.rb │ │ ├── non_null.rb │ │ ├── optional.rb │ │ ├── parser.racc │ │ ├── parser.tab.rb │ │ ├── rdl_types.rb │ │ ├── singleton.rb │ │ ├── string.rb │ │ ├── structural.rb │ │ ├── top.rb │ │ ├── tuple.rb │ │ ├── type.rb │ │ ├── type_inferencer.rb │ │ ├── type_query.rb │ │ ├── union.rb │ │ ├── var.rb │ │ ├── vararg.rb │ │ └── wild_query.rb │ ├── util.rb │ └── wrap.rb ├── rdl_disable.rb └── types │ ├── active_record.rb │ ├── core.rb │ ├── core │ ├── _aliases.rb │ ├── abbrev.rb │ ├── array.rb │ ├── base64.rb │ ├── basic_object.rb │ ├── benchmark.rb │ ├── bigdecimal.rb │ ├── bigmath.rb │ ├── bignum.rb │ ├── class.rb │ ├── complex.rb │ ├── coverage.rb │ ├── csv.rb │ ├── date.rb │ ├── dir.rb │ ├── encoding.rb │ ├── enumerable.rb │ ├── enumerator.rb │ ├── exception.rb │ ├── file.rb │ ├── fileutils.rb │ ├── fixnum.rb │ ├── float.rb │ ├── gem.rb │ ├── hash.rb │ ├── integer.rb │ ├── io.rb │ ├── kernel.rb │ ├── marshal.rb │ ├── matchdata.rb │ ├── math.rb │ ├── module.rb │ ├── nil.rb │ ├── numeric.rb │ ├── object.rb │ ├── pathname.rb │ ├── proc.rb │ ├── process.rb │ ├── random.rb │ ├── range.rb │ ├── rational.rb │ ├── regexp.rb │ ├── set.rb │ ├── string.rb │ ├── strscan.rb │ ├── symbol.rb │ ├── time.rb │ ├── uri.rb │ └── yaml.rb │ ├── devise.rb │ ├── devise │ ├── controller_helpers.rb │ └── parameter_sanitizer.rb │ ├── pundit.rb │ ├── rails │ ├── _helpers.rb │ ├── abstract_controller │ │ └── translation.rb │ ├── action_controller │ │ ├── base.rb │ │ ├── instrumentation.rb │ │ ├── metal.rb │ │ ├── mime_responds.rb │ │ ├── parameters.rb │ │ └── strong_parameters.rb │ ├── action_dispatch │ │ ├── flashhash.rb │ │ └── routing.rb │ ├── action_mailer │ │ ├── base.rb │ │ └── message_delivery.rb │ ├── action_view │ │ ├── helpers_sanitizehelper.rb │ │ └── helpers_urlhelper.rb │ ├── active_model │ │ ├── errors.rb │ │ └── validations.rb │ ├── active_record │ │ ├── associations.rb │ │ ├── base.rb │ │ ├── comp_types.rb │ │ ├── core.rb │ │ ├── finder_methods.rb │ │ ├── model_schema.rb │ │ ├── relation.rb │ │ ├── sql-strings.rb │ │ └── validations.rb │ ├── active_support │ │ ├── base.rb │ │ ├── logger.rb │ │ ├── tagged_logging.rb │ │ ├── time_with_zone.rb │ │ └── time_zone.rb │ ├── fixnum.rb │ ├── integer.rb │ ├── rack │ │ └── request.rb │ ├── string.rb │ └── time.rb │ ├── sequel.rb │ └── sequel │ └── comp_types.rb ├── rdl.gemspec └── test ├── disabled_test_coverage.rb ├── disabled_test_rdoc.rb ├── test_alias.rb ├── test_array_types.rb ├── test_bound_types.rb ├── test_contract.rb ├── test_dsl.rb ├── test_dyn_comptype_checks.rb ├── test_generic.rb ├── test_hash_types.rb ├── test_intersection.rb ├── test_le.rb ├── test_lib_types.rb ├── test_member.rb ├── test_parser.rb ├── test_query.rb ├── test_rdl.rb ├── test_rdl_type.rb ├── test_string_types.rb ├── test_type_contract.rb ├── test_typecheck.rb ├── test_types.rb └── test_wrap.rb /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/.gitignore -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/.travis.yml -------------------------------------------------------------------------------- /CHANGES.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/CHANGES.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/README.md -------------------------------------------------------------------------------- /Rakefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/Rakefile -------------------------------------------------------------------------------- /bin/rdl_query: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/bin/rdl_query -------------------------------------------------------------------------------- /extras/type_tests/typetests.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/extras/type_tests/typetests.rb -------------------------------------------------------------------------------- /gemfiles/Gemfile.travis: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/gemfiles/Gemfile.travis -------------------------------------------------------------------------------- /lib/rdl.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/rdl.rb -------------------------------------------------------------------------------- /lib/rdl/boot.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/rdl/boot.rb -------------------------------------------------------------------------------- /lib/rdl/boot_rails.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/rdl/boot_rails.rb -------------------------------------------------------------------------------- /lib/rdl/config.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/rdl/config.rb -------------------------------------------------------------------------------- /lib/rdl/contracts/and.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/rdl/contracts/and.rb -------------------------------------------------------------------------------- /lib/rdl/contracts/contract.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/rdl/contracts/contract.rb -------------------------------------------------------------------------------- /lib/rdl/contracts/flat.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/rdl/contracts/flat.rb -------------------------------------------------------------------------------- /lib/rdl/contracts/or.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/rdl/contracts/or.rb -------------------------------------------------------------------------------- /lib/rdl/contracts/proc.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/rdl/contracts/proc.rb -------------------------------------------------------------------------------- /lib/rdl/info.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/rdl/info.rb -------------------------------------------------------------------------------- /lib/rdl/query.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/rdl/query.rb -------------------------------------------------------------------------------- /lib/rdl/switch.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/rdl/switch.rb -------------------------------------------------------------------------------- /lib/rdl/typecheck.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/rdl/typecheck.rb -------------------------------------------------------------------------------- /lib/rdl/types/annotated_arg.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/rdl/types/annotated_arg.rb -------------------------------------------------------------------------------- /lib/rdl/types/ast_node.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/rdl/types/ast_node.rb -------------------------------------------------------------------------------- /lib/rdl/types/bot.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/rdl/types/bot.rb -------------------------------------------------------------------------------- /lib/rdl/types/bound_arg.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/rdl/types/bound_arg.rb -------------------------------------------------------------------------------- /lib/rdl/types/computed.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/rdl/types/computed.rb -------------------------------------------------------------------------------- /lib/rdl/types/dependent_arg.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/rdl/types/dependent_arg.rb -------------------------------------------------------------------------------- /lib/rdl/types/dots_query.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/rdl/types/dots_query.rb -------------------------------------------------------------------------------- /lib/rdl/types/dynamic.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/rdl/types/dynamic.rb -------------------------------------------------------------------------------- /lib/rdl/types/finite_hash.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/rdl/types/finite_hash.rb -------------------------------------------------------------------------------- /lib/rdl/types/generic.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/rdl/types/generic.rb -------------------------------------------------------------------------------- /lib/rdl/types/intersection.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/rdl/types/intersection.rb -------------------------------------------------------------------------------- /lib/rdl/types/lexer.rex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/rdl/types/lexer.rex -------------------------------------------------------------------------------- /lib/rdl/types/lexer.rex.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/rdl/types/lexer.rex.rb -------------------------------------------------------------------------------- /lib/rdl/types/method.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/rdl/types/method.rb -------------------------------------------------------------------------------- /lib/rdl/types/nominal.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/rdl/types/nominal.rb -------------------------------------------------------------------------------- /lib/rdl/types/non_null.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/rdl/types/non_null.rb -------------------------------------------------------------------------------- /lib/rdl/types/optional.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/rdl/types/optional.rb -------------------------------------------------------------------------------- /lib/rdl/types/parser.racc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/rdl/types/parser.racc -------------------------------------------------------------------------------- /lib/rdl/types/parser.tab.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/rdl/types/parser.tab.rb -------------------------------------------------------------------------------- /lib/rdl/types/rdl_types.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/rdl/types/rdl_types.rb -------------------------------------------------------------------------------- /lib/rdl/types/singleton.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/rdl/types/singleton.rb -------------------------------------------------------------------------------- /lib/rdl/types/string.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/rdl/types/string.rb -------------------------------------------------------------------------------- /lib/rdl/types/structural.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/rdl/types/structural.rb -------------------------------------------------------------------------------- /lib/rdl/types/top.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/rdl/types/top.rb -------------------------------------------------------------------------------- /lib/rdl/types/tuple.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/rdl/types/tuple.rb -------------------------------------------------------------------------------- /lib/rdl/types/type.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/rdl/types/type.rb -------------------------------------------------------------------------------- /lib/rdl/types/type_inferencer.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/rdl/types/type_inferencer.rb -------------------------------------------------------------------------------- /lib/rdl/types/type_query.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/rdl/types/type_query.rb -------------------------------------------------------------------------------- /lib/rdl/types/union.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/rdl/types/union.rb -------------------------------------------------------------------------------- /lib/rdl/types/var.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/rdl/types/var.rb -------------------------------------------------------------------------------- /lib/rdl/types/vararg.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/rdl/types/vararg.rb -------------------------------------------------------------------------------- /lib/rdl/types/wild_query.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/rdl/types/wild_query.rb -------------------------------------------------------------------------------- /lib/rdl/util.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/rdl/util.rb -------------------------------------------------------------------------------- /lib/rdl/wrap.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/rdl/wrap.rb -------------------------------------------------------------------------------- /lib/rdl_disable.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/rdl_disable.rb -------------------------------------------------------------------------------- /lib/types/active_record.rb: -------------------------------------------------------------------------------- 1 | Dir[File.dirname(__FILE__) + "/rails/active_record/*.rb"].each { |f| require f } 2 | -------------------------------------------------------------------------------- /lib/types/core.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/core.rb -------------------------------------------------------------------------------- /lib/types/core/_aliases.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/core/_aliases.rb -------------------------------------------------------------------------------- /lib/types/core/abbrev.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/core/abbrev.rb -------------------------------------------------------------------------------- /lib/types/core/array.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/core/array.rb -------------------------------------------------------------------------------- /lib/types/core/base64.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/core/base64.rb -------------------------------------------------------------------------------- /lib/types/core/basic_object.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/core/basic_object.rb -------------------------------------------------------------------------------- /lib/types/core/benchmark.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/core/benchmark.rb -------------------------------------------------------------------------------- /lib/types/core/bigdecimal.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/core/bigdecimal.rb -------------------------------------------------------------------------------- /lib/types/core/bigmath.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/core/bigmath.rb -------------------------------------------------------------------------------- /lib/types/core/bignum.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/core/bignum.rb -------------------------------------------------------------------------------- /lib/types/core/class.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/core/class.rb -------------------------------------------------------------------------------- /lib/types/core/complex.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/core/complex.rb -------------------------------------------------------------------------------- /lib/types/core/coverage.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/core/coverage.rb -------------------------------------------------------------------------------- /lib/types/core/csv.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/core/csv.rb -------------------------------------------------------------------------------- /lib/types/core/date.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/core/date.rb -------------------------------------------------------------------------------- /lib/types/core/dir.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/core/dir.rb -------------------------------------------------------------------------------- /lib/types/core/encoding.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/core/encoding.rb -------------------------------------------------------------------------------- /lib/types/core/enumerable.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/core/enumerable.rb -------------------------------------------------------------------------------- /lib/types/core/enumerator.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/core/enumerator.rb -------------------------------------------------------------------------------- /lib/types/core/exception.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/core/exception.rb -------------------------------------------------------------------------------- /lib/types/core/file.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/core/file.rb -------------------------------------------------------------------------------- /lib/types/core/fileutils.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/core/fileutils.rb -------------------------------------------------------------------------------- /lib/types/core/fixnum.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/core/fixnum.rb -------------------------------------------------------------------------------- /lib/types/core/float.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/core/float.rb -------------------------------------------------------------------------------- /lib/types/core/gem.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/core/gem.rb -------------------------------------------------------------------------------- /lib/types/core/hash.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/core/hash.rb -------------------------------------------------------------------------------- /lib/types/core/integer.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/core/integer.rb -------------------------------------------------------------------------------- /lib/types/core/io.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/core/io.rb -------------------------------------------------------------------------------- /lib/types/core/kernel.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/core/kernel.rb -------------------------------------------------------------------------------- /lib/types/core/marshal.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/core/marshal.rb -------------------------------------------------------------------------------- /lib/types/core/matchdata.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/core/matchdata.rb -------------------------------------------------------------------------------- /lib/types/core/math.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/core/math.rb -------------------------------------------------------------------------------- /lib/types/core/module.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/core/module.rb -------------------------------------------------------------------------------- /lib/types/core/nil.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/core/nil.rb -------------------------------------------------------------------------------- /lib/types/core/numeric.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/core/numeric.rb -------------------------------------------------------------------------------- /lib/types/core/object.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/core/object.rb -------------------------------------------------------------------------------- /lib/types/core/pathname.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/core/pathname.rb -------------------------------------------------------------------------------- /lib/types/core/proc.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/core/proc.rb -------------------------------------------------------------------------------- /lib/types/core/process.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/core/process.rb -------------------------------------------------------------------------------- /lib/types/core/random.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/core/random.rb -------------------------------------------------------------------------------- /lib/types/core/range.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/core/range.rb -------------------------------------------------------------------------------- /lib/types/core/rational.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/core/rational.rb -------------------------------------------------------------------------------- /lib/types/core/regexp.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/core/regexp.rb -------------------------------------------------------------------------------- /lib/types/core/set.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/core/set.rb -------------------------------------------------------------------------------- /lib/types/core/string.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/core/string.rb -------------------------------------------------------------------------------- /lib/types/core/strscan.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/core/strscan.rb -------------------------------------------------------------------------------- /lib/types/core/symbol.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/core/symbol.rb -------------------------------------------------------------------------------- /lib/types/core/time.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/core/time.rb -------------------------------------------------------------------------------- /lib/types/core/uri.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/core/uri.rb -------------------------------------------------------------------------------- /lib/types/core/yaml.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/core/yaml.rb -------------------------------------------------------------------------------- /lib/types/devise.rb: -------------------------------------------------------------------------------- 1 | Dir[File.dirname(__FILE__) + "/devise/**/*.rb"].each { |f| require f } 2 | -------------------------------------------------------------------------------- /lib/types/devise/controller_helpers.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/devise/controller_helpers.rb -------------------------------------------------------------------------------- /lib/types/devise/parameter_sanitizer.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/devise/parameter_sanitizer.rb -------------------------------------------------------------------------------- /lib/types/pundit.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/pundit.rb -------------------------------------------------------------------------------- /lib/types/rails/_helpers.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/rails/_helpers.rb -------------------------------------------------------------------------------- /lib/types/rails/abstract_controller/translation.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/rails/abstract_controller/translation.rb -------------------------------------------------------------------------------- /lib/types/rails/action_controller/base.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/rails/action_controller/base.rb -------------------------------------------------------------------------------- /lib/types/rails/action_controller/instrumentation.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/rails/action_controller/instrumentation.rb -------------------------------------------------------------------------------- /lib/types/rails/action_controller/metal.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/rails/action_controller/metal.rb -------------------------------------------------------------------------------- /lib/types/rails/action_controller/mime_responds.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/rails/action_controller/mime_responds.rb -------------------------------------------------------------------------------- /lib/types/rails/action_controller/parameters.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/rails/action_controller/parameters.rb -------------------------------------------------------------------------------- /lib/types/rails/action_controller/strong_parameters.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/rails/action_controller/strong_parameters.rb -------------------------------------------------------------------------------- /lib/types/rails/action_dispatch/flashhash.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/rails/action_dispatch/flashhash.rb -------------------------------------------------------------------------------- /lib/types/rails/action_dispatch/routing.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/rails/action_dispatch/routing.rb -------------------------------------------------------------------------------- /lib/types/rails/action_mailer/base.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/rails/action_mailer/base.rb -------------------------------------------------------------------------------- /lib/types/rails/action_mailer/message_delivery.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/rails/action_mailer/message_delivery.rb -------------------------------------------------------------------------------- /lib/types/rails/action_view/helpers_sanitizehelper.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/rails/action_view/helpers_sanitizehelper.rb -------------------------------------------------------------------------------- /lib/types/rails/action_view/helpers_urlhelper.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/rails/action_view/helpers_urlhelper.rb -------------------------------------------------------------------------------- /lib/types/rails/active_model/errors.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/rails/active_model/errors.rb -------------------------------------------------------------------------------- /lib/types/rails/active_model/validations.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/rails/active_model/validations.rb -------------------------------------------------------------------------------- /lib/types/rails/active_record/associations.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/rails/active_record/associations.rb -------------------------------------------------------------------------------- /lib/types/rails/active_record/base.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/rails/active_record/base.rb -------------------------------------------------------------------------------- /lib/types/rails/active_record/comp_types.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/rails/active_record/comp_types.rb -------------------------------------------------------------------------------- /lib/types/rails/active_record/core.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/rails/active_record/core.rb -------------------------------------------------------------------------------- /lib/types/rails/active_record/finder_methods.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/rails/active_record/finder_methods.rb -------------------------------------------------------------------------------- /lib/types/rails/active_record/model_schema.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/rails/active_record/model_schema.rb -------------------------------------------------------------------------------- /lib/types/rails/active_record/relation.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/rails/active_record/relation.rb -------------------------------------------------------------------------------- /lib/types/rails/active_record/sql-strings.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/rails/active_record/sql-strings.rb -------------------------------------------------------------------------------- /lib/types/rails/active_record/validations.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/rails/active_record/validations.rb -------------------------------------------------------------------------------- /lib/types/rails/active_support/base.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/rails/active_support/base.rb -------------------------------------------------------------------------------- /lib/types/rails/active_support/logger.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/rails/active_support/logger.rb -------------------------------------------------------------------------------- /lib/types/rails/active_support/tagged_logging.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/rails/active_support/tagged_logging.rb -------------------------------------------------------------------------------- /lib/types/rails/active_support/time_with_zone.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/rails/active_support/time_with_zone.rb -------------------------------------------------------------------------------- /lib/types/rails/active_support/time_zone.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/rails/active_support/time_zone.rb -------------------------------------------------------------------------------- /lib/types/rails/fixnum.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/rails/fixnum.rb -------------------------------------------------------------------------------- /lib/types/rails/integer.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/rails/integer.rb -------------------------------------------------------------------------------- /lib/types/rails/rack/request.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/rails/rack/request.rb -------------------------------------------------------------------------------- /lib/types/rails/string.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/rails/string.rb -------------------------------------------------------------------------------- /lib/types/rails/time.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/rails/time.rb -------------------------------------------------------------------------------- /lib/types/sequel.rb: -------------------------------------------------------------------------------- 1 | Dir[File.dirname(__FILE__) + "/sequel/*.rb"].each { |f| require f } 2 | -------------------------------------------------------------------------------- /lib/types/sequel/comp_types.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/lib/types/sequel/comp_types.rb -------------------------------------------------------------------------------- /rdl.gemspec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/rdl.gemspec -------------------------------------------------------------------------------- /test/disabled_test_coverage.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/test/disabled_test_coverage.rb -------------------------------------------------------------------------------- /test/disabled_test_rdoc.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/test/disabled_test_rdoc.rb -------------------------------------------------------------------------------- /test/test_alias.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/test/test_alias.rb -------------------------------------------------------------------------------- /test/test_array_types.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/test/test_array_types.rb -------------------------------------------------------------------------------- /test/test_bound_types.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/test/test_bound_types.rb -------------------------------------------------------------------------------- /test/test_contract.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/test/test_contract.rb -------------------------------------------------------------------------------- /test/test_dsl.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/test/test_dsl.rb -------------------------------------------------------------------------------- /test/test_dyn_comptype_checks.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/test/test_dyn_comptype_checks.rb -------------------------------------------------------------------------------- /test/test_generic.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/test/test_generic.rb -------------------------------------------------------------------------------- /test/test_hash_types.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/test/test_hash_types.rb -------------------------------------------------------------------------------- /test/test_intersection.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/test/test_intersection.rb -------------------------------------------------------------------------------- /test/test_le.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/test/test_le.rb -------------------------------------------------------------------------------- /test/test_lib_types.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/test/test_lib_types.rb -------------------------------------------------------------------------------- /test/test_member.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/test/test_member.rb -------------------------------------------------------------------------------- /test/test_parser.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/test/test_parser.rb -------------------------------------------------------------------------------- /test/test_query.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/test/test_query.rb -------------------------------------------------------------------------------- /test/test_rdl.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/test/test_rdl.rb -------------------------------------------------------------------------------- /test/test_rdl_type.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/test/test_rdl_type.rb -------------------------------------------------------------------------------- /test/test_string_types.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/test/test_string_types.rb -------------------------------------------------------------------------------- /test/test_type_contract.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/test/test_type_contract.rb -------------------------------------------------------------------------------- /test/test_typecheck.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/test/test_typecheck.rb -------------------------------------------------------------------------------- /test/test_types.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/test/test_types.rb -------------------------------------------------------------------------------- /test/test_wrap.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tupl-tufts/rdl/HEAD/test/test_wrap.rb --------------------------------------------------------------------------------