Grenade.Recurrent.Layers.BasicRecurrent

Documentation

data BasicRecurrent :: Nat -> Nat -> * where

Constructors

BasicRecurrent :: (KnownNat input, KnownNat output, KnownNat matrixCols, matrixCols ~ (input + output)) => !(R output) -> !(R output) -> !(L output matrixCols) -> !(L output matrixCols) -> BasicRecurrent input output

Instances

Show (BasicRecurrent i o)

Methods

showsPrec :: Int -> BasicRecurrent i o -> ShowS

show :: BasicRecurrent i o -> String

showList :: [BasicRecurrent i o] -> ShowS

(KnownNat i, KnownNat o, KnownNat ((+) i o)) => UpdateLayer (BasicRecurrent i o)

Associated Types

type Gradient (BasicRecurrent i o) :: *

Methods

runUpdate :: LearningParameters -> BasicRecurrent i o -> Gradient (BasicRecurrent i o) -> BasicRecurrent i o

createRandom :: MonadRandom m => m (BasicRecurrent i o)

runUpdates :: LearningParameters -> BasicRecurrent i o -> [Gradient (BasicRecurrent i o)] -> BasicRecurrent i o

(KnownNat i, KnownNat o, KnownNat ((+) i o), (<=) i ((+) i o), (~) Nat o ((-) ((+) i o) i)) => RecurrentUpdateLayer (BasicRecurrent i o)

Associated Types

type RecurrentShape (BasicRecurrent i o) :: Shape

(KnownNat i, KnownNat o, KnownNat ((+) i o), (<=) i ((+) i o), (~) Nat o ((-) ((+) i o) i)) => RecurrentLayer (BasicRecurrent i o) (D1 i) (D1 o)

Associated Types

type RecTape (BasicRecurrent i o) (D1 i :: Shape) (D1 o :: Shape) :: *

Methods

runRecurrentForwards :: BasicRecurrent i o -> S (RecurrentShape (BasicRecurrent i o)) -> S (D1 i) -> (RecTape (BasicRecurrent i o) (D1 i) (D1 o), S (RecurrentShape (BasicRecurrent i o)), S (D1 o))

runRecurrentBackwards :: BasicRecurrent i o -> RecTape (BasicRecurrent i o) (D1 i) (D1 o) -> S (RecurrentShape (BasicRecurrent i o)) -> S (D1 o) -> (Gradient (BasicRecurrent i o), S (RecurrentShape (BasicRecurrent i o)), S (D1 i))

type Gradient (BasicRecurrent i o)

type Gradient (BasicRecurrent i o)

type RecurrentShape (BasicRecurrent i o)

type RecurrentShape (BasicRecurrent i o) = D1 o

type RecTape (BasicRecurrent i o) (D1 i) (D1 o)

type RecTape (BasicRecurrent i o) (D1 i) (D1 o) = (S (D1 o), S (D1 i))

randomBasicRecurrent :: (MonadRandom m, KnownNat i, KnownNat o, KnownNat x, x ~ (i + o)) => m (BasicRecurrent i o)