TensorSafe

This module declares what is visible to use TensorSafe as an API.

Documentation

data JavaScript

Support for JavaScript compilation

Constructors

JavaScript

Instances

Show JavaScript

Defined in TensorSafe.Compile.Expr

Methods

showsPrec :: Int -> JavaScript -> ShowS

show :: JavaScript -> String

showList :: [JavaScript] -> ShowS

Generator JavaScript

Defined in TensorSafe.Compile.Expr

Methods

generate :: JavaScript -> CNetwork -> Text

generateFile :: JavaScript -> CNetwork -> Text

data Python

Support for Python compilation

Constructors

Python

Instances

Show Python

Defined in TensorSafe.Compile.Expr

Methods

showsPrec :: Int -> Python -> ShowS

show :: Python -> String

showList :: [Python] -> ShowS

Generator Python

Defined in TensorSafe.Compile.Expr

Methods

generate :: Python -> CNetwork -> Text

generateFile :: Python -> CNetwork -> Text

generate :: Generator l => l -> CNetwork -> Text

Adds supports for a language. Generates a CNetwork to Text

generateFile :: Generator l => l -> CNetwork -> Text

Similar to generate, but also adds necessary header and module lines of text so as to have the CNetwork compiled at a separate file.

data INetwork :: [Type] -> [Shape] -> Type

A network that defines a specific sequence of layers with the corresponding shape transformation along the network. It's an Instance of a Network: given a Network and a initial Shape, this type structure can be generated automatically using the type functions defined in this module, like Out and MkINetwork.

Instances

(Show x, Show (INetwork xs rs)) => Show (INetwork (x ': xs) (i ': rs))

Defined in TensorSafe.Network

Methods

showsPrec :: Int -> INetwork (x ': xs) (i ': rs) -> ShowS

show :: INetwork (x ': xs) (i ': rs) -> String

showList :: [INetwork (x ': xs) (i ': rs)] -> ShowS

Show (INetwork ([] :: [Type]) (i ': ([] :: [Shape])))

Defined in TensorSafe.Network

Methods

showsPrec :: Int -> INetwork [] (i ': []) -> ShowS

show :: INetwork [] (i ': []) -> String

showList :: [INetwork [] (i ': [])] -> ShowS

ValidNetwork ls ss => Layer (INetwork ls ss)

This instance of INetwork as a Layer makes possible nesting INetworks

Defined in TensorSafe.Network

Methods

layer :: INetwork ls ss

compile :: INetwork ls ss -> InputShape -> CNetwork

type family MkINetwork (layers :: [Type]) (sIn :: Shape) (sOut :: Shape) :: Type where ...

Creates an INetwork type validating the the expected output and the computed one match.

Equations

MkINetworkUnconstrained ls sIn sOut = MaybeType (INetwork ls (ComposeOut ls sIn)) (ValidateOutput ls sIn sOut)

mkINetwork :: ValidNetwork xs ss => INetwork xs ss

Makes a valid instance of INetwork

toCNetwork :: forall i x xs ss. (SingI i, Layer x, ValidNetwork (x ': xs) (i ': ss)) => INetwork (x ': xs) (i ': ss) -> CNetwork

Compilation: Gets the initial shape using Singleton instances. Since this is the function we run for transforming an INetwork to CNetwork, the nested argument of toCNetwork' is set to False.