class ExhaustivenessChecker::Column

Overview

A column in a pattern matching table.

A column contains a single variable to test, and a pattern to test against that variable. A row may contain multiple columns, though this wouldn't be exposed to the source language (it's an implementation detail)

x is the varaible, Just(a) is the pattern:

case x { Just(a) => ... }

Defined in:

exhaustiveness_checker.cr

Constructors

Instance Method Summary

Constructor Detail

def self.new(variable : ExhaustivenessChecker::Variable, pattern : ExhaustivenessChecker::PArray | ExhaustivenessChecker::PAssign | ExhaustivenessChecker::PConstructor | ExhaustivenessChecker::PDiscard | ExhaustivenessChecker::PEmptyArray | ExhaustivenessChecker::PFloat | ExhaustivenessChecker::PInt | ExhaustivenessChecker::POr | ExhaustivenessChecker::PString | ExhaustivenessChecker::PTuple | ExhaustivenessChecker::PVariable) #

[View source]

Instance Method Detail

def pattern : Pattern #

[View source]
def variable : Variable #

[View source]