class

Heucristic::Resolve::Narrowing

Constants

FALSEY = {CoreType::Nil, CoreType::Bool, CoreType::Pointer}

new(types : Types, methods : Methods, unions : Unions)

assigning?(step : Flow::Step) : Bool

apply(current : Resolution, step : Flow::Truthy | Flow::IsA | Flow::RespondsTo, context : Syntax::Context) : Resolution

falsey(current : Resolution) : Resolution

responding(current : Resolution, method : String, positive : Bool, context : Syntax::Context) : Resolution

truthy(current : Resolution) : Resolution

typed_as(current : Resolution, types : Array(Crystal::ASTNode), positive : Bool, context : Syntax::Context) : Resolution