Module: Rigor::Type

Defined in:

lib/rigor/type.rb,
lib/rigor/type/bot.rb,
lib/rigor/type/top.rb,
lib/rigor/type/tuple.rb,
lib/rigor/type/union.rb,
lib/rigor/type/dynamic.rb,
lib/rigor/type/nominal.rb,
lib/rigor/type/constant.rb,
lib/rigor/type/singleton.rb,
lib/rigor/type/combinator.rb,
lib/rigor/type/hash_shape.rb,
lib/rigor/type/accepts_result.rb

Overview

Documentation-only ducktype module that names the contract every Rigor type instance MUST satisfy. Concrete type classes do NOT include Rigor::Type; the ducktype is observed structurally.

See docs/internal-spec/internal-type-api.md for the binding contract.

Defined Under Namespace

Modules: Combinator Classes: AcceptsResult, Bot, Constant, Dynamic, HashShape, Nominal, Singleton, Top, Tuple, Union