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

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

is a submodule of

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

has modular siblings

class:	`Abstract`
class:	`Nil`
class:	`Otherwise`
class:	`Unmatch`

inherits from

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

has class siblings

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

has properties

attribute:	`head_pat` [R]
attribute:	`tail_pat` [R]
method:	`initialize` / 4
method:	`type_sym`
method:	`to_s`
method:	`pretty_print` / 1

is defined at

#494 in concrete-syntax/core/expression/nary/branch/case/rule/polymoph.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: Case

module: Polymorph

	class:	`Abstract`
	class:	`Nil`
✗	class:	`Cons`
	class:	`Otherwise`
	class:	`Unmatch`

Class Hierarchy

Object ( Builtin-Module )

Model ( Umu::Abstraction )

has properties

attribute:	`loc` [R]
method:	`initialize` / 1
method:	`to_s`

Abstract ( Umu::ConcreteSyntax::Core::Expression::Nary::Branch::Rule::Abstraction )

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

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

has properties

attribute:	`obj` [R]
method:	`initialize` / 2
method:	`type_sym`
method:	`__escape_string_format__` / 1

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

has properties

alias:	`opt_body_type_sym` ⇐ `obj`
method:	`initialize` / 2
method:	`desugar_for_rule` / 2
method:	`__fold_rules__` / 1
method:	`__classify_pattern__` / 7
method:	`__make_expression__` / 8
method:	`__make_expression_has_cons__` / 8
method:	`__make_expression_has_not_cons__` / 5
method:	`__make_value_morph__` / 4

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

✗ Cons ( Umu::ConcreteSyntax::Core::Expression::Nary::Branch::Rule::Case::Polymorph )

has properties

attribute:	`head_pat` [R]
attribute:	`tail_pat` [R]
method:	`initialize` / 4
method:	`type_sym`
method:	`to_s`
method:	`pretty_print` / 1

`initialize` (	`loc` ,
	`head_pat` ,
	`tail_pat` ,
	`opt_body_type_sym` )

Cons#type_sym

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

type_sym

Cons#to_s

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

to_s

Cons#pretty_print / 1

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

pretty_print ( q )

Prev	Up	Next
Class: Nil (Umu::ConcreteSyntax::Core::Expression::Nary::Branch::Rule::Case::Polymorph)	Home	Class: Otherwise (Umu::ConcreteSyntax::Core::Expression::Nary::Branch::Rule::Case::Polymorph)