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

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

is a submodule of

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

has modular siblings

inherits from

Model ( Umu::Abstraction )

is inherited by

`HasHead`	(	`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` )

has class siblings

`Abstract`	(	`Umu::Lexical::Token::Abstraction` )
`Abstract`	(	`Umu::ConcreteSyntax` )
`Abstract`	(	`Umu::ConcreteSyntax::Module::Declaration::Import::Fields` )
`Abstract`	(	`Umu::ConcreteSyntax::Module::Pattern` )
`Abstract`	(	`Umu::ConcreteSyntax::Core::Expression::Unary::Container::Comprehension::Qualifier` )
`Abstract`	(	`Umu::ConcreteSyntax::Core::Expression::Nary::Branch::Rule::Case` )
`Abstract`	(	`Umu::ConcreteSyntax::Core::Pattern` )
`Label`	(	`Umu::ConcreteSyntax::Core::Pattern::Container::Product::Named` )
`Abstract`	(	`Umu::AbstractSyntax` )
`Abstract`	(	`Umu::AbstractSyntax::Core::Expression::Binary::Product::Operator::Abstraction` )
`Message`	(	`Umu::AbstractSyntax::Core::Expression::Binary::Send` )
`Rule`	(	`Umu::AbstractSyntax::Core::Expression::Nary::If` )
`Parameter`	(	`Umu::AbstractSyntax::Core::Expression::Nary::Lambda` )

has properties

method:	`line_num`
method:	`desugar_poly_rule` / 1

is defined at

#22 in concrete-syntax/core/expression/nary/branch/abstraction.rb

Overview

Module Structure
Class Hierarchy

Module Structure

module: <Toplevel Module>

module: Umu

module: Lexical

module: Token

module: Abstraction

module: ConcreteSyntax

class: Abstract

module: Module

module: Declaration

module: Import

module: Fields

module: Pattern

module: Core

module: Expression

module: Unary

module: Container

module: Comprehension

module: Qualifier

module: Nary

module: Branch

module: Rule

module: Abstraction

✗	class:	`Abstract`
	class:	`HasHead`

module: Case

class: Abstract

module: Polymorph

	class:	`Otherwise`
	class:	`Unmatch`

module: Pattern

class: Abstract

module: Container

module: Product

module: Named

module: AbstractSyntax

class: Abstract

module: Core

module: Expression

module: Binary

module: Product

module: Operator

module: Abstraction

module: Send

module: Nary

module: If

module: Lambda

module: Abstraction

Class Hierarchy

Object ( Builtin-Module )

Model ( Umu::Abstraction )

has properties

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

Abstract ( Umu::Lexical::Token::Abstraction )

Abstract ( Umu::ConcreteSyntax )

Abstract ( Umu::ConcreteSyntax::Module::Declaration::Import::Fields )

Abstract ( Umu::ConcreteSyntax::Module::Pattern )

Abstract ( Umu::ConcreteSyntax::Core::Expression::Unary::Container::Comprehension::Qualifier )

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

has properties

method:	`line_num`
method:	`desugar_poly_rule` / 1

`HasHead`
`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 )

Abstract ( Umu::ConcreteSyntax::Core::Pattern )

Label ( Umu::ConcreteSyntax::Core::Pattern::Container::Product::Named )

Abstract ( Umu::AbstractSyntax )

Abstract ( Umu::AbstractSyntax::Core::Expression::Binary::Product::Operator::Abstraction )

Message ( Umu::AbstractSyntax::Core::Expression::Binary::Send )

Rule ( Umu::AbstractSyntax::Core::Expression::Nary::If )

Parameter ( Umu::AbstractSyntax::Core::Expression::Nary::Lambda )

Instance Methods

Abstract#line_num
Abstract#desugar_poly_rule / 1

Abstract#line_num

#23 in concrete-syntax/core/expression/nary/branch/abstraction.rb

line_num

Abstract#desugar_poly_rule / 1

#28 in concrete-syntax/core/expression/nary/branch/abstraction.rb

desugar_poly_rule ( _env )

Prev	Up	Next
Module: Abstraction (Umu::ConcreteSyntax::Core::Expression::Nary::Branch::Rule)	Home	Class: HasHead (Umu::ConcreteSyntax::Core::Expression::Nary::Branch::Rule::Abstraction)