Grenade.Layers.Reshape

Documentation

data Reshape

Reshape Layer

The Reshape layer can flatten any 2D or 3D image to 1D vector with the same number of activations, as well as cast up from 1D to a 2D or 3D shape.

Can also be used to turn a 3D image with only one channel into a 2D image or vice versa.

Constructors

Reshape

Instances

Show Reshape

Methods

showsPrec :: Int -> Reshape -> ShowS

show :: Reshape -> String

showList :: [Reshape] -> ShowS

Serialize Reshape

Methods

put :: Putter Reshape

get :: Get Reshape

UpdateLayer Reshape

Associated Types

type Gradient Reshape :: *

Methods

runUpdate :: LearningParameters -> Reshape -> Gradient Reshape -> Reshape

createRandom :: MonadRandom m => m Reshape

runUpdates :: LearningParameters -> Reshape -> [Gradient Reshape] -> Reshape

(KnownNat a, KnownNat x, KnownNat y, (~) Nat a (* x y)) => Layer Reshape (D1 a) (D2 x y)

Associated Types

type Tape Reshape (D1 a :: Shape) (D2 x y :: Shape) :: *

Methods

runForwards :: Reshape -> S (D1 a) -> (Tape Reshape (D1 a) (D2 x y), S (D2 x y))

runBackwards :: Reshape -> Tape Reshape (D1 a) (D2 x y) -> S (D2 x y) -> (Gradient Reshape, S (D1 a))

(KnownNat a, KnownNat x, KnownNat y, KnownNat (* x z), KnownNat z, (~) Nat a (* (* x y) z)) => Layer Reshape (D1 a) (D3 x y z)

Associated Types

type Tape Reshape (D1 a :: Shape) (D3 x y z :: Shape) :: *

Methods

runForwards :: Reshape -> S (D1 a) -> (Tape Reshape (D1 a) (D3 x y z), S (D3 x y z))

runBackwards :: Reshape -> Tape Reshape (D1 a) (D3 x y z) -> S (D3 x y z) -> (Gradient Reshape, S (D1 a))

(KnownNat a, KnownNat x, KnownNat y, (~) Nat a (* x y)) => Layer Reshape (D2 x y) (D1 a)

Associated Types

type Tape Reshape (D2 x y :: Shape) (D1 a :: Shape) :: *

Methods

runForwards :: Reshape -> S (D2 x y) -> (Tape Reshape (D2 x y) (D1 a), S (D1 a))

runBackwards :: Reshape -> Tape Reshape (D2 x y) (D1 a) -> S (D1 a) -> (Gradient Reshape, S (D2 x y))

(KnownNat y, KnownNat x, KnownNat z, (~) Nat z 1) => Layer Reshape (D2 x y) (D3 x y z)

Associated Types

type Tape Reshape (D2 x y :: Shape) (D3 x y z :: Shape) :: *

Methods

runForwards :: Reshape -> S (D2 x y) -> (Tape Reshape (D2 x y) (D3 x y z), S (D3 x y z))

runBackwards :: Reshape -> Tape Reshape (D2 x y) (D3 x y z) -> S (D3 x y z) -> (Gradient Reshape, S (D2 x y))

(KnownNat a, KnownNat x, KnownNat y, KnownNat (* x z), KnownNat z, (~) Nat a (* (* x y) z)) => Layer Reshape (D3 x y z) (D1 a)

Associated Types

type Tape Reshape (D3 x y z :: Shape) (D1 a :: Shape) :: *

Methods

runForwards :: Reshape -> S (D3 x y z) -> (Tape Reshape (D3 x y z) (D1 a), S (D1 a))

runBackwards :: Reshape -> Tape Reshape (D3 x y z) (D1 a) -> S (D1 a) -> (Gradient Reshape, S (D3 x y z))

(KnownNat y, KnownNat x, KnownNat z, (~) Nat z 1) => Layer Reshape (D3 x y z) (D2 x y)

Associated Types

type Tape Reshape (D3 x y z :: Shape) (D2 x y :: Shape) :: *

Methods

runForwards :: Reshape -> S (D3 x y z) -> (Tape Reshape (D3 x y z) (D2 x y), S (D2 x y))

runBackwards :: Reshape -> Tape Reshape (D3 x y z) (D2 x y) -> S (D2 x y) -> (Gradient Reshape, S (D3 x y z))

type Gradient Reshape

type Gradient Reshape = ()

type Tape Reshape (D1 a) (D2 x y)

type Tape Reshape (D1 a) (D2 x y) = ()

type Tape Reshape (D1 a) (D3 x y z)

type Tape Reshape (D1 a) (D3 x y z) = ()

type Tape Reshape (D2 x y) (D1 a)

type Tape Reshape (D2 x y) (D1 a) = ()

type Tape Reshape (D2 x y) (D3 x y z)

type Tape Reshape (D2 x y) (D3 x y z) = ()

type Tape Reshape (D3 x y z) (D1 a)

type Tape Reshape (D3 x y z) (D1 a) = ()

type Tape Reshape (D3 x y z) (D2 x y)

type Tape Reshape (D3 x y z) (D2 x y) = ()