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

Overview
Module Structure
Class Hierarchy
Instance Aliases
Datum#tag_sym
Instance Attributes
Datum#opt_contents_pat [R]
Instance Methods
Datum#initialize / 3
Datum#type_sym
Datum#to_s
Datum#pretty_print / 1
Datum#desugar_for_rule / 2
is a submodule of
module: Case ( Umu::ConcreteSyntax::Core::Expression::Nary::Branch::Rule )
has modular siblings
class: Abstract   
class: Atom   
class: Class   
module: Polymorph   
class: Entry   
inherits from
  Abstract ( Umu::ConcreteSyntax::Core::Expression::Nary::Branch::Rule::Case )
has class siblings
  Atom ( Umu::ConcreteSyntax::Core::Expression::Nary::Branch::Rule::Case )
  Class ( Umu::ConcreteSyntax::Core::Expression::Nary::Branch::Rule::Case )
  Abstract ( Umu::ConcreteSyntax::Core::Expression::Nary::Branch::Rule::Case::Polymorph )
has properties
alias: tag_sym obj   
attribute: opt_contents_pat [R]   
method: initialize / 3   
method: type_sym   
method: to_s   
method: pretty_print / 1   
method: desugar_for_rule / 2   
is defined at
#22 in concrete-syntax/core/expression/nary/branch/case/rule/datum.rb  

Overview

Module Structure

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

Instance Aliases

Instance Attributes

Instance Methods

Datum#initialize / 3

#26 in concrete-syntax/core/expression/nary/branch/case/rule/datum.rb

initialize ( loc ,
  tag_sym ,
  opt_contents_pat )

Datum#pretty_print / 1

#54 in concrete-syntax/core/expression/nary/branch/case/rule/datum.rb

pretty_print ( q )

Datum#desugar_for_rule / 2

#64 in concrete-syntax/core/expression/nary/branch/case/rule/datum.rb

desugar_for_rule ( env ,
  case_expr )