Grenade.Layers.Crop

Documentation

data Crop :: Nat -> Nat -> Nat -> Nat -> * where

A cropping layer for a neural network.

Constructors

Crop :: Crop cropLeft cropTop cropRight cropBottom

Instances

Show (Crop cropLeft cropTop cropRight cropBottom)

Methods

showsPrec :: Int -> Crop cropLeft cropTop cropRight cropBottom -> ShowS

show :: Crop cropLeft cropTop cropRight cropBottom -> String

showList :: [Crop cropLeft cropTop cropRight cropBottom] -> ShowS

UpdateLayer (Crop l t r b)

Associated Types

type Gradient (Crop l t r b) :: *

Methods

runUpdate :: LearningParameters -> Crop l t r b -> Gradient (Crop l t r b) -> Crop l t r b

createRandom :: MonadRandom m => m (Crop l t r b)

runUpdates :: LearningParameters -> Crop l t r b -> [Gradient (Crop l t r b)] -> Crop l t r b

(KnownNat cropLeft, KnownNat cropTop, KnownNat cropRight, KnownNat cropBottom, KnownNat inputRows, KnownNat inputColumns, KnownNat outputRows, KnownNat outputColumns, (~) Nat ((-) ((-) inputRows cropTop) cropBottom) outputRows, (~) Nat ((-) ((-) inputColumns cropLeft) cropRight) outputColumns) => Layer (Crop cropLeft cropTop cropRight cropBottom) (D2 inputRows inputColumns) (D2 outputRows outputColumns)

A two dimentional image can be cropped.

Associated Types

type Tape (Crop cropLeft cropTop cropRight cropBottom) (D2 inputRows inputColumns :: Shape) (D2 outputRows outputColumns :: Shape) :: *

Methods

runForwards :: Crop cropLeft cropTop cropRight cropBottom -> S (D2 inputRows inputColumns) -> (Tape (Crop cropLeft cropTop cropRight cropBottom) (D2 inputRows inputColumns) (D2 outputRows outputColumns), S (D2 outputRows outputColumns))

runBackwards :: Crop cropLeft cropTop cropRight cropBottom -> Tape (Crop cropLeft cropTop cropRight cropBottom) (D2 inputRows inputColumns) (D2 outputRows outputColumns) -> S (D2 outputRows outputColumns) -> (Gradient (Crop cropLeft cropTop cropRight cropBottom), S (D2 inputRows inputColumns))

(KnownNat cropLeft, KnownNat cropTop, KnownNat cropRight, KnownNat cropBottom, KnownNat inputRows, KnownNat inputColumns, KnownNat outputRows, KnownNat outputColumns, KnownNat channels, KnownNat (* inputRows channels), KnownNat (* outputRows channels), (~) Nat ((+) ((+) outputRows cropTop) cropBottom) inputRows, (~) Nat ((+) ((+) outputColumns cropLeft) cropRight) inputColumns) => Layer (Crop cropLeft cropTop cropRight cropBottom) (D3 inputRows inputColumns channels) (D3 outputRows outputColumns channels)

A two dimentional image can be cropped.

Associated Types

type Tape (Crop cropLeft cropTop cropRight cropBottom) (D3 inputRows inputColumns channels :: Shape) (D3 outputRows outputColumns channels :: Shape) :: *

Methods

runForwards :: Crop cropLeft cropTop cropRight cropBottom -> S (D3 inputRows inputColumns channels) -> (Tape (Crop cropLeft cropTop cropRight cropBottom) (D3 inputRows inputColumns channels) (D3 outputRows outputColumns channels), S (D3 outputRows outputColumns channels))

runBackwards :: Crop cropLeft cropTop cropRight cropBottom -> Tape (Crop cropLeft cropTop cropRight cropBottom) (D3 inputRows inputColumns channels) (D3 outputRows outputColumns channels) -> S (D3 outputRows outputColumns channels) -> (Gradient (Crop cropLeft cropTop cropRight cropBottom), S (D3 inputRows inputColumns channels))

type Gradient (Crop l t r b)

type Gradient (Crop l t r b) = ()

type Tape (Crop cropLeft cropTop cropRight cropBottom) (D2 inputRows inputColumns) (D2 outputRows outputColumns)

type Tape (Crop cropLeft cropTop cropRight cropBottom) (D2 inputRows inputColumns) (D2 outputRows outputColumns) = ()

type Tape (Crop cropLeft cropTop cropRight cropBottom) (D3 inputRows inputColumns channels) (D3 outputRows outputColumns channels)

type Tape (Crop cropLeft cropTop cropRight cropBottom) (D3 inputRows inputColumns channels) (D3 outputRows outputColumns channels) = ()