mathflow-0.1.0.0: Dependently typed tensorflow modeler

Safe HaskellNone
LanguageHaskell2010

MathFlow.TF

Documentation

abs' :: Tensor n t a -> String -> Tensor n t a Source #

accumulateN' :: SingI n => String -> Sing n -> String -> String -> Tensor n t a Source #

acos' :: Tensor n t a -> String -> Tensor n t a Source #

add' :: Tensor n t a -> Tensor n t a -> String -> Tensor n t a Source #

add :: Tensor n t a -> Tensor n t a -> Tensor n t a Source #

addN' :: String -> String -> Tensor n t a Source #

addN :: String -> Tensor n t a Source #

asin' :: Tensor n t a -> String -> Tensor n t a Source #

assertEqual' :: Tensor n t a -> Tensor n t a -> String -> String -> String -> String -> Tensor n t a Source #

assertEqual :: Tensor n t a -> Tensor n t a -> Tensor n t a Source #

assertGreater' :: Tensor n t a -> Tensor n t a -> String -> String -> String -> String -> Tensor n t a Source #

assertGreater :: Tensor n t a -> Tensor n t a -> Tensor n t a Source #

assertGreaterEqual' :: Tensor n t a -> Tensor n t a -> String -> String -> String -> String -> Tensor n t a Source #

assertGreaterEqual :: Tensor n t a -> Tensor n t a -> Tensor n t a Source #

assertInteger' :: Tensor n t a -> String -> String -> Tensor n t a Source #

assertInteger :: Tensor n t a -> Tensor n t a Source #

assertLess' :: Tensor n t a -> Tensor n t a -> String -> String -> String -> String -> Tensor n t a Source #

assertLess :: Tensor n t a -> Tensor n t a -> Tensor n t a Source #

assertLessEqual' :: Tensor n t a -> Tensor n t a -> String -> String -> String -> String -> Tensor n t a Source #

assertLessEqual :: Tensor n t a -> Tensor n t a -> Tensor n t a Source #

assertNegative :: Tensor n t a -> Tensor n t a Source #

assertNoneEqual' :: Tensor n t a -> Tensor n t a -> String -> String -> String -> String -> Tensor n t a Source #

assertNoneEqual :: Tensor n t a -> Tensor n t a -> Tensor n t a Source #

assertPositive :: Tensor n t a -> Tensor n t a Source #

assertRank' :: Tensor n t a -> String -> String -> String -> String -> String -> Tensor n t a Source #

assertRank :: Tensor n t a -> String -> Tensor n t a Source #

assertScalar' :: Tensor n t a -> String -> Tensor n t a Source #

assertScalar :: Tensor n t a -> Tensor n t a Source #

assertType' :: Tensor n t a -> String -> String -> String -> Tensor n t a Source #

assertType :: Tensor n t a -> String -> Tensor n t a Source #

atan' :: Tensor n t a -> String -> Tensor n t a Source #

atan2' :: Tensor n t a -> Tensor n t a -> String -> Tensor n t a Source #

atan2 :: Tensor n t a -> Tensor n t a -> Tensor n t a Source #

betainc' :: Tensor n t a -> Tensor n t a -> Tensor n t a -> String -> Tensor n t a Source #

betainc :: Tensor n t a -> Tensor n t a -> Tensor n t a -> Tensor n t a Source #

booleanMask' :: Tensor n t a -> String -> String -> Tensor n t a Source #

booleanMask :: Tensor n t a -> String -> Tensor n t a Source #

cast' :: Tensor n t a -> String -> String -> Tensor n t a Source #

cast :: Tensor n t a -> String -> Tensor n t a Source #

ceil' :: Tensor n t a -> String -> Tensor n t a Source #

ceil :: Tensor n t a -> Tensor n t a Source #

checkNumerics' :: Tensor n t a -> String -> String -> Tensor n t a Source #

checkNumerics :: Tensor n t a -> String -> Tensor n t a Source #

cond :: Tensor n t a Source #

conj' :: Tensor n t a -> String -> Tensor n t a Source #

conj :: Tensor n t a -> Tensor n t a Source #

constant' :: SingI n => String -> String -> Sing n -> String -> String -> Tensor n t a Source #

cos' :: Tensor n t a -> String -> Tensor n t a Source #

