Safe Haskell	None
Language	Haskell98

Grenade.Recurrent.Layers.BasicRecurrent

Documentation

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

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) Source #
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) Source #
Associated Types type Gradient (BasicRecurrent i o) :: * Source # Methods runUpdate :: LearningParameters -> BasicRecurrent i o -> Gradient (BasicRecurrent i o) -> BasicRecurrent i o Source # createRandom :: MonadRandom m => m (BasicRecurrent i o) Source # runUpdates :: LearningParameters -> BasicRecurrent i o -> [Gradient (BasicRecurrent i o)] -> BasicRecurrent i o Source #
(KnownNat i, KnownNat o, KnownNat ((+) i o), (<=) i ((+) i o), (~) Nat o ((-) ((+) i o) i)) => RecurrentUpdateLayer (BasicRecurrent i o) Source #
Associated Types type RecurrentShape (BasicRecurrent i o) :: Shape Source #
(KnownNat i, KnownNat o, KnownNat ((+) i o), (<=) i ((+) i o), (~) Nat o ((-) ((+) i o) i)) => RecurrentLayer (BasicRecurrent i o) (D1 i) (D1 o) Source #
Associated Types type RecTape (BasicRecurrent i o) (D1 i :: Shape) (D1 o :: Shape) :: * Source # 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)) Source # 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)) Source #
type Gradient (BasicRecurrent i o) Source #
type Gradient (BasicRecurrent i o)
type RecurrentShape (BasicRecurrent i o) Source #
type RecurrentShape (BasicRecurrent i o) = D1 o
type RecTape (BasicRecurrent i o) (D1 i) (D1 o) Source #
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) Source #