Module: Case (Umu::ConcreteSyntax::Core::Expression::Nary::Branch::Rule)
Prev Chapter 3.  User Defined Modules and Classes  Next

Module: Case (Umu::ConcreteSyntax::Core::Expression::Nary::Branch::Rule)

Overview
Module Structure
Class Hierarchy
Module Functions
Case.make_poly_otherwise / 2
Case.make_poly_unmatch / 1
Case.make_rule_mono_nil / 2
Case.make_rule_mono_cons / 4
is a submodule of
module: Rule ( Umu::ConcreteSyntax::Core::Expression::Nary::Branch )
is modularized into
class: Abstract   
class: Atom   
class: Datum   
class: Class   
module: Polymorph   
class: Entry   
has modular siblings
module: Abstraction   
class: If   
class: Cond   
has properties
function: make_poly_otherwise / 2   
function: make_poly_unmatch / 1   
function: make_rule_mono_nil / 2   
function: make_rule_mono_cons / 4   
is defined at
#20 in concrete-syntax/core/expression/nary/branch/case/rule/abstract.rb  
#20 in concrete-syntax/core/expression/nary/branch/case/rule/atom.rb  
#20 in concrete-syntax/core/expression/nary/branch/case/rule/datum.rb  
#20 in concrete-syntax/core/expression/nary/branch/case/rule/class.rb  
#20 in concrete-syntax/core/expression/nary/branch/case/rule/polymoph.rb  
#20 in concrete-syntax/core/expression/nary/branch/case/rule/monomoph.rb  
#20 in concrete-syntax/core/expression/nary/branch/case/rule/entry.rb  

Overview

Module Structure
Class Hierarchy

Module Structure

  module: <Toplevel Module>
  module: Umu
  module: ConcreteSyntax
  module: Core
  module: Expression
  module: Nary
  module: Branch
  module: Rule
  module: Abstraction
  class: If
  class: Cond
✗ module: Case
  class: Abstract     
  class: Atom     
  class: Datum     
  class: Class     
  module: Polymorph     
  class: Entry     

Class Hierarchy

  Object ( Builtin-Module )
  Model ( Umu::Abstraction )
  Abstract ( Umu::ConcreteSyntax::Core::Expression::Nary::Branch::Rule::Abstraction )
  HasHead ( Umu::ConcreteSyntax::Core::Expression::Nary::Branch::Rule::Abstraction )
    If ( Umu::ConcreteSyntax::Core::Expression::Nary::Branch::Rule )   
    Cond ( Umu::ConcreteSyntax::Core::Expression::Nary::Branch::Rule )   
    Entry ( Umu::ConcreteSyntax::Core::Expression::Nary::Branch::Rule::Case )   
  Abstract ( Umu::ConcreteSyntax::Core::Expression::Nary::Branch::Rule::Case )
    Atom     
    Datum     
    Class     

Module Functions

Case.make_poly_otherwise / 2
Case.make_poly_unmatch / 1
Case.make_rule_mono_nil / 2
Case.make_rule_mono_cons / 4

Case.make_poly_otherwise / 2

#575 in concrete-syntax/core/expression/nary/branch/case/rule/polymoph.rb

make_poly_otherwise ( loc ,
  expr )

Case.make_poly_unmatch / 1

#585 in concrete-syntax/core/expression/nary/branch/case/rule/polymoph.rb

make_poly_unmatch ( loc )

Case.make_rule_mono_nil / 2

#24 in concrete-syntax/core/expression/nary/branch/case/rule/monomoph.rb

make_rule_mono_nil ( loc ,
  type_sym )

Case.make_rule_mono_cons / 4

#32 in concrete-syntax/core/expression/nary/branch/case/rule/monomoph.rb

make_rule_mono_cons ( loc ,
  head_pat ,
  tail_pat ,
  type_sym )

Prev Up Next
Class: Cond (Umu::ConcreteSyntax::Core::Expression::Nary::Branch)  Home  Class: Abstract (Umu::ConcreteSyntax::Core::Expression::Nary::Branch::Rule::Case)