cross' :: Tensor n t a -> Tensor n t a -> String -> Tensor n t a Source #

cross :: Tensor n t a -> Tensor n t a -> Tensor n t a Source #

cumprod' :: Tensor n t a -> String -> String -> String -> String -> Tensor n t a Source #

cumprod :: Tensor n t a -> Tensor n t a Source #

cumsum' :: Tensor n t a -> String -> String -> String -> String -> Tensor n t a Source #

cumsum :: Tensor n t a -> Tensor n t a Source #

diag' :: String -> String -> Tensor n t a Source #

diag :: String -> Tensor n t a Source #

digamma' :: Tensor n t a -> String -> Tensor n t a Source #

digamma :: Tensor n t a -> Tensor n t a Source #

div' :: Tensor n t a -> Tensor n t a -> String -> Tensor n t a Source #

div :: Tensor n t a -> Tensor n t a -> Tensor n t a Source #

divide' :: Tensor n t a -> Tensor n t a -> String -> Tensor n t a Source #

divide :: Tensor n t a -> Tensor n t a -> Tensor n t a Source #

equal' :: Tensor n t a -> Tensor n t a -> String -> Tensor n t a Source #

equal :: Tensor n t a -> Tensor n t a -> Tensor n t a Source #

erf' :: Tensor n t a -> String -> Tensor n t a Source #

erf :: Tensor n t a -> Tensor n t a Source #

erfc' :: Tensor n t a -> String -> Tensor n t a Source #

erfc :: Tensor n t a -> Tensor n t a Source #

exp' :: Tensor n t a -> String -> Tensor n t a Source #

exp :: Tensor n t a -> Tensor n t a Source #

expm1' :: Tensor n t a -> String -> Tensor n t a Source #

expm1 :: Tensor n t a -> Tensor n t a Source #

eye' :: String -> String -> String -> String -> String -> Tensor n t a Source #

eye :: String -> Tensor n t a Source #

fft' :: String -> String -> Tensor n t a Source #

fft :: String -> Tensor n t a Source #

fft2d :: String -> Tensor n t a Source #

fft3d :: String -> Tensor n t a Source #

fill' :: String -> String -> String -> Tensor n t a Source #

fill :: String -> String -> Tensor n t a Source #

floor' :: Tensor n t a -> String -> Tensor n t a Source #

floor :: Tensor n t a -> Tensor n t a Source #

floorDiv' :: Tensor n t a -> Tensor n t a -> String -> Tensor n t a Source #

floorDiv :: Tensor n t a -> Tensor n t a -> Tensor n t a Source #

floordiv' :: Tensor n t a -> Tensor n t a -> String -> Tensor n t a Source #

floordiv :: Tensor n t a -> Tensor n t a -> Tensor n t a Source #

floormod' :: Tensor n t a -> Tensor n t a -> String -> Tensor n t a Source #

floormod :: Tensor n t a -> Tensor n t a -> Tensor n t a Source #

foldl :: String -> String -> Tensor n t a Source #

foldr :: String -> String -> Tensor n t a Source #

getVariable' :: SingI n => String -> Sing n -> String -> String -> String -> String -> String -> String -> String -> String -> String -> String -> Tensor n t a Source #

greater' :: Tensor n t a -> Tensor n t a -> String -> Tensor n t a Source #

greater :: Tensor n t a -> Tensor n t a -> Tensor n t a Source #

greaterEqual' :: Tensor n t a -> Tensor n t a -> String -> Tensor n t a Source #

greaterEqual :: Tensor n t a -> Tensor n t a -> Tensor n t a Source #

group :: Tensor n t a Source #

ifft' :: String -> String -> Tensor n t a Source #

ifft :: String -> Tensor n t a Source #

igamma' :: Tensor n t a -> Tensor n t a -> String -> Tensor n t a Source #

igamma :: Tensor n t a -> Tensor n t a -> Tensor n t a Source #

igammac' :: Tensor n t a -> Tensor n t a -> String -> Tensor n t a Source #

igammac :: Tensor n t a -> Tensor n t a -> Tensor n t a Source #

imag' :: String -> String -> Tensor n t a Source #

imag :: String -> Tensor n t a Source #

isFinite' :: Tensor n t a -> String -> Tensor n t a Source #

isFinite :: Tensor n t a -> Tensor n t a Source #

