Module: Core (Umu::Value)

Overview
Module Structure
Class Hierarchy
Constants
Core::UNIT
Module Functions
Core.make_class / 1
Core.make_pi
Core.make_e
Core.make_struct_field / 2
Core.make_struct / 1
Core.make_opaque / 1
Core.make_unit
Core.make_true
Core.make_false
Core.make_bool / 1
Core.make_number / 2
Core.make_integer / 1
Core.make_integer_zero
Core.make_integer_one
Core.make_float / 1
Core.make_nan
Core.make_infinity
Core.make_string / 1
Core.make_symbol / 1
Core.make_tuple / 3
Core.make_named_tuple / 4
Core.make_datum / 2
Core.make_none
Core.make_some / 1
Core.make_ok / 1
Core.make_err / 1
Core.make_interval / 3
Core.make_enumerator / 2
Core.make_user_enumerator / 2
Core.make_nil
Core.make_cons / 2
Core.make_list / 2
Core.make_cell_stream_nil / 1
Core.make_cell_stream_cons / 3
Core.make_cell_stream_entry / 2
Core.make_expr_stream_entry / 2
Core.make_memo_stream_nil / 1
Core.make_memo_stream_entry / 2
Core.make_suspended_stream / 2
Core.make_interval_stream / 4
Core.make_s_expr_nil
Core.make_s_expr_value / 1
Core.make_s_expr_cons / 2
Core.make_function / 2
Core.make_reference / 1
Core.make_suspension / 2
Core.make_input / 1
Core.make_output / 1
Core.make_dir / 1
Core.validate_bool / 4
Core.validate_string / 4
Core.validate_number / 4
Core.validate_int / 4
Core.validate_pair / 4
Core.validate_option / 4
Core.validate_morph / 4
Core.validate_stream / 4
Core.validate_s_expr / 4
Core.validate_type / 5
is a submodule of
module: Value ( Umu )
is modularized into
class: Top   
class: Class   
class: Device   
class: Math   
module: Struct   
class: Opaque   
class: Object   
class: Unit   
module: Atom   
module: Product   
module: Union   
module: Morph   
module: SExpr   
class: Fun   
class: Ref   
class: Susp   
module: IO   
class: Dir   
has properties
function: make_class / 1   
function: make_pi   
function: make_e   
function: make_struct_field / 2   
function: make_struct / 1   
function: make_opaque / 1   
constant: UNIT   
function: make_unit   
function: make_true   
function: make_false   
function: make_bool / 1   
function: make_number / 2   
function: make_integer / 1   
function: make_integer_zero   
function: make_integer_one   
function: make_float / 1   
function: make_nan   
function: make_infinity   
function: make_string / 1   
function: make_symbol / 1   
function: make_tuple / 3   
function: make_named_tuple / 4   
function: make_datum / 2   
function: make_none   
function: make_some / 1   
function: make_ok / 1   
function: make_err / 1   
function: make_interval / 3   
function: make_enumerator / 2   
function: make_user_enumerator / 2   
function: make_nil   
function: make_cons / 2   
function: make_list / 2   
function: make_cell_stream_nil / 1   
function: make_cell_stream_cons / 3   
function: make_cell_stream_entry / 2   
function: make_expr_stream_entry / 2   
function: make_memo_stream_nil / 1   
function: make_memo_stream_entry / 2   
function: make_suspended_stream / 2   
function: make_interval_stream / 4   
function: make_s_expr_nil   
function: make_s_expr_value / 1   
function: make_s_expr_cons / 2   
function: make_function / 2   
function: make_reference / 1   
function: make_suspension / 2   
function: make_input / 1   
function: make_output / 1   
function: make_dir / 1   
function: validate_bool / 4   
function: validate_string / 4   
function: validate_number / 4   
function: validate_int / 4   
function: validate_pair / 4   
function: validate_option / 4   
function: validate_morph / 4   
function: validate_stream / 4   
function: validate_s_expr / 4   
function: validate_type / 5   
is defined at
#10 in value/core/top.rb  
#10 in value/core/class.rb  
#10 in value/core/device.rb  
#10 in value/core/math.rb  
#10 in value/core/struct.rb  
#10 in value/core/opaque.rb  
#10 in value/core/object.rb  
#10 in value/core/unit.rb  
#10 in value/core/atom/abstract.rb  
#10 in value/core/atom/bool.rb  
#10 in value/core/atom/number/abstract.rb  
#10 in value/core/atom/number/int.rb  
#10 in value/core/atom/number/float.rb  
#10 in value/core/atom/string.rb  
#10 in value/core/atom/symbol.rb  
#10 in value/core/product/abstract.rb  
#10 in value/core/product/tuple.rb  
#10 in value/core/product/named-tuple.rb  
#10 in value/core/union/abstract.rb  
#10 in value/core/union/datum.rb  
#10 in value/core/union/option.rb  
#10 in value/core/union/result.rb  
#10 in value/core/morph/abstract.rb  
#10 in value/core/morph/interval.rb  
#10 in value/core/morph/enumerator.rb  
#10 in value/core/morph/list.rb  
#10 in value/core/morph/stream/cell.rb  
#10 in value/core/morph/stream/entry.rb  
#12 in value/core/s-expression.rb  
#10 in value/core/function.rb  
#10 in value/core/reference.rb  
#10 in value/core/suspension.rb  
#10 in value/core/io.rb  
#10 in value/core/dir.rb  
#10 in value/core/validate-type.rb  
#47 in common/constant.rb  

