git.iko.soy/grenade
on master help sign in
Use the same proof for 2D and 3D crops
46a1d83Huw Campbell
src/Grenade/Layers/Crop.hs+2−2
compare with master
unifiedsplit
@@ -51,8 +51,8 @@ instance ( KnownNat cropLeft
51 , KnownNat inputColumns
51 , KnownNat inputColumns
52 , KnownNat outputRows
52 , KnownNat outputRows
53 , KnownNat outputColumns
53 , KnownNat outputColumns
54− , (inputRows - cropTop - cropBottom) ~ outputRows
54+ , (outputRows + cropTop + cropBottom) ~ inputRows
55− , (inputColumns - cropLeft - cropRight) ~ outputColumns
55+ , (outputColumns + cropLeft + cropRight) ~ inputColumns
56 ) => Layer (Crop cropLeft cropTop cropRight cropBottom) ('D2 inputRows inputColumns) ('D2 outputRows outputColumns) where
56 ) => Layer (Crop cropLeft cropTop cropRight cropBottom) ('D2 inputRows inputColumns) ('D2 outputRows outputColumns) where
57 type Tape (Crop cropLeft cropTop cropRight cropBottom) ('D2 inputRows inputColumns) ('D2 outputRows outputColumns) = ()
57 type Tape (Crop cropLeft cropTop cropRight cropBottom) ('D2 inputRows inputColumns) ('D2 outputRows outputColumns) = ()
58 runForwards Crop (S2D input) =
58 runForwards Crop (S2D input) =