Grenade.Layers.Pad

Documentation

data Pad :: Nat -> Nat -> Nat -> Nat -> * where

A padding layer for a neural network.

Pads on the X and Y dimension of an image.

Constructors

Pad :: Pad padLeft padTop padRight padBottom

Instances

Show (Pad padLeft padTop padRight padBottom)

Methods

showsPrec :: Int -> Pad padLeft padTop padRight padBottom -> ShowS

show :: Pad padLeft padTop padRight padBottom -> String

showList :: [Pad padLeft padTop padRight padBottom] -> ShowS

Serialize (Pad l t r b)

Methods

put :: Putter (Pad l t r b)

get :: Get (Pad l t r b)

UpdateLayer (Pad l t r b)

Associated Types

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

Methods

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

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

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

(KnownNat padLeft, KnownNat padTop, KnownNat padRight, KnownNat padBottom, KnownNat inputRows, KnownNat inputColumns, KnownNat outputRows, KnownNat outputColumns, (~) Nat ((+) ((+) inputRows padTop) padBottom) outputRows, (~) Nat ((+) ((+) inputColumns padLeft) padRight) outputColumns) => Layer (Pad padLeft padTop padRight padBottom) (D2 inputRows inputColumns) (D2 outputRows outputColumns)

A two dimentional image can be padped.

Associated Types

type Tape (Pad padLeft padTop padRight padBottom) (D2 inputRows inputColumns :: Shape) (D2 outputRows outputColumns :: Shape) :: *

Methods

runForwards :: Pad padLeft padTop padRight padBottom -> S (D2 inputRows inputColumns) -> (Tape (Pad padLeft padTop padRight padBottom) (D2 inputRows inputColumns) (D2 outputRows outputColumns), S (D2 outputRows outputColumns))

runBackwards :: Pad padLeft padTop padRight padBottom -> Tape (Pad padLeft padTop padRight padBottom) (D2 inputRows inputColumns) (D2 outputRows outputColumns) -> S (D2 outputRows outputColumns) -> (Gradient (Pad padLeft padTop padRight padBottom), S (D2 inputRows inputColumns))

(KnownNat padLeft, KnownNat padTop, KnownNat padRight, KnownNat padBottom, KnownNat inputRows, KnownNat inputColumns, KnownNat outputRows, KnownNat outputColumns, KnownNat channels, KnownNat (* inputRows channels), KnownNat (* outputRows channels), (~) Nat ((+) ((+) inputRows padTop) padBottom) outputRows, (~) Nat ((+) ((+) inputColumns padLeft) padRight) outputColumns) => Layer (Pad padLeft padTop padRight padBottom) (D3 inputRows inputColumns channels) (D3 outputRows outputColumns channels)

A two dimentional image can be padped.

Associated Types

type Tape (Pad padLeft padTop padRight padBottom) (D3 inputRows inputColumns channels :: Shape) (D3 outputRows outputColumns channels :: Shape) :: *

Methods

runForwards :: Pad padLeft padTop padRight padBottom -> S (D3 inputRows inputColumns channels) -> (Tape (Pad padLeft padTop padRight padBottom) (D3 inputRows inputColumns channels) (D3 outputRows outputColumns channels), S (D3 outputRows outputColumns channels))

runBackwards :: Pad padLeft padTop padRight padBottom -> Tape (Pad padLeft padTop padRight padBottom) (D3 inputRows inputColumns channels) (D3 outputRows outputColumns channels) -> S (D3 outputRows outputColumns channels) -> (Gradient (Pad padLeft padTop padRight padBottom), S (D3 inputRows inputColumns channels))

type Gradient (Pad l t r b)

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

type Tape (Pad padLeft padTop padRight padBottom) (D2 inputRows inputColumns) (D2 outputRows outputColumns)

type Tape (Pad padLeft padTop padRight padBottom) (D2 inputRows inputColumns) (D2 outputRows outputColumns) = ()

type Tape (Pad padLeft padTop padRight padBottom) (D3 inputRows inputColumns channels) (D3 outputRows outputColumns channels)

type Tape (Pad padLeft padTop padRight padBottom) (D3 inputRows inputColumns channels) (D3 outputRows outputColumns channels) = ()