Skip to content

Crystal

ProcInstanceType

class `Crystal::ProcInstanceType`
inherits `Crystal::GenericClassInstanceType` ¶

An instantiated proc type like Proc(Int32, Char)

Class methods¶

`.new(program, arg_types, return_type)` ¶

Methods¶

`#arg_types : Array(Type)` ¶

`#compatible_with?(other : ProcInstanceType)` ¶

`#implements?(other : Type)` ¶

`#nil_type?(node, context)` ¶

`#restrict(other : ProcNotation, context)` ¶

`#restrict(other : ProcInstanceType, context)` ¶

`#restrict(other : Generic, context)` ¶

`#return_type : Type` ¶

`#struct?` ¶

Returns true if this type is a struct.

`#to_s_with_options(io : IO, skip_union_parens : Bool = false, generic_args : Bool = true, codegen : Bool = false) : Nil` ¶