mxnet-0.2.0.0: MXNet interface in Haskell.

Copyright(c) 2016-2017 Tao He
LicenseMIT
Maintainersighingnow@gmail.com
Safe HaskellNone
LanguageHaskell2010

MXNet.Core.Base.Symbol

Description

Symbol module.

Synopsis

Documentation

newtype Symbol a Source #

Type alias for variable.

Constructors

Symbol 

Instances

Neural Symbol Source # 

Methods

fullyConnected :: DType a => Symbol a -> Symbol a -> Symbol a -> Int -> IO (Symbol a) Source #

correlation :: DType a => Symbol a -> Symbol a -> IO (Symbol a) Source #

activation :: DType a => Symbol a -> String -> IO (Symbol a) Source #

leakyReLU :: DType a => Symbol a -> String -> IO (Symbol a) Source #

softmaxActivation :: DType a => Symbol a -> IO (Symbol a) Source #

dropout :: DType a => Symbol a -> Float -> IO (Symbol a) Source #

batchNorm :: DType a => Symbol a -> Symbol a -> Symbol a -> Symbol a -> Symbol a -> IO (Symbol a) Source #

instanceNorm :: DType a => Symbol a -> Symbol a -> Symbol a -> Float -> IO (Symbol a) Source #

l2Normalization :: DType a => Symbol a -> Float -> String -> IO (Symbol a) Source #

convolution :: DType a => Symbol a -> Symbol a -> Symbol a -> String -> Int -> IO (Symbol a) Source #

lrn :: DType a => Symbol a -> Float -> Float -> Float -> Int -> IO (Symbol a) Source #

deconvolution :: DType a => Symbol a -> Symbol a -> Symbol a -> String -> Int -> IO (Symbol a) Source #

pooling :: DType a => Symbol a -> String -> String -> IO (Symbol a) Source #

roiPooling :: DType a => Symbol a -> Symbol a -> String -> Int -> IO (Symbol a) Source #

rnn :: DType a => Symbol a -> Symbol a -> Symbol a -> Symbol a -> Int -> Int -> String -> IO (Symbol a) Source #

embedding :: DType a => Symbol a -> Symbol a -> Int -> Int -> IO (Symbol a) Source #

bilinearSampler :: DType a => Symbol a -> Symbol a -> IO (Symbol a) Source #

gridGenerator :: DType a => Symbol a -> Symbol a -> IO (Symbol a) Source #

upSampling :: DType a => [Symbol a] -> Int -> String -> IO (Symbol a) Source #

spatialTransformer :: DType a => Symbol a -> Symbol a -> IO (Symbol a) Source #

linearRegressionOutput :: DType a => Symbol a -> Symbol a -> IO (Symbol a) Source #

logisticRegressionOutput :: DType a => Symbol a -> Symbol a -> IO (Symbol a) Source #

softmaxOutput :: DType a => Symbol a -> Symbol a -> IO (Symbol a) Source #

maeRegressionOutput :: DType a => Symbol a -> Symbol a -> IO (Symbol a) Source #

svmOutput :: DType a => Symbol a -> Symbol a -> Int -> Float -> Bool -> IO (Symbol a) Source #

softmaxCrossEntropy :: DType a => Symbol a -> Symbol a -> IO (Symbol a) Source #

smoothL1 :: DType a => Symbol a -> Float -> IO (Symbol a) Source #

identityAttachKLSparsereg :: DType a => Symbol a -> IO (Symbol a) Source #

makeLoss :: DType a => Symbol a -> Float -> Float -> String -> IO (Symbol a) Source #

blockGrad :: DType a => Symbol a -> IO (Symbol a) Source #

custom :: DType a => [Symbol a] -> String -> IO (Symbol a) Source #

Tensor Symbol Source # 

Methods

dot :: DType a => Symbol a -> Symbol a -> IO (Symbol a) Source #

reshape :: DType a => Symbol a -> [Int] -> IO (Symbol a) Source #

transpose :: DType a => Symbol a -> IO (Symbol a) Source #

(+.) :: DType a => Symbol a -> Symbol a -> IO (Symbol a) Source #

(-.) :: DType a => Symbol a -> Symbol a -> IO (Symbol a) Source #

(*.) :: DType a => Symbol a -> Symbol a -> IO (Symbol a) Source #

(/.) :: DType a => Symbol a -> Symbol a -> IO (Symbol a) Source #

(^.) :: DType a => Symbol a -> Symbol a -> IO (Symbol a) Source #

(.+) :: DType a => Symbol a -> a -> IO (Symbol a) Source #

(.-) :: DType a => Symbol a -> a -> IO (Symbol a) Source #

(.*) :: DType a => Symbol a -> a -> IO (Symbol a) Source #

(./) :: DType a => Symbol a -> a -> IO (Symbol a) Source #

(.^) :: DType a => Symbol a -> a -> IO (Symbol a) Source #

(..-) :: DType a => a -> Symbol a -> IO (Symbol a) Source #

(../) :: DType a => a -> Symbol a -> IO (Symbol a) Source #

(..^) :: DType a => a -> Symbol a -> IO (Symbol a) Source #

(.+=) :: DType a => Symbol a -> a -> IO () Source #