Overview

Module Structure

  module: <Toplevel Module>
  module: Umu
  module: Value
✗ module: Core
class: Top     
class: Class     
class: Device     
class: Math     
module: Struct     
class: Opaque     
class: Object     
class: Unit     
module: Atom     
module: Product     
module: Union     
module: Morph     
module: SExpr     
class: Fun     
class: Ref     
class: Susp     
module: IO     
class: Dir     

Class Hierarchy

Object ( Builtin-Module )
Top ( Umu::Value::Core )
Class ( Umu::Value::Core )
Device ( Umu::Value::Core )
Math ( Umu::Value::Core )
Opaque ( Umu::Value::Core )
Object ( Umu::Value::Core )
  Unit     
  Fun     
  Ref     
  Susp     
  Dir     

Constants

Core::UNIT

#40 in value/core/unit.rb

UNIT = Unit.new.freeze   

Module Functions

Core.make_class / 1

#46 in value/core/class.rb

make_class ( class_signat )

Core.make_pi

#256 in value/core/math.rb

make_pi

Core.make_e

#261 in value/core/math.rb

make_e

Core.make_struct_field / 2

#118 in value/core/struct.rb

make_struct_field ( label ,
  value )

Core.make_struct / 1

#126 in value/core/struct.rb

make_struct ( value_by_label )

Core.make_opaque / 1

#42 in value/core/opaque.rb

make_opaque ( obj )

Core.make_unit

#45 in value/core/unit.rb

make_unit

Core.make_true

#118 in value/core/atom/bool.rb

make_true

Core.make_false

#123 in value/core/atom/bool.rb

make_false

Core.make_bool / 1

#128 in value/core/atom/bool.rb

make_bool ( val )

Core.make_number / 2

#260 in value/core/atom/number/abstract.rb

make_number ( klass ,
  val )

Core.make_integer / 1

#219 in value/core/atom/number/int.rb

make_integer ( val )

Core.make_integer_zero

#226 in value/core/atom/number/int.rb

make_integer_zero

Core.make_integer_one

#231 in value/core/atom/number/int.rb

make_integer_one

Core.make_float / 1

#260 in value/core/atom/number/float.rb

make_float ( val )

Core.make_nan

#267 in value/core/atom/number/float.rb

make_nan

Core.make_infinity

#272 in value/core/atom/number/float.rb

make_infinity

Core.make_string / 1

#101 in value/core/atom/string.rb

make_string ( val )

Core.make_symbol / 1

#73 in value/core/atom/symbol.rb

make_symbol ( val )

Core.make_tuple / 3

#133 in value/core/product/tuple.rb

make_tuple ( fst_value ,
  snd_value ,
  *tail_values )

Core.make_named_tuple / 4

#242 in value/core/product/named-tuple.rb

make_named_tuple ( index_by_label ,
  fst_value ,
  snd_value ,
  *tail_values )

Core.make_datum / 2

#138 in value/core/union/datum.rb

make_datum ( tag_sym ,
  contents )

Core.make_none

#151 in value/core/union/option.rb

make_none

Core.make_some / 1

#156 in value/core/union/option.rb

make_some ( contents )

Core.make_ok / 1

#123 in value/core/union/result.rb

make_ok ( contents )

