Top Level Namespace
Array
Dir
ExhaustivenessChecker
- BMArray
- BMInfinite
- BMNamedType
- BMTuple
- Body
- BranchMode
- Case
- CFloat
- Checkable
- CInt
- Column
- Compiler
- Constructor
- CString
- CTuple
- CVariant
- Decision
- Diagnostics
- Failure
- Guard
- List
- Match
- NonEmptyList
- PArray
- PAssign
- Pattern
- PConstructor
- PDiscard
- PEmptyArray
- PFloat
- PInt
- POr
- PString
- PTuple
- PVariable
- Row
- Success
- Switch
- TEmptyList
- Term
- TInfinite
- TList
- TTuple
- TVariant
- Type
- TypeVariable
- Variable
- Variant
File
LSP
Mint
- ArtifactCleaner
- Assets
- Ast
  - Access
    - Type
  - Argument
  - ArrayDestructuring
  - ArrayLiteral
  - Await
  - Block
  - BoolLiteral
  - BracketAccess
  - Builtin
  - Call
  - Case
  - CaseBranch
  - Comment
    - Type
  - Component
  - Connect
  - ConnectVariable
  - Constant
  - CssDefinition
  - CssFontFace
  - CssKeyframes
  - CssNestedAt
  - CssSelector
  - Dbg
  - Decode
  - Defer
  - Directives
    - Asset
    - FileBased
    - Format
    - Highlight
    - HighlightFile
    - Inline
    - Svg
  - Discard
  - Emit
  - Encode
  - Env
  - Field
  - FieldAccess
  - For
  - Function
  - Get
  - HereDocument
  - HtmlAttribute
  - HtmlComponent
  - HtmlElement
  - HtmlFragment
  - HtmlStyle
  - Id
  - If
    - Branches
  - InlineFunction
  - Interpolation
  - Js
  - Locale
  - LocaleKey
  - Map
  - MapField
  - Module
  - NegatedExpression
  - NextCall
  - Node
    - Location
    - Position
  - NumberLiteral
  - Operation
  - ParenthesizedExpression
  - Pipe
  - Property
  - Provider
  - Record
  - RecordUpdate
  - RegexpLiteral
  - ReturnCall
  - Route
  - Routes
  - Signal
  - Spread
  - State
  - Statement
  - StateSetter
  - Store
  - StringLiteral
  - Style
  - Suite
  - Test
  - TupleDestructuring
  - TupleLiteral
  - Type
  - TypeDefinition
  - TypeDefinitionField
  - TypeDestructuring
  - TypeVariable
  - TypeVariant
  - UnaryMinus
  - Use
  - Variable
- Bundler
  - Bundle
  - Config
- Check
- Cli
  - Arguments
  - Build
    - Arguments
    - Flags
  - Clean
    - Arguments
    - Flags
  - Command
  - Docs
    - Arguments
    - Flags
  - DocsJson
    - Arguments
    - Flags
  - DocsServer
    - Arguments
    - Flags
  - Flags
  - Format
    - Arguments
    - Flags
    - Status
  - Highlight
    - Arguments
    - Flags
  - Init
    - Arguments
    - Flags
  - Install
    - Arguments
    - Flags
  - Lint
    - Arguments
    - Flags
  - Loc
    - Arguments
    - Flags
  - Ls
    - Arguments
    - Flags
  - LsWebSocket
    - Arguments
    - Flags
  - Start
    - Arguments
    - Flags
  - Test
    - Arguments
    - Flags
  - Tool
    - Arguments
    - Flags
  - Version
    - Arguments
    - Flags
- Compiler
  - Asset
  - Await
  - Builtin
  - Bundle
  - Compiled
  - Decoder
  - Deferred
  - Encoder
  - Function
  - Id
  - Indent
  - Item
  - Js
  - Raw
  - Ref
  - Renderer
  - Signal
  - Variable
- Core
- CORS
- Debugger
- DocumentationGenerator
  - Argument
  - Entity
  - Flag
  - Kind
  - TopLevelEntity
- Env
- Environment
- Error
  - Bold
  - Code
  - Element
  - Snippet
  - SnippetData
  - SnippetTarget
  - Text
- Errorable
- ErrorMessage
- Formatter
  - Behavior
  - BlockFormat
  - BreakNotFits
  - BrokenString
  - Config
  - Entity
  - Group
  - Line
  - LineBreak
  - List
  - Nest
  - NestedString
  - Node
  - Nodes
  - Processed
  - Processor
  - Renderer
- Helpers
- HtmlBuilder
- IconGenerator
- Installer
  - Constraint
  - Dependency
  - FixedConstraint
  - Package
  - Repository
  - Retry
  - Semver
  - SimpleConstraint
- Logger
  - Log
- LS
  - CodeAction
    - ModuleActions
    - ProviderActions
  - Completion
  - CompletionRequest
  - Definition
  - Definitions
  - DidChange
  - DidOpen
  - Exit
  - FoldingRange
  - Formatting
  - Hover
  - Initialize
  - Sandbox
  - SandboxReset
  - SandboxUpdate
  - SemanticTokens
  - Server
  - Shutdown
  - WebSocketServer
  - WillSaveWaitUntil
- MintJson
  - Application
  - Parser
- NamePool
- Parser
  - File
- PropertyValue
- Reactor
- ReferencesTracker
  - Bundle
  - Nodes
- Render
  - Terminal
    - Block
- Scaffold
- Scope
  - Item
  - Level
  - Target
- SemanticTokenizer
  - Item
  - Token
  - TokenType
- Server
- SourceFiles
- StaticDocumentationGenerator
  - Entity
  - Kind
  - TopLevelEntity
- StyleBuilder
  - Selector
- StylePool
- TerminalSnippet
  - Line
- TestRunner
  - Browser
  - DocumentationReporter
  - DotReporter
  - Message
  - Reporter
- TimeFormat
- TypeChecker
  - Artifacts
  - Checkable
  - Comparer
  - Record
  - Type
  - Variable
  - VariableScope
- VariableCompiler
- VDOMRenderer
  - Highlight
  - Node
- Watcher
- Workspace
String

Generated using Crystal 1.14.0
2024-11-07 04:34:56 UTC

class ExhaustivenessChecker::List

Defined in:

exhaustiveness_checker.cr

Constructors

.new(non_empty : NonEmptyList, variable : Variable, empty : Decision)

Instance Method Summary

#empty : Decision
#non_empty : NonEmptyList
#variable : Variable

Constructor Detail

def self.new(non_empty : NonEmptyList, variable : Variable, empty : Decision) #

[View source]

Instance Method Detail

def empty : Decision #

def non_empty : NonEmptyList #

def variable : Variable #