Class: Unmatch (Umu::ConcreteSyntax::Core::Expression::Nary::Branch::Rule::Case::Polymorph)

Overview
Module Structure
Class Hierarchy
Instance Methods
Unmatch#desugar_poly_rule / 1
is a submodule of
module: Polymorph ( Umu::ConcreteSyntax::Core::Expression::Nary::Branch::Rule::Case )
has modular siblings
class: Abstract   
class: Nil   
class: Cons   
class: Otherwise   
inherits from
  Abstract ( Umu::ConcreteSyntax::Core::Expression::Nary::Branch::Rule::Abstraction )
has class siblings
  HasHead ( Umu::ConcreteSyntax::Core::Expression::Nary::Branch::Rule::Abstraction )
  Otherwise ( Umu::ConcreteSyntax::Core::Expression::Nary::Branch::Rule::Case::Polymorph )
has properties
method: desugar_poly_rule / 1   
is defined at
#560 in concrete-syntax/core/expression/nary/branch/case/rule/polymoph.rb  

Overview

Module Structure

  module: <Toplevel Module>
  module: Umu
  module: ConcreteSyntax
  module: Core
  module: Expression
  module: Nary
  module: Branch
  module: Rule
  module: Abstraction
class: Abstract     
class: HasHead     
  module: Case
  module: Polymorph
class: Abstract     
class: Nil     
class: Cons     
class: Otherwise     
class: Unmatch     

Instance Methods

Unmatch#desugar_poly_rule / 1

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

desugar_poly_rule ( _env )