isInf' :: Tensor n t a -> String -> Tensor n t a Source #

isInf :: Tensor n t a -> Tensor n t a Source #

isNan' :: Tensor n t a -> String -> Tensor n t a Source #

isNan :: Tensor n t a -> Tensor n t a Source #

lbeta' :: Tensor n t a -> String -> Tensor n t a Source #

lbeta :: Tensor n t a -> Tensor n t a Source #

less' :: Tensor n t a -> Tensor n t a -> String -> Tensor n t a Source #

less :: Tensor n t a -> Tensor n t a -> Tensor n t a Source #

lessEqual' :: Tensor n t a -> Tensor n t a -> String -> Tensor n t a Source #

lessEqual :: Tensor n t a -> Tensor n t a -> Tensor n t a Source #

lgamma' :: Tensor n t a -> String -> Tensor n t a Source #

lgamma :: Tensor n t a -> Tensor n t a Source #

log' :: Tensor n t a -> String -> Tensor n t a Source #

log :: Tensor n t a -> Tensor n t a Source #

log1p' :: Tensor n t a -> String -> Tensor n t a Source #

log1p :: Tensor n t a -> Tensor n t a Source #

logSigmoid' :: Tensor n t a -> String -> Tensor n t a Source #

logSigmoid :: Tensor n t a -> Tensor n t a Source #

logicalAnd' :: Tensor n t a -> Tensor n t a -> String -> Tensor n t a Source #

logicalAnd :: Tensor n t a -> Tensor n t a -> Tensor n t a Source #

logicalNot' :: Tensor n t a -> String -> Tensor n t a Source #

logicalNot :: Tensor n t a -> Tensor n t a Source #

logicalOr' :: Tensor n t a -> Tensor n t a -> String -> Tensor n t a Source #

logicalOr :: Tensor n t a -> Tensor n t a -> Tensor n t a Source #

logicalXor' :: Tensor n t a -> Tensor n t a -> String -> Tensor n t a Source #

logicalXor :: Tensor n t a -> Tensor n t a -> Tensor n t a Source #

makeNdarray :: Tensor n t a -> Tensor n t a Source #

mapFn :: String -> String -> Tensor n t a Source #

matmul' :: Tensor n t a -> Tensor n t a -> String -> String -> String -> String -> String -> String -> String -> Tensor n t a Source #

matmul :: Tensor n t a -> Tensor n t a -> Tensor n t a Source #

maximum' :: Tensor n t a -> Tensor n t a -> String -> Tensor n t a Source #

maximum :: Tensor n t a -> Tensor n t a -> Tensor n t a Source #

minimum' :: Tensor n t a -> Tensor n t a -> String -> Tensor n t a Source #

minimum :: Tensor n t a -> Tensor n t a -> Tensor n t a Source #

mod' :: Tensor n t a -> Tensor n t a -> String -> Tensor n t a Source #

mod :: Tensor n t a -> Tensor n t a -> Tensor n t a Source #

multiply' :: Tensor n t a -> Tensor n t a -> String -> Tensor n t a Source #

multiply :: Tensor n t a -> Tensor n t a -> Tensor n t a Source #

negative' :: Tensor n t a -> String -> Tensor n t a Source #

negative :: Tensor n t a -> Tensor n t a Source #

noOp :: Tensor n t a Source #

norm' :: Tensor n t a -> String -> String -> String -> String -> Tensor n t a Source #

norm :: Tensor n t a -> Tensor n t a Source #

notEqual' :: Tensor n t a -> Tensor n t a -> String -> Tensor n t a Source #

notEqual :: Tensor n t a -> Tensor n t a -> Tensor n t a Source #

ones' :: SingI n => Sing n -> String -> String -> Tensor n t a Source #

ones :: SingI n => Sing n -> Tensor n t a Source #

onesLike' :: Tensor n t a -> String -> String -> String -> Tensor n t a Source #

onesLike :: Tensor n t a -> Tensor n t a Source #

pad' :: Tensor n t a -> String -> String -> String -> Tensor n t a Source #

pad :: Tensor n t a -> String -> Tensor n t a Source #

placeholder' :: SingI n => String -> Sing n -> String -> Tensor n t a Source #

polygamma' :: Tensor n t a -> Tensor n t a -> String -> Tensor n t a Source #

polygamma :: Tensor n t a -> Tensor n t a -> Tensor n t a Source #

pow' :: Tensor n t a -> Tensor n t a -> String -> Tensor n t a Source #

pow :: Tensor n t a -> Tensor n t a -> Tensor n t a Source #

qr' :: String -> String -> String -> Tensor n t a Source #

qr :: String -> Tensor n t a Source #

randomGamma' :: SingI n => Sing n -> String -> String -> String -> String -> String -> Tensor n t a Source #

randomGamma :: SingI n => Sing n -> String -> Tensor n t a Source #

randomNormal' :: SingI n => Sing n -> String -> String -> String -> String -> String -> Tensor n t a Source #

randomNormal :: SingI n => Sing n -> Tensor n t a Source #

randomPoisson' :: SingI n => String -> Sing n -> String -> String -> String -> Tensor n t a Source #

randomPoisson :: SingI n => String -> Sing n -> Tensor n t a Source #

randomUniform' :: SingI n => Sing n -> String -> String -> String -> String -> String -> Tensor n t a Source #

randomUniform :: SingI n => Sing n -> Tensor n t a Source #

range :: String -> Tensor n t a Source #

rank' :: String -> String -> Tensor n t a Source #

rank :: String -> Tensor n t a Source #

real' :: String -> String -> Tensor n t a Source #

real :: String -> Tensor n t a Source #

realdiv' :: Tensor n t a -> Tensor n t a -> String -> Tensor n t a Source #

realdiv :: Tensor n t a -> Tensor n t a -> Tensor n t a Source #

reciprocal' :: Tensor n t a -> String -> Tensor n t a Source #

reciprocal :: Tensor n t a -> Tensor n t a Source #

reshape' :: SingI n => Tensor n t a -> Sing n -> String -> Tensor n t a Source #

reshape :: SingI n => Tensor n t a -> Sing n -> Tensor n t a Source #

reverse' :: Tensor n t a -> String -> String -> Tensor n t a Source #

reverse :: Tensor n t a -> String -> Tensor n t a Source #

reverseV2' :: Tensor n t a -> String -> String -> Tensor n t a Source #

reverseV2 :: Tensor n t a -> String -> Tensor n t a Source #

rint' :: Tensor n t a -> String -> Tensor n t a Source #

rint :: Tensor n t a -> Tensor n t a Source #

round' :: Tensor n t a -> String -> Tensor n t a Source #

round :: Tensor n t a -> Tensor n t a Source #

rsqrt' :: Tensor n t a -> String -> Tensor n t a Source #

rsqrt :: Tensor n t a -> Tensor n t a Source #

scalarMul :: String -> Tensor n t a -> Tensor n t a Source #

scan' :: String -> String -> String -> String -> String -> String -> String -> String -> Tensor n t a Source #

scan :: String -> String -> Tensor n t a Source #

scatterNd' :: SingI n => String -> String -> Sing n -> String -> Tensor n t a Source #

scatterNd :: SingI n => String -> String -> Sing n -> Tensor n t a Source #

selfAdjointEig :: Tensor n t a -> Tensor n t a Source #

setdiff1d' :: Tensor n t a -> Tensor n t a -> String -> String -> Tensor n t a Source #

setdiff1d :: Tensor n t a -> Tensor n t a -> Tensor n t a Source #

shape :: String -> Tensor n t a Source #

sigmoid' :: Tensor n t a -> String -> Tensor n t a Source #

sigmoid :: Tensor n t a -> Tensor n t a Source #

sign' :: Tensor n t a -> String -> Tensor n t a Source #

sign :: Tensor n t a -> Tensor n t a Source #

sin' :: Tensor n t a -> String -> Tensor n t a Source #

size' :: String -> String -> String -> Tensor n t a Source #

size :: String -> Tensor n t a Source #

slice :: String -> String -> String -> Tensor n t a Source #

sparseAdd' :: Tensor n t a -> Tensor n t a -> String -> Tensor n t a Source #

sparseAdd :: Tensor n t a -> Tensor n t a -> Tensor n t a Source #

sparseMask' :: Tensor n t a -> String -> String -> Tensor n t a Source #

sparseMask :: Tensor n t a -> String -> Tensor n t a Source #

sparseMatmul' :: Tensor n t a -> Tensor n t a -> String -> String -> String -> String -> String -> Tensor n t a Source #

sparseMatmul :: Tensor n t a -> Tensor n t a -> Tensor n t a Source #

sparseReshape' :: SingI n => String -> Sing n -> String -> Tensor n t a Source #

sparseReshape :: SingI n => String -> Sing n -> Tensor n t a Source #

split :: String -> String -> Tensor n t a Source #

sqrt' :: Tensor n t a -> String -> Tensor n t a Source #

sqrt :: Tensor n t a -> Tensor n t a Source #

square' :: Tensor n t a -> String -> Tensor n t a Source #

square :: Tensor n t a -> Tensor n t a Source #

squaredDifference' :: Tensor n t a -> Tensor n t a -> String -> Tensor n t a Source #

squaredDifference :: Tensor n t a -> Tensor n t a -> Tensor n t a Source #

stack :: String -> Tensor n t a Source #

stridedSlice' :: SingI n => String -> String -> String -> Sing n -> String -> String -> String -> String -> String -> String -> String -> Tensor n t a Source #

subtract' :: Tensor n t a -> Tensor n t a -> String -> Tensor n t a Source #

subtract :: Tensor n t a -> Tensor n t a -> Tensor n t a Source #

svd' :: Tensor n t a -> String -> String -> String -> Tensor n t a Source #

svd :: Tensor n t a -> Tensor n t a Source #

tan' :: Tensor n t a -> String -> Tensor n t a Source #

tanh' :: Tensor n t a -> String -> Tensor n t a Source #

tanh :: Tensor n t a -> Tensor n t a Source #

tensordot' :: Tensor n t a -> Tensor n t a -> String -> String -> Tensor n t a Source #

tensordot :: Tensor n t a -> Tensor n t a -> String -> Tensor n t a Source #

tile' :: String -> String -> String -> Tensor n t a Source #

tile :: String -> String -> Tensor n t a Source #

toBfloat16' :: Tensor n t a -> String -> Tensor n t a Source #

toBfloat16 :: Tensor n t a -> Tensor n t a Source #

toDouble' :: Tensor n t a -> String -> Tensor n t a Source #

toDouble :: Tensor n t a -> Tensor n t a Source #

toFloat' :: Tensor n t a -> String -> Tensor n t a Source #

toFloat :: Tensor n t a -> Tensor n t a Source #

toInt32' :: Tensor n t a -> String -> Tensor n t a Source #

toInt32 :: Tensor n t a -> Tensor n t a Source #

toInt64' :: Tensor n t a -> String -> Tensor n t a Source #

toInt64 :: Tensor n t a -> Tensor n t a Source #

trace' :: Tensor n t a -> String -> Tensor n t a Source #

trace :: Tensor n t a -> Tensor n t a Source #

transpose' :: Tensor n t a -> String -> String -> Tensor n t a Source #

transpose :: Tensor n t a -> Tensor n t a Source #

truediv' :: Tensor n t a -> Tensor n t a -> String -> Tensor n t a Source #

truediv :: Tensor n t a -> Tensor n t a -> Tensor n t a Source #

truncatediv' :: Tensor n t a -> Tensor n t a -> String -> Tensor n t a Source #

truncatediv :: Tensor n t a -> Tensor n t a -> Tensor n t a Source #

truncatemod' :: Tensor n t a -> Tensor n t a -> String -> Tensor n t a Source #

truncatemod :: Tensor n t a -> Tensor n t a -> Tensor n t a Source #

tuple :: String -> Tensor n t a Source #

unique' :: Tensor n t a -> String -> String -> Tensor n t a Source #

unique :: Tensor n t a -> Tensor n t a Source #

tfwhere' :: String -> Tensor n t a -> Tensor n t a -> String -> Tensor n t a Source #

zeros' :: SingI n => Sing n -> String -> String -> Tensor n t a Source #

zeros :: SingI n => Sing n -> Tensor n t a Source #

zerosLike' :: Tensor n t a -> String -> String -> String -> Tensor n t a Source #

zerosLike :: Tensor n t a -> Tensor n t a Source #

zeta' :: Tensor n t a -> String -> String -> Tensor n t a Source #

zeta :: Tensor n t a -> String -> Tensor n t a Source #