Core.make_err / 1

#130 in value/core/union/result.rb

make_err ( contents )

Core.make_interval / 3

#152 in value/core/morph/interval.rb

make_interval ( start_value ,
  stop_value ,
  step_value = VC.make_integer_one )

Core.make_enumerator / 2

#181 in value/core/morph/enumerator.rb

make_enumerator ( source ,
  dest )

Core.make_user_enumerator / 2

#189 in value/core/morph/enumerator.rb

make_user_enumerator ( source ,
  fn_dest )

Core.make_nil

#178 in value/core/morph/list.rb

make_nil

Core.make_cons / 2

#183 in value/core/morph/list.rb

make_cons ( head ,
  tail )

Core.make_list / 2

#191 in value/core/morph/list.rb

make_list ( xs ,
  tail = VC.make_nil )

Core.make_cell_stream_nil / 1

#940 in value/core/morph/stream/entry.rb

make_cell_stream_nil ( va_context )

Core.make_cell_stream_cons / 3

#950 in value/core/morph/stream/entry.rb

make_cell_stream_cons ( head_expr ,
  tail_stream ,
  va_context )

Core.make_cell_stream_entry / 2

#962 in value/core/morph/stream/entry.rb

make_cell_stream_entry ( cell ,
  va_context )

Core.make_expr_stream_entry / 2

#970 in value/core/morph/stream/entry.rb

make_expr_stream_entry ( expr ,
  va_context )

Core.make_memo_stream_nil / 1

#980 in value/core/morph/stream/entry.rb

make_memo_stream_nil ( va_context )

Core.make_memo_stream_entry / 2

#991 in value/core/morph/stream/entry.rb

make_memo_stream_entry ( stream_expr ,
  va_context )

Core.make_suspended_stream / 2

#1001 in value/core/morph/stream/entry.rb

make_suspended_stream ( expr ,
  va_context )

Core.make_interval_stream / 4

#1011 in value/core/morph/stream/entry.rb

make_interval_stream ( current_value ,
  opt_stop_value ,
  step_value ,
  va_context )

Core.make_s_expr_nil

#468 in value/core/s-expression.rb

make_s_expr_nil

Core.make_s_expr_value / 1

#473 in value/core/s-expression.rb

make_s_expr_value ( val )

Core.make_s_expr_cons / 2

#480 in value/core/s-expression.rb

make_s_expr_cons ( car ,
  cdr )

Core.make_function / 2

#251 in value/core/function.rb

make_function ( lam ,
  va_context )

Core.make_reference / 1

#74 in value/core/reference.rb

make_reference ( val )

Core.make_suspension / 2

#64 in value/core/suspension.rb

make_suspension ( expr ,
  va_context )

Core.make_input / 1

#161 in value/core/io.rb

make_input ( io )

Core.make_output / 1

#168 in value/core/io.rb

make_output ( io )

Core.make_dir / 1

#82 in value/core/dir.rb

make_dir ( obj )

Core.validate_bool / 4

#16 in value/core/validate-type.rb

validate_bool ( value ,
  meth_name ,
  loc ,
  env )

Core.validate_string / 4

#26 in value/core/validate-type.rb

validate_string ( value ,
  meth_name ,
  loc ,
  env )

Core.validate_number / 4

#36 in value/core/validate-type.rb

validate_number ( value ,
  meth_name ,
  loc ,
  env )

Core.validate_int / 4

#46 in value/core/validate-type.rb

validate_int ( value ,
  meth_name ,
  loc ,
  env )

Core.validate_pair / 4

#58 in value/core/validate-type.rb

validate_pair ( pair ,
  meth_name ,
  loc ,
  env )

Core.validate_option / 4

#81 in value/core/validate-type.rb

validate_option ( value ,
  meth_name ,
  loc ,
  env )

Core.validate_morph / 4

#93 in value/core/validate-type.rb

validate_morph ( value ,
  meth_name ,
  loc ,
  env )

Core.validate_stream / 4

#105 in value/core/validate-type.rb

validate_stream ( value ,
  meth_name ,
  loc ,
  env )

Core.validate_s_expr / 4

#119 in value/core/validate-type.rb

validate_s_expr ( value ,
  meth_name ,
  loc ,
  env )

Core.validate_type / 5

#131 in value/core/validate-type.rb

validate_type ( actual_value ,
  expected_type ,
  meth_name ,
  loc ,
  env )