Documentation

data Encoder :: ([k] -> Type) -> k -> k -> Type where Source #

encode :: (RealFloat (ElemT t), Tensor t) => Encoder t i o -> t '[i] -> t '[o] Source #

decode :: (RealFloat (ElemT t), Tensor t) => Encoder t i o -> t '[o] -> t '[i] Source #

encoderNet :: Encoder t i o -> Network t i i Source #

encodeDecode :: (RealFloat (ElemT t), Tensor t) => Encoder t i o -> t '[i] -> t '[i] Source #

testEncoder :: forall t i o. (RealFloat (ElemT t), Tensor t, SingI i) => TOp '['[i], '[i]] '['[]] -> Encoder t i o -> t '[i] -> ElemT t Source #

trainEncoder :: forall t i o. (Tensor t, RealFloat (ElemT t), SingI i) => TOp '['[i], '[i]] '['[]] -> ElemT t -> t '[i] -> Encoder t i o -> Encoder t i o Source #