Method List
-
#== Finitio::HeadingBasedType
-
#== Finitio::StructType
-
#== Finitio::Constraint
-
#== Finitio::HighOrderType
-
#== Finitio::CollectionType
-
#== Finitio::UnionType
-
#== Finitio::BuiltinType
-
#== Finitio::SubType
-
#== Finitio::AdType
-
#== Finitio::AnyType
-
#== Finitio::Heading
-
#== Finitio::Contract
-
#== Finitio::Attribute
-
#== Finitio::Type
-
#=== Finitio::Constraint
-
#[] Finitio::HeadingBasedType
-
#[] Finitio::SubType
-
#[] Finitio::AdType
-
#[] Finitio::Heading
-
#_free_variables Finitio::Syntax::Expr::OOCall
-
#_free_variables Finitio::Syntax::Expr
-
#_free_variables Finitio::Syntax::Expr::Identifier
-
#_free_variables Finitio::Syntax::Expr::FnCall
-
#_free_variables Finitio::Syntax::Expr::Parenthesized
-
#_free_variables Finitio::Syntax::Expr::LogicNot
-
#_free_variables Finitio::Syntax::Expr::ArithOp
-
#_free_variables Finitio::Syntax::Expr::UnaryMinusOp
-
#_free_variables Finitio::Syntax::Expr::Comparison
-
#_free_variables Finitio::Syntax::Expr::Literal
-
#_free_variables Finitio::Syntax::Expr::LogicDyadic
-
#_suppremum Finitio::AnyType
-
#add_import Finitio::Compilation
-
#add_import Finitio::System
-
#add_type Finitio::System
-
#adt Finitio::TypeFactory
-
#allow_extra Finitio::Heading
-
#allow_extra? Finitio::Heading
-
#allow_extra? Finitio::Syntax::Heading
-
#anonymous? Finitio::Constraint
-
#anonymous? Finitio::Type
-
#any Finitio::TypeFactory
-
ast Finitio::Syntax
-
#ast Finitio
-
#attribute Finitio::TypeFactory
-
#attributes Finitio::TypeFactory
-
#attributes Finitio::Syntax::Heading
-
#bind_ruby_type Finitio::Contract
-
#builtin Finitio::TypeFactory
-
#call Finitio::Generation::Heuristic::Constant
-
#call Finitio::Generation
-
#call Finitio::Generation::Heuristic::Random
-
#call Finitio::Inference
-
#candidates Finitio::UnionType
-
#capture Finitio::Syntax::Node::ClassHelpers
-
#capture_str Finitio::Syntax::Node::ClassHelpers
-
#cause Finitio::Error
-
#check_and_warn Finitio::System
-
#clear_saved_systems! Finitio
-
coerce Finitio::Compilation
-
#collection_size Finitio::Generation
-
compare_attrs Finitio::Support
-
#compile Finitio::Syntax::HeadingExtra
-
#compile Finitio::Syntax::Constraints
-
#compile Finitio::Syntax::MainType
-
#compile Finitio::Syntax::StructType
-
#compile Finitio::Syntax::Definitions
-
#compile Finitio::Syntax::AdType
-
#compile Finitio::Syntax::Attribute
-
#compile Finitio::Syntax::TupleType
-
#compile Finitio::Syntax::Expression
-
#compile Finitio::Syntax::HighOrderVars
-
#compile Finitio::Syntax::NamedConstraint
-
#compile Finitio::Syntax::AnyType
-
#compile Finitio::Syntax::LambdaExpr
-
compile Finitio::Syntax
-
#compile Finitio::Syntax::UnionType
-
#compile Finitio::Syntax::Heading
-
#compile Finitio::Syntax::SetType
-
#compile Finitio::Syntax::UnnamedConstraint
-
#compile Finitio::Syntax::TypeRef
-
#compile Finitio::Syntax::ExternalPair
-
#compile Finitio::Syntax::TypeDef
-
#compile Finitio::Syntax::SeqType
-
#compile Finitio::Syntax::Imports
-
#compile Finitio::Syntax::Import
-
#compile Finitio::Syntax::System
-
#compile Finitio::Syntax::InlinePair
-
#compile Finitio::Syntax::RelationType
-
#compile Finitio::Syntax::Contract
-
#compile Finitio::Syntax::BuiltinType
-
#compile Finitio::Syntax::SubType
-
#compile Finitio::Syntax::HighOrderTypeInstantiation
-
#compile Finitio::Syntax::ConstraintDef
-
#compile_contracts Finitio::Syntax::AdType
-
#compile_pair Finitio::Syntax::Contract
-
compile_type Finitio::Syntax
-
#component_types Finitio::StructType
-
#constraint Finitio::TypeFactory
-
#constraints Finitio::TypeFactory
-
#constraints Finitio::SubType
-
#contract Finitio::TypeFactory
-
#contract_names Finitio::AdType
-
#contracts Finitio::AdType
-
#contracts Finitio::TypeFactory
-
#deeper Finitio::DressHelper
-
#default_error_message Finitio::DressHelper
-
#default_name Finitio::SubType
-
#default_name Finitio::RelationType
-
#default_name Finitio::SetType
-
#default_name Finitio::SeqType
-
#default_name Finitio::StructType
-
#default_name Finitio::AnyType
-
#default_name Finitio::AdType
-
#default_name Finitio::MultiRelationType
-
#default_name Finitio::HighOrderType
-
#default_name Finitio::UnionType
-
#default_name Finitio::BuiltinType
-
#default_name Finitio::TupleType
-
#default_name Finitio::Type
-
#default_name Finitio::AliasType
-
#default_name Finitio::ProxyType
-
#default_name Finitio::MultiTupleType
-
#defn Finitio::HighOrderType
-
#dress Finitio::SeqType
-
#dress Finitio::SetType
-
#dress Finitio::AnyType
-
#dress Finitio::AdType
-
#dress Finitio::UnionType
-
#dress Finitio::StructType
-
#dress Finitio::SubType
-
#dress Finitio::System
-
#dress Finitio::HashBasedType
-
#dress Finitio::RelBasedType
-
#dress Finitio::Type
-
#dress Finitio::BuiltinType
-
#dresser Finitio::Contract
-
#dup Finitio::System
-
#each Finitio::Heading
-
#elm_type Finitio::CollectionType
-
#empty? Finitio::Heading
-
#factory Finitio::System
-
#factory Finitio::Compilation
-
#fail! Finitio::DressHelper
-
#failed! Finitio::DressHelper
-
#fetch Finitio::System
-
#fetch Finitio::Compilation
-
#fetch Finitio::FetchScope
-
#fetch Finitio::Heading
-
#fetch_on Finitio::Attribute
-
#flip_coin Finitio::Generation
-
#flip_one_out_of Finitio::Generation
-
#free_variables Finitio::Syntax::Expr
-
#generate_data Finitio::UnionType
-
#generate_data Finitio::BuiltinType
-
#generate_data Finitio::AnyType
-
#generate_data Finitio::SetType
-
#generate_data Finitio::SubType
-
#generate_data Finitio::RelBasedType
-
#generate_data Finitio::SeqType
-
#generate_data Finitio::HashBasedType
-
#generate_data Finitio::AliasType
-
#generate_data Finitio::AdType
-
#generators Finitio::Generation
-
#get_type Finitio::System
-
#hash Finitio::Attribute
-
#hash Finitio::HeadingBasedType
-
#hash Finitio::AnyType
-
#hash Finitio::AdType
-
#hash Finitio::Constraint
-
#hash Finitio::CollectionType
-
#hash Finitio::StructType
-
#hash Finitio::Heading
-
#hash Finitio::Contract
-
#hash Finitio::BuiltinType
-
#hash Finitio::UnionType
-
#hash Finitio::SubType
-
#heading Finitio::TypeFactory
-
#heading Finitio::HeadingBasedType
-
#heuristic Finitio::Generation
-
#imports Finitio::Compilation
-
#include? Finitio::StructType
-
#include? Finitio::HashBasedType
-
#include? Finitio::UnionType
-
#include? Finitio::BuiltinType
-
#include? Finitio::RelBasedType
-
#include? Finitio::SetType
-
#include? Finitio::SeqType
-
#include? Finitio::AnyType
-
#include? Finitio::AdType
-
#include? Finitio::SubType
-
#include? Finitio::Type
-
included Finitio::Syntax::Node
-
included Finitio::Syntax::Expr
-
#infotype Finitio::Contract
-
#initialize Finitio::StructType
-
#initialize Finitio::Contract
-
#initialize Finitio::CollectionType
-
#initialize Finitio::UnionType
-
#initialize Finitio::TupleType
-
#initialize Finitio::ProxyType
-
#initialize Finitio::AliasType
-
#initialize Finitio::DressHelper
-
#initialize Finitio::Heading
-
#initialize Finitio::SubType
-
#initialize Finitio::HighOrderType
-
#initialize Finitio::AnyType
-
#initialize Finitio::AdType
-
#initialize Finitio::Generation
-
#initialize Finitio::Inference
-
#initialize Finitio::System
-
#initialize Finitio::TypeError
-
#initialize Finitio::Error
-
#initialize Finitio::Type
-
#initialize Finitio::HeadingBasedType
-
#initialize Finitio::FetchScope
-
#initialize Finitio::Constraint
-
#initialize Finitio::RelationType
-
#initialize Finitio::BuiltinType
-
#initialize Finitio::Attribute
-
#initialize Finitio::Compilation
-
#inspect Finitio::System
-
#instantiate Finitio::HighOrderType
-
#is_stdlib_source? Finitio
-
#iterate Finitio::DressHelper
-
#just_try Finitio::DressHelper
-
#location Finitio::DressHelper
-
#location Finitio::TypeError
-
#looks_similar? Finitio::Heading
-
#main Finitio::System
-
#metadata Finitio::Metadata
-
#metadata Finitio::Syntax::Node
-
#metadata Finitio::TypeFactory
-
#metadata= Finitio::Metadata
-
#metadata? Finitio::Metadata
-
#multi? Finitio::Heading
-
#multi? Finitio::Syntax::Heading
-
#multi_relation Finitio::TypeFactory
-
#multi_tuple Finitio::TypeFactory
-
#name Finitio::Contract
-
#name Finitio::Type
-
#name Finitio::TypeFactory
-
#name Finitio::Constraint
-
#name Finitio::Attribute
-
#name= Finitio::Type
-
#named? Finitio::Type
-
#named? Finitio::Constraint
-
new Finitio::ProcWithCode
-
#optional? Finitio::Syntax::Attribute
-
#optional? Finitio::Attribute
-
#options Finitio::Generation
-
#parse Finitio::System
-
parse Finitio::Syntax
-
#parse Finitio
-
#proxy Finitio::TypeFactory
-
#relation Finitio::TypeFactory
-
#representator Finitio::StructType
-
#representator Finitio::UnionType
-
#representator Finitio::SubType
-
#representator Finitio::SetType
-
#representator Finitio::SeqType
-
#representator Finitio::AnyType
-
#representator Finitio::RelBasedType
-
#representator Finitio::HashBasedType
-
#required Finitio::Attribute
-
#required? Finitio::Syntax::Attribute
-
#resolve_proxies Finitio::Contract
-
#resolve_proxies Finitio::UnionType
-
#resolve_proxies Finitio::ProxyType
-
#resolve_proxies Finitio::AliasType
-
#resolve_proxies Finitio::Heading
-
#resolve_proxies Finitio::SubType
-
#resolve_proxies Finitio::AnyType
-
#resolve_proxies Finitio::AdType
-
#resolve_proxies Finitio::System
-
#resolve_proxies Finitio::Type
-
#resolve_proxies Finitio::Compilation
-
#resolve_proxies Finitio::HighOrderType
-
#resolve_proxies Finitio::HeadingBasedType
-
#resolve_proxies Finitio::BuiltinType
-
#resolve_proxies Finitio::Attribute
-
#resolve_proxies Finitio::StructType
-
#resolve_proxies Finitio::CollectionType
-
#resolve_relative_url Finitio::Compilation
-
#resolve_ruby_const Finitio::Syntax::Node
-
#resolve_url Finitio::Compilation
-
#root_cause Finitio::Error
-
#ruby_type Finitio::TypeFactory
-
#ruby_type Finitio::BuiltinType
-
#ruby_type Finitio::AdType
-
#scope Finitio::Compilation
-
#seq Finitio::TypeFactory
-
#set Finitio::TypeFactory
-
#size Finitio::Heading
-
#source Finitio::Compilation
-
#stdlib_path Finitio
-
#struct Finitio::TypeFactory
-
#subtype Finitio::TypeFactory
-
#super_type Finitio::SubType
-
#suppremum Finitio::MultiRelationType
-
#suppremum Finitio::RelationType
-
#suppremum Finitio::HighOrderType
-
#suppremum Finitio::UnionType
-
#suppremum Finitio::TupleType
-
#suppremum Finitio::HeadingBasedType
-
#suppremum Finitio::MultiTupleType
-
#suppremum Finitio::Heading
-
#suppremum Finitio::AnyType
-
#suppremum Finitio::Type
-
#suppremum Finitio::CollectionType
-
#system Finitio::Compilation
-
#system Finitio::Inference
-
#system Finitio
-
#target Finitio::ProxyType
-
#target Finitio::AliasType
-
#target_name Finitio::ProxyType
-
#to_ast Finitio::Syntax::HighOrderTypeInstantiation
-
#to_ast Finitio::Syntax::MainType
-
#to_ast Finitio::Syntax::Heading
-
#to_ast Finitio::Syntax::UnnamedConstraint
-
#to_ast Finitio::Syntax::TupleType
-
#to_ast Finitio::Syntax::AdType
-
#to_ast Finitio::Syntax::SubType
-
#to_ast Finitio::Syntax::Definitions
-
#to_ast Finitio::Syntax::HeadingExtra
-
#to_ast Finitio::Syntax::UnionType
-
#to_ast Finitio::Syntax::ExternalPair
-
#to_ast Finitio::Syntax::Imports
-
#to_ast Finitio::Syntax::NamedConstraint
-
#to_ast Finitio::Syntax::InlinePair
-
#to_ast Finitio::Syntax::System
-
#to_ast Finitio::Syntax::Import
-
#to_ast Finitio::Syntax::RelationType
-
#to_ast Finitio::Syntax::BuiltinType
-
#to_ast Finitio::Syntax::ConstraintDef
-
#to_ast Finitio::Syntax::LambdaExpr
-
#to_ast Finitio::Syntax::HighOrderVars
-
#to_ast Finitio::Syntax::TypeRef
-
#to_ast Finitio::Syntax::TypeDef
-
#to_ast Finitio::Syntax::SetType
-
#to_ast Finitio::Syntax::SeqType
-
#to_ast Finitio::Syntax::Contract
-
#to_ast Finitio::Syntax::AnyType
-
#to_ast Finitio::Syntax::StructType
-
#to_ast Finitio::Syntax::Constraints
-
#to_ast Finitio::Syntax::Attribute
-
#to_json_schema Finitio::SubType
-
#to_json_schema Finitio::SetType
-
#to_json_schema Finitio::AnyType
-
#to_json_schema Finitio::SeqType
-
#to_json_schema Finitio::StructType
-
#to_json_schema Finitio::AdType
-
#to_json_schema Finitio::HashBasedType
-
#to_json_schema Finitio::RelBasedType
-
#to_json_schema Finitio::BuiltinType
-
#to_json_schema Finitio::UnionType
-
#to_json_schema Finitio::AliasType
-
#to_json_schema Finitio::ProxyType
-
#to_name Finitio::Attribute
-
#to_name Finitio::Heading
-
#to_proc Finitio::Syntax::Expr
-
#to_proc_source Finitio::Syntax::Expr::FnCall
-
#to_proc_source Finitio::Syntax::Expr::Literal
-
#to_proc_source Finitio::Syntax::Expr::OOCall
-
#to_proc_source Finitio::Syntax::Expr::UnaryMinusOp
-
#to_proc_source Finitio::Syntax::Expr::Parenthesized
-
#to_proc_source Finitio::Syntax::Expr
-
#to_proc_source Finitio::Syntax::Expr::Identifier
-
#to_proc_source Finitio::Syntax::Expr::Comparison
-
#to_proc_source Finitio::Syntax::Expr::LogicNot
-
#to_proc_source Finitio::Syntax::Expr::ArithOp
-
#to_proc_source Finitio::Syntax::Expr::LogicDyadic
-
#to_proc_src Finitio::Syntax::Expr
-
#to_ruby Finitio::Syntax::Literal
-
to_s Finitio::Version
-
#to_s Finitio::Type
-
#try Finitio::DressHelper
-
#tuple Finitio::TypeFactory
-
#type Finitio::TypeFactory
-
#type Finitio::Attribute
-
#types Finitio::System
-
#unconstrained Finitio::Attribute
-
#unconstrained Finitio::StructType
-
#unconstrained Finitio::Contract
-
#unconstrained Finitio::UnionType
-
#unconstrained Finitio::AliasType
-
#unconstrained Finitio::ProxyType
-
#unconstrained Finitio::Heading
-
#unconstrained Finitio::SubType
-
#unconstrained Finitio::AdType
-
#unconstrained Finitio::Type
-
#unconstrained Finitio::CollectionType
-
#unconstrained Finitio::HeadingBasedType
-
#unconstrained Finitio::HighOrderType
-
#undresser Finitio::Contract
-
#union Finitio::TypeFactory
-
#unique_names! Finitio::Syntax::Node
-
#value Finitio::Syntax::Literal::Real
-
#value Finitio::Syntax::MetadataAttr
-
#value Finitio::Syntax::Literal::Boolean
-
#value Finitio::Syntax::Literal::Integer
-
#value Finitio::Syntax::Literal::String
-
#value Finitio::Syntax::Metadata
-
#vars Finitio::HighOrderType
-
#with Finitio::FetchScope
-
#with_scope Finitio::Compilation