Table of Contents - contracts-0.14.0 Documentation

Classes/Modules

• Contract
• ContractBaseError
• ContractError
• Contracts
• Contracts::Builtin
• Contracts::Builtin::And
• Contracts::Builtin::Any
• Contracts::Builtin::Args
• Contracts::Builtin::Bool
• Contracts::Builtin::CallableClass
• Contracts::Builtin::CollectionOf
• Contracts::Builtin::CollectionOf::Factory
• Contracts::Builtin::DescendantOf
• Contracts::Builtin::Enum
• Contracts::Builtin::Eq
• Contracts::Builtin::Exactly
• Contracts::Builtin::Func
• Contracts::Builtin::HashOf
• Contracts::Builtin::Int
• Contracts::Builtin::KeywordArgs
• Contracts::Builtin::Maybe
• Contracts::Builtin::Nat
• Contracts::Builtin::NatPos
• Contracts::Builtin::Neg
• Contracts::Builtin::None
• Contracts::Builtin::Not
• Contracts::Builtin::Num
• Contracts::Builtin::Optional
• Contracts::Builtin::Or
• Contracts::Builtin::Pos
• Contracts::Builtin::RangeOf
• Contracts::Builtin::RespondTo
• Contracts::Builtin::Send
• Contracts::Builtin::StrictHash
• Contracts::Builtin::Xor
• Contracts::CallWith
• Contracts::ContractsNotIncluded
• Contracts::Core
• Contracts::Decorator
• Contracts::Engine
• Contracts::Engine::Base
• Contracts::Engine::Eigenclass
• Contracts::Engine::Target
• Contracts::Formatters
• Contracts::Formatters::ClassInspectWrapper
• Contracts::Formatters::Expected
• Contracts::Formatters::InspectWrapper
• Contracts::Formatters::ObjectInspectWrapper
• Contracts::Invariants
• Contracts::Invariants::Invariant
• Contracts::Invariants::InvariantExtension
• Contracts::MethodDecorators
• Contracts::MethodHandler
• Contracts::MethodReference
• Contracts::SingletonMethodReference
• Contracts::Support
• Contracts::Support::target;
• Contracts::Validators
• InvariantError
• ParamContractError
• PatternMatchingError
• ReturnContractError

Methods

• ::[] — Contracts::Builtin::CallableClass
• ::_valid? — Contracts::Builtin::Optional
• ::applied? — Contracts::Engine::Base
• ::apply — Contracts::Engine::Base
• ::base_engine — Contracts::Engine
• ::common — Contracts::Invariants
• ::common — Contracts::Core
• ::contract_id — Contracts::Support
• ::create — Contracts::Formatters::InspectWrapper
• ::eigenclass? — Contracts::Support
• ::eigenclass_hierarchy_supported? — Contracts::Support
• ::eigenclass_of — Contracts::Support
• ::extended — Contracts::Invariants
• ::extended — Contracts::Core
• ::extended — Contracts::MethodDecorators
• ::extended — Contracts
• ::failure_callback — Contract
• ::failure_callback — Contracts::Invariants::Invariant
• ::failure_msg — Contracts::Invariants::Invariant
• ::failure_msg — Contract
• ::fetch_failure_callback — Contract
• ::fetch_from — Contracts::Engine::Base
• ::included — Contracts::Core
• ::included — Contracts
• ::included — Contracts::Invariants
• ::inherited — Contracts::Decorator
• ::lift — Contracts::Engine::Eigenclass
• ::method_name — Contracts::Support
• ::method_position — Contracts::Support
• ::module_eigenclass? — Contracts::Support
• ::new — Contracts::Builtin::StrictHash
• ::new — Contracts::Builtin::And
• ::new — Contracts::Builtin::Or
• ::new — Contracts::Formatters::InspectWrapper
• ::new — Contracts::Builtin::RespondTo
• ::new — Contracts::Decorator
• ::new — Contract
• ::new — Contracts::Builtin::Send
• ::new — Contracts::Builtin::Func
• ::new — Contracts::Builtin::Maybe
• ::new — Contracts::Builtin::Exactly
• ::new — Contracts::Engine::Base
• ::new — Contracts::Builtin::Optional
• ::new — Contracts::Builtin::Enum
• ::new — Contracts::Engine::Target
• ::new — Contracts::Builtin::Eq
• ::new — Contracts::Builtin::DescendantOf
• ::new — ContractBaseError
• ::new — Contracts::Builtin::Not
• ::new — Contracts::ContractsNotIncluded
• ::new — Contracts::Builtin::KeywordArgs
• ::new — Contracts::Builtin::CollectionOf
• ::new — Contracts::Formatters::Expected
• ::new — Contracts::MethodReference
• ::new — Contracts::Builtin::CollectionOf::Factory
• ::new — Contracts::Builtin::Xor
• ::new — Contracts::Invariants::Invariant
• ::new — Contracts::Builtin::Args
• ::new — Contracts::MethodHandler
• ::new — Contracts::Builtin::HashOf
• ::new — Contracts::Builtin::RangeOf
• ::override_failure_callback — Contract
• ::restore_failure_callback — Contract
• ::unique_id — Contracts::Support
• ::valid? — Contracts::Builtin::NatPos
• ::valid? — Contracts::Builtin::Any
• ::valid? — Contracts::Builtin::Nat
• ::valid? — Contracts::Builtin::Bool
• ::valid? — Contracts::Builtin::Int
• ::valid? — Contract
• ::valid? — Contracts::Builtin::Neg
• ::valid? — Contracts::Builtin::Num
• ::valid? — Contracts::Builtin::Pos
• ::valid? — Contracts::Builtin::None
• #[] — Contract
• #[] — Contracts::Builtin::CollectionOf::Factory
• #_method_type — Contracts::MethodHandler
• #add_method_decorator — Contracts::Engine::Base
• #alias_target — Contracts::MethodReference
• #alias_target — Contracts::SingletonMethodReference
• #aliased_name — Contracts::MethodReference
• #all_decorators — Contracts::Engine::Eigenclass
• #all_decorators — Contracts::Engine::Base
• #applied? — Contracts::Engine::Target
• #apply — Contracts::Engine::Target
• #apply_to_eigenclass — Contracts::Engine::Target
• #array_contract — Contracts::Formatters::Expected
• #call — Contract
• #call_with — Contracts::CallWith
• #check_on — Contracts::Invariants::Invariant
• #clean_memoized_validators — Contracts::Validators
• #clear_decorators — Contracts::Engine::Base
• #construct_unique_name — Contracts::MethodReference
• #contract — Contracts::Formatters::Expected
• #custom_to_s? — Contracts::Formatters::ClassInspectWrapper
• #custom_to_s? — Contracts::Formatters::ObjectInspectWrapper
• #decorate — Contracts::Engine::Base
• #decorated_methods — Contracts::MethodHandler
• #decorated_methods — Contracts::Engine::Base
• #decorated_methods? — Contracts::Engine::Base
• #decorated_methods_for — Contracts::Engine::Base
• #decorator — Contracts::MethodHandler
• #decorator_args — Contracts::MethodHandler
• #decorator_class — Contracts::MethodHandler
• #decorators — Contracts::MethodHandler
• #decorators — Contracts::Engine::Base
• #delim — Contracts::Formatters::InspectWrapper
• #eigenclass — Contracts::Engine::Base
• #eigenclass — Contracts::Engine::Target
• #eigenclass_engine — Contracts::Engine::Base
• #empty_to_s? — Contracts::Formatters::InspectWrapper
• #empty_val? — Contracts::Formatters::InspectWrapper
• #engine — Contracts::MethodHandler
• #engine — Contracts::Engine::Target
• #engine? — Contracts::MethodHandler
• #ensure_within_opt_hash — Contracts::Builtin::Optional
• #expected — Contracts::Invariants::Invariant
• #failure_exception — Contract
• #formatted_contract — Contracts::Builtin::Optional
• #full? — Contracts::Formatters::InspectWrapper
• #functype — Contracts::Core
• #handle — Contracts::MethodHandler
• #hash_contract — Contracts::Formatters::Expected
• #ignore_decorators? — Contracts::MethodHandler
• #include_proc? — Contracts::Builtin::Maybe
• #inherited — Contracts::MethodDecorators
• #inspect — Contracts::Builtin::KeywordArgs
• #inspect — Contracts::Builtin::DescendantOf
• #inspect — Contracts::Formatters::InspectWrapper
• #inspect — Contracts::Builtin::Optional
• #invariant — Contracts::Invariants::InvariantExtension
• #invariants — Contracts::Invariants::InvariantExtension
• #make_alias — Contracts::MethodReference
• #make_definition — Contracts::MethodReference
• #make_private — Contracts::MethodReference
• #make_protected — Contracts::MethodReference
• #make_validator — Contracts::Validators
• #make_validator! — Contracts::Validators
• #mark_pattern_matching_decorators — Contracts::MethodHandler
• #maybe_append_block! — Contract
• #maybe_append_options! — Contract
• #meaningless_eigenclass? — Contracts::Engine::Target
• #memoized_validators — Contracts::Validators
• #method_added — Contracts::MethodDecorators
• #method_position — Contracts::MethodReference
• #method_reference — Contracts::MethodHandler
• #method_type — Contracts::MethodHandler
• #nearest_decorated_ancestor — Contracts::Engine::Base
• #new — Contracts::Builtin::CollectionOf::Factory
• #override_validator — Contracts::Validators
• #owner? — Contracts::Engine::Eigenclass
• #pattern_match! — Contract
• #pattern_match? — Contract
• #pattern_matching? — Contracts::MethodHandler
• #plain? — Contracts::Formatters::InspectWrapper
• #pop_decorators — Contracts::Engine::Base
• #pretty_contract — Contract
• #private? — Contracts::MethodReference
• #private? — Contracts::SingletonMethodReference
• #protected? — Contracts::MethodReference
• #protected? — Contracts::SingletonMethodReference
• #raw_method — Contracts::MethodHandler
• #redefine_method — Contracts::MethodHandler
• #reset_validators — Contracts::Validators
• #restore_validators — Contracts::Validators
• #send_to — Contracts::MethodReference
• #set_eigenclass_owner — Contracts::Engine::Base
• #set_eigenclass_owner — Contracts::Engine::Eigenclass
• #singleton_method_added — Contracts::MethodDecorators
• #strip_prefix — Contracts::Formatters::InspectWrapper
• #to_contract_error — PatternMatchingError
• #to_contract_error — ContractBaseError
• #to_contract_error — InvariantError
• #to_s — Contracts::Builtin::Args
• #to_s — Contracts::Builtin::DescendantOf
• #to_s — Contracts::Builtin::Exactly
• #to_s — Contracts::Builtin::Not
• #to_s — Contracts::Builtin::Send
• #to_s — Contracts::Builtin::Or
• #to_s — Contracts::Builtin::Xor
• #to_s — Contract
• #to_s — Contracts::Builtin::RangeOf
• #to_s — Contracts::Builtin::CollectionOf
• #to_s — Contracts::Builtin::RespondTo
• #to_s — Contracts::Builtin::Eq
• #to_s — Contracts::Builtin::And
• #to_s — Contracts::Builtin::KeywordArgs
• #to_s — Contracts::Builtin::Optional
• #to_s — Contracts::Formatters::InspectWrapper
• #to_s — Contracts::Builtin::HashOf
• #useful_inspect — Contracts::Formatters::ClassInspectWrapper
• #useful_inspect — Contracts::Formatters::ObjectInspectWrapper
• #useful_to_s? — Contracts::Formatters::InspectWrapper
• #valid? — Contracts::Builtin::Not
• #valid? — Contracts::Builtin::RespondTo
• #valid? — Contracts::Builtin::Send
• #valid? — Contracts::Builtin::Xor
• #valid? — Contracts::Builtin::KeywordArgs
• #valid? — Contracts::Builtin::HashOf
• #valid? — Contracts::Builtin::Exactly
• #valid? — Contracts::Builtin::Enum
• #valid? — Contracts::Builtin::Or
• #valid? — Contracts::Builtin::Eq
• #valid? — Contracts::Builtin::And
• #valid? — Contracts::Builtin::CollectionOf
• #valid? — Contracts::Builtin::DescendantOf
• #valid? — Contracts::Builtin::RangeOf
• #valid? — Contracts::Builtin::Optional
• #valid? — Contracts::Builtin::StrictHash
• #validate! — Contracts::Engine::Eigenclass
• #validate! — Contracts::Engine::Base
• #validate_decorators! — Contracts::MethodHandler
• #validate_hash — Contracts::Builtin::HashOf
• #validate_pattern_matching! — Contracts::MethodHandler
• #validator_strategies — Contracts::Validators
• #verify_invariants! — Contracts::Invariants
• #within_opt_hash! — Contracts::Builtin::Optional