ExhaustivenessChecker
Macros
Nested types
- ExhaustivenessChecker::BMArray
- ExhaustivenessChecker::BMInfinite
- ExhaustivenessChecker::BMNamedType
- ExhaustivenessChecker::BMTuple
- ExhaustivenessChecker::Body
- ExhaustivenessChecker::BranchMode
- ExhaustivenessChecker::CTuple
- ExhaustivenessChecker::CValue
- ExhaustivenessChecker::CVariant
- ExhaustivenessChecker::Case
- ExhaustivenessChecker::Checkable
- ExhaustivenessChecker::Column
- ExhaustivenessChecker::Compiler
- ExhaustivenessChecker::Constructor
- ExhaustivenessChecker::Decision
- ExhaustivenessChecker::Diagnostics
- ExhaustivenessChecker::Failure
- ExhaustivenessChecker::Guard
- ExhaustivenessChecker::List
- ExhaustivenessChecker::Match
- ExhaustivenessChecker::NonEmptyList
- ExhaustivenessChecker::PArray
- ExhaustivenessChecker::PAssign
- ExhaustivenessChecker::PConstructor
- ExhaustivenessChecker::PDiscard
- ExhaustivenessChecker::PEmptyArray
- ExhaustivenessChecker::POr
- ExhaustivenessChecker::PTuple
- ExhaustivenessChecker::PValue
- ExhaustivenessChecker::PVariable
- ExhaustivenessChecker::Pattern
- ExhaustivenessChecker::Row
- ExhaustivenessChecker::Success
- ExhaustivenessChecker::Switch
- ExhaustivenessChecker::TEmptyList
- ExhaustivenessChecker::TInfinite
- ExhaustivenessChecker::TList
- ExhaustivenessChecker::TRecord
- ExhaustivenessChecker::TTuple
- ExhaustivenessChecker::TVariant
- ExhaustivenessChecker::Term
- ExhaustivenessChecker::Type
- ExhaustivenessChecker::TypeVariable
- ExhaustivenessChecker::Variable
- ExhaustivenessChecker::Variant