kernel_shape.bend checks
raw source on the hub · import stelliferous@0.0.2.0/kernel_shape.bend as Kernel_shape
Natural dimensions at the validation boundary, before any machine narrowing. Convolution specifications and public tensor metadata use the same envelope.
2 imports
import Base import ./machine_limits.bend as Machine
Types
type Dimensions source · line 6 · raw
Data
Dimensions@input_channels:Nat -> @output_channels:Nat -> @height:Nat -> @width:Nat -> @kernel:Nat -> @stride:Nat -> @padding:Nat -> Dimensions
Definitions
def axis_size source · line 9 · raw
@+size:Nat -> @+kernel:Nat -> @stride:Nat -> @+padding:Nat -> Nat
def valid source · line 12 · raw
@shape:Dimensions -> @input_length:Nat -> @weight_length:Nat -> @bias_length:Nat -> Bool
def direct_bounds source · line 19 · raw
@+dimension:U32 -> @+capacity:U32 -> @+coordinate:U32 -> @shape:Dimensions -> @input_length:Nat -> @weight_length:Nat -> Bool
def packed_bounds source · line 31 · raw
@dimension:U32 -> @+capacity:U32 -> @coordinate:U32 -> @+shape:Dimensions -> @input_length:Nat -> @weight_length:Nat -> Bool
def supports_direct source · line 41 · raw
@limits:0x9be3b13bf249759bc81e1958bcd1a4c0/machine_limits.Limits -> @shape:Dimensions -> @input_length:Nat -> @weight_length:Nat -> Bool
Never duplicate the Limits owner: its Facts field depends on its values.
def supports_packed source · line 45 · raw
@limits:0x9be3b13bf249759bc81e1958bcd1a4c0/machine_limits.Limits -> @shape:Dimensions -> @input_length:Nat -> @weight_length:Nat -> Bool