CodeGen.Types.CLI

Documentation

data LibType

All possible libraries that we intend to support (these are all src libraries in ATen). Note that this ordering is used in codegen and must not be changed.

Constructors

ATen

THCUNN

THCS

THC

THNN

THS

TH

Instances

Bounded LibType

Defined in CodeGen.Types.CLI

Methods

minBound :: LibType

maxBound :: LibType

Enum LibType

Defined in CodeGen.Types.CLI

Methods

succ :: LibType -> LibType

pred :: LibType -> LibType

toEnum :: Int -> LibType

fromEnum :: LibType -> Int

enumFrom :: LibType -> [LibType]

enumFromThen :: LibType -> LibType -> [LibType]

enumFromTo :: LibType -> LibType -> [LibType]

enumFromThenTo :: LibType -> LibType -> LibType -> [LibType]

Eq LibType

Defined in CodeGen.Types.CLI

Methods

(==) :: LibType -> LibType -> Bool

(/=) :: LibType -> LibType -> Bool

Data LibType

Defined in CodeGen.Types.CLI

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> LibType -> c LibType

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c LibType

toConstr :: LibType -> Constr

dataTypeOf :: LibType -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c LibType)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c LibType)

gmapT :: (forall b. Data b => b -> b) -> LibType -> LibType

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LibType -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LibType -> r

gmapQ :: (forall d. Data d => d -> u) -> LibType -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> LibType -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> LibType -> m LibType

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LibType -> m LibType

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LibType -> m LibType

Ord LibType

Defined in CodeGen.Types.CLI

Methods

compare :: LibType -> LibType -> Ordering

(<) :: LibType -> LibType -> Bool

(<=) :: LibType -> LibType -> Bool

(>) :: LibType -> LibType -> Bool

(>=) :: LibType -> LibType -> Bool

max :: LibType -> LibType -> LibType

min :: LibType -> LibType -> LibType

Read LibType

Defined in CodeGen.Types.CLI

Methods

readsPrec :: Int -> ReadS LibType

readList :: ReadS [LibType]

readPrec :: ReadPrec LibType

readListPrec :: ReadPrec [LibType]

Show LibType

Defined in CodeGen.Types.CLI

Methods

showsPrec :: Int -> LibType -> ShowS

show :: LibType -> String

showList :: [LibType] -> ShowS

Generic LibType

Defined in CodeGen.Types.CLI

Associated Types

type Rep LibType :: Type -> Type

Methods

from :: LibType -> Rep LibType x

to :: Rep LibType x -> LibType

Hashable LibType

Defined in CodeGen.Types.CLI

Methods

hashWithSalt :: Int -> LibType -> Int

hash :: LibType -> Int

type Rep LibType

Defined in CodeGen.Types.CLI

type Rep LibType = D1 (MetaData "LibType" "CodeGen.Types.CLI" "hasktorch-codegen-0.0.1.1-inplace" False) ((C1 (MetaCons "ATen" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "THCUNN" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "THCS" PrefixI False) (U1 :: Type -> Type))) :+: ((C1 (MetaCons "THC" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "THNN" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "THS" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "TH" PrefixI False) (U1 :: Type -> Type))))

prefix :: LibType -> Bool -> Text

describe' :: LibType -> String

Short descriptions of each library we intend to support.

supported :: LibType -> Bool

Whether or not we currently support code generation for the library

supportedLibraries :: [LibType]

outDir :: LibType -> FilePath

Where generated code will be placed.

outModule :: LibType -> Text

The prefix of the output module name

srcDir :: LibType -> CodeGenType -> FilePath

Where the source files are located, relative to the root of the hasktorch project.

data CodeGenType

Type of code to generate

Constructors

GenericFiles

generic/ files which are used in C for type-generic code

ConcreteFiles

concrete supporting files. These include utility functions and random generators.

Instances

Bounded CodeGenType

Defined in CodeGen.Types.CLI

Methods

minBound :: CodeGenType

maxBound :: CodeGenType

Enum CodeGenType

Defined in CodeGen.Types.CLI

Methods

succ :: CodeGenType -> CodeGenType