(.-=) :: DType a => Symbol a -> a -> IO () Source #

(.*=) :: DType a => Symbol a -> a -> IO () Source #

(./=) :: DType a => Symbol a -> a -> IO () Source #

(.^=) :: DType a => Symbol a -> a -> IO () Source #

_Maximum :: DType a => Symbol a -> Symbol a -> IO (Symbol a) Source #

_Minimum :: DType a => Symbol a -> Symbol a -> IO (Symbol a) Source #

equal :: DType a => Symbol a -> Symbol a -> IO (Symbol a) Source #

notEqual :: DType a => Symbol a -> Symbol a -> IO (Symbol a) Source #

greater :: DType a => Symbol a -> Symbol a -> IO (Symbol a) Source #

greaterEqual :: DType a => Symbol a -> Symbol a -> IO (Symbol a) Source #

lesser :: DType a => Symbol a -> Symbol a -> IO (Symbol a) Source #

lesserEqual :: DType a => Symbol a -> Symbol a -> IO (Symbol a) Source #

_Maximum' :: DType a => Symbol a -> a -> IO (Symbol a) Source #

_Minimum' :: DType a => Symbol a -> a -> IO (Symbol a) Source #

equal' :: DType a => Symbol a -> a -> IO (Symbol a) Source #

notEqual' :: DType a => Symbol a -> a -> IO (Symbol a) Source #

greater' :: DType a => Symbol a -> a -> IO (Symbol a) Source #

greaterEqual' :: DType a => Symbol a -> a -> IO (Symbol a) Source #

lesser' :: DType a => Symbol a -> a -> IO (Symbol a) Source #

lesserEqual' :: DType a => Symbol a -> a -> IO (Symbol a) Source #

DType a => Floating (Symbol a) Source # 

Methods

pi :: Symbol a #

exp :: Symbol a -> Symbol a #

log :: Symbol a -> Symbol a #

sqrt :: Symbol a -> Symbol a #

(**) :: Symbol a -> Symbol a -> Symbol a #

logBase :: Symbol a -> Symbol a -> Symbol a #

sin :: Symbol a -> Symbol a #

cos :: Symbol a -> Symbol a #

tan :: Symbol a -> Symbol a #

asin :: Symbol a -> Symbol a #

acos :: Symbol a -> Symbol a #

atan :: Symbol a -> Symbol a #

sinh :: Symbol a -> Symbol a #

cosh :: Symbol a -> Symbol a #

tanh :: Symbol a -> Symbol a #

asinh :: Symbol a -> Symbol a #

acosh :: Symbol a -> Symbol a #

atanh :: Symbol a -> Symbol a #

log1p :: Symbol a -> Symbol a #

expm1 :: Symbol a -> Symbol a #

log1pexp :: Symbol a -> Symbol a #

log1mexp :: Symbol a -> Symbol a #

DType a => Fractional (Symbol a) Source # 

Methods

(/) :: Symbol a -> Symbol a -> Symbol a #

recip :: Symbol a -> Symbol a #

fromRational :: Rational -> Symbol a #

DType a => Num (Symbol a) Source # 

Methods

(+) :: Symbol a -> Symbol a -> Symbol a #

(-) :: Symbol a -> Symbol a -> Symbol a #

(*) :: Symbol a -> Symbol a -> Symbol a #

negate :: Symbol a -> Symbol a #

abs :: Symbol a -> Symbol a #

signum :: Symbol a -> Symbol a #

fromInteger :: Integer -> Symbol a #

DType a => Show (Symbol a) Source # 

Methods

showsPrec :: Int -> Symbol a -> ShowS #

show :: Symbol a -> String #

showList :: [Symbol a] -> ShowS #

variable Source #

Arguments

:: DType a 
=> String

Name.

-> IO (Symbol a)

Result variable.

Make a new symbolic variable with given name.

getName :: DType a => Symbol a -> IO String Source #

Get the name of a given variable.

getAttr :: DType a => Symbol a -> String -> IO (Maybe String) Source #

Get specified attribute of symbol.

setAttr :: DType a => Symbol a -> String -> String -> IO () Source #

Set specified attribute of symbol.

infershape :: DType a => Symbol a -> [String] -> IO ([[Int]], [[Int]], [[Int]]) Source #

Infer the shape of the given symbol, return the in, out and auxiliary shape size.

grad :: DType a => Symbol a -> [String] -> IO (Symbol a) Source #

Get the autodiff of current symbol. This function can only be used if current symbol is a loss function.

bind :: DType a => Symbol a -> Context -> HashMap String (NDArray a) -> IO (Executor a) Source #

Bind with explicit argument mapping (name -- value mapping).

bind' :: DType a => Symbol a -> Context -> [NDArray a] -> IO (Executor a) Source #

Bind without explicit argument mapping (name -- value mapping).

listInputs :: DType a => Symbol a -> IO [String] Source #

List all input arguments.

listOutputs :: DType a => Symbol a -> IO [String] Source #

List all output results.

listAuxiliaries :: DType a => Symbol a -> IO [String] Source #

List all auxiliary states.

symid :: IORef Int Source #

Provide a globally unique serial ID for each symbol.

naming :: String -> IO String Source #

Generate a globally unique name for each symbol, thread safely.