pred :: CodeGenType -> CodeGenType

toEnum :: Int -> CodeGenType

fromEnum :: CodeGenType -> Int

enumFrom :: CodeGenType -> [CodeGenType]

enumFromThen :: CodeGenType -> CodeGenType -> [CodeGenType]

enumFromTo :: CodeGenType -> CodeGenType -> [CodeGenType]

enumFromThenTo :: CodeGenType -> CodeGenType -> CodeGenType -> [CodeGenType]

Eq CodeGenType

Defined in CodeGen.Types.CLI

Methods

(==) :: CodeGenType -> CodeGenType -> Bool

(/=) :: CodeGenType -> CodeGenType -> Bool

Ord CodeGenType

Defined in CodeGen.Types.CLI

Methods

compare :: CodeGenType -> CodeGenType -> Ordering

(<) :: CodeGenType -> CodeGenType -> Bool

(<=) :: CodeGenType -> CodeGenType -> Bool

(>) :: CodeGenType -> CodeGenType -> Bool

(>=) :: CodeGenType -> CodeGenType -> Bool

max :: CodeGenType -> CodeGenType -> CodeGenType

min :: CodeGenType -> CodeGenType -> CodeGenType

Read CodeGenType

Defined in CodeGen.Types.CLI

Methods

readsPrec :: Int -> ReadS CodeGenType

readList :: ReadS [CodeGenType]

readPrec :: ReadPrec CodeGenType

readListPrec :: ReadPrec [CodeGenType]

Show CodeGenType

Defined in CodeGen.Types.CLI

Methods

showsPrec :: Int -> CodeGenType -> ShowS

show :: CodeGenType -> String

showList :: [CodeGenType] -> ShowS

generatable :: CodeGenType -> Bool

Whether or not we currently support generating this type of code (ie: I (@stites) am not sure about the managed files).

data TemplateType

Constructors

GenByte

GenChar

GenDouble

GenFloat

GenHalf

GenInt

GenLong

GenShort

GenNothing

Instances

Bounded TemplateType

Defined in CodeGen.Types.CLI

Methods

minBound :: TemplateType

maxBound :: TemplateType

Eq TemplateType

Defined in CodeGen.Types.CLI

Methods

(==) :: TemplateType -> TemplateType -> Bool

(/=) :: TemplateType -> TemplateType -> Bool

Ord TemplateType

Defined in CodeGen.Types.CLI

Methods

compare :: TemplateType -> TemplateType -> Ordering

(<) :: TemplateType -> TemplateType -> Bool

(<=) :: TemplateType -> TemplateType -> Bool

(>) :: TemplateType -> TemplateType -> Bool

(>=) :: TemplateType -> TemplateType -> Bool

max :: TemplateType -> TemplateType -> TemplateType

min :: TemplateType -> TemplateType -> TemplateType

Show TemplateType

Defined in CodeGen.Types.CLI

Methods

showsPrec :: Int -> TemplateType -> ShowS

show :: TemplateType -> String

showList :: [TemplateType] -> ShowS

Generic TemplateType

Defined in CodeGen.Types.CLI

Associated Types

type Rep TemplateType :: Type -> Type

Methods

from :: TemplateType -> Rep TemplateType x

to :: Rep TemplateType x -> TemplateType

Hashable TemplateType

Defined in CodeGen.Types.CLI

Methods

hashWithSalt :: Int -> TemplateType -> Int

hash :: TemplateType -> Int

type Rep TemplateType

Defined in CodeGen.Types.CLI

type Rep TemplateType = D1 (MetaData "TemplateType" "CodeGen.Types.CLI" "hasktorch-codegen-0.0.1.1-inplace" False) (((C1 (MetaCons "GenByte" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "GenChar" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "GenDouble" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "GenFloat" PrefixI False) (U1 :: Type -> Type))) :+: ((C1 (MetaCons "GenHalf" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "GenInt" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "GenLong" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "GenShort" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "GenNothing" PrefixI False) (U1 :: Type -> Type)))))

generatedTypes :: LibType -> CodeGenType -> [TemplateType]