Safe Haskell	None
Language	Haskell2010

CodeGen.Types.Parsed

Documentation

data Parsable Source #

Constructors

Ptr Parsable
TenType TenType
CType CType	NNType NNType

Instances

Eq Parsable Source #
Instance details Defined in CodeGen.Types.Parsed Methods (==) :: Parsable -> Parsable -> Bool # (/=) :: Parsable -> Parsable -> Bool #
Show Parsable Source #
Instance details Defined in CodeGen.Types.Parsed Methods showsPrec :: Int -> Parsable -> ShowS # show :: Parsable -> String # showList :: [Parsable] -> ShowS #
Generic Parsable Source #
Instance details Defined in CodeGen.Types.Parsed Associated Types type Rep Parsable :: Type -> Type # Methods from :: Parsable -> Rep Parsable x # to :: Rep Parsable x -> Parsable #
Hashable Parsable Source #
Instance details Defined in CodeGen.Types.Parsed Methods hashWithSalt :: Int -> Parsable -> Int hash :: Parsable -> Int
type Rep Parsable Source #
Instance details Defined in CodeGen.Types.Parsed type Rep Parsable = D1 (MetaData "Parsable" "CodeGen.Types.Parsed" "hasktorch-codegen-0.0.1.1-inplace" False) (C1 (MetaCons "Ptr" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Parsable)) :+: (C1 (MetaCons "TenType" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TenType)) :+: C1 (MetaCons "CType" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 CType))))

data CType Source #

Constructors

CBool
CVoid
CPtrdiff
CFloat
CDouble
CLong
CUInt64
CUInt32
CUInt16
CUInt8
CInt64
CInt32
CInt16
CInt8
CInt
CSize
CChar
CShort

Instances

Bounded CType Source #
Instance details Defined in CodeGen.Types.Parsed Methods minBound :: CType # maxBound :: CType #
Enum CType Source #
Instance details Defined in CodeGen.Types.Parsed Methods succ :: CType -> CType # pred :: CType -> CType # toEnum :: Int -> CType # fromEnum :: CType -> Int # enumFrom :: CType -> [CType] # enumFromThen :: CType -> CType -> [CType] # enumFromTo :: CType -> CType -> [CType] # enumFromThenTo :: CType -> CType -> CType -> [CType] #
Eq CType Source #
Instance details Defined in CodeGen.Types.Parsed Methods (==) :: CType -> CType -> Bool # (/=) :: CType -> CType -> Bool #
Show CType Source #
Instance details Defined in CodeGen.Types.Parsed Methods showsPrec :: Int -> CType -> ShowS # show :: CType -> String # showList :: [CType] -> ShowS #
Generic CType Source #
Instance details Defined in CodeGen.Types.Parsed Associated Types type Rep CType :: Type -> Type # Methods from :: CType -> Rep CType x # to :: Rep CType x -> CType #
Hashable CType Source #
Instance details Defined in CodeGen.Types.Parsed Methods hashWithSalt :: Int -> CType -> Int hash :: CType -> Int
type Rep CType Source #
Instance details Defined in CodeGen.Types.Parsed type Rep CType = D1 (MetaData "CType" "CodeGen.Types.Parsed" "hasktorch-codegen-0.0.1.1-inplace" False) ((((C1 (MetaCons "CBool" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "CVoid" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "CPtrdiff" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "CFloat" PrefixI False) (U1 :: Type -> Type))) :+: ((C1 (MetaCons "CDouble" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "CLong" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "CUInt64" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "CUInt32" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "CUInt16" PrefixI False) (U1 :: Type -> Type))))) :+: (((C1 (MetaCons "CUInt8" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "CInt64" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "CInt32" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "CInt16" PrefixI False) (U1 :: Type -> Type))) :+: ((C1 (MetaCons "CInt8" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "CInt" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "CSize" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "CChar" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "CShort" PrefixI False) (U1 :: Type -> Type))))))

newtype TenType Source #

Constructors

Pair
Fields unTenType :: (RawTenType, LibType)

Instances

Eq TenType Source #
Instance details Defined in CodeGen.Types.Parsed Methods (==) :: TenType -> TenType -> Bool # (/=) :: TenType -> TenType -> Bool #
Show TenType Source #
Instance details Defined in CodeGen.Types.Parsed Methods showsPrec :: Int -> TenType -> ShowS # show :: TenType -> String # showList :: [TenType] -> ShowS #
Generic TenType Source #
Instance details Defined in CodeGen.Types.Parsed Associated Types type Rep TenType :: Type -> Type # Methods from :: TenType -> Rep TenType x # to :: Rep TenType x -> TenType #
Hashable TenType Source #
Instance details Defined in CodeGen.Types.Parsed Methods hashWithSalt :: Int -> TenType -> Int hash :: TenType -> Int
type Rep TenType Source #
Instance details Defined in CodeGen.Types.Parsed type Rep TenType = D1 (MetaData "TenType" "CodeGen.Types.Parsed" "hasktorch-codegen-0.0.1.1-inplace" True) (C1 (MetaCons "Pair" PrefixI True) (S1 (MetaSel (Just "unTenType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (RawTenType, LibType))))

data RawTenType Source #

Constructors

Tensor
ByteTensor
CharTensor
ShortTensor
IntTensor
LongTensor
FloatTensor
DoubleTensor
HalfTensor
Storage
ByteStorage
CharStorage
ShortStorage
IntStorage
LongStorage
FloatStorage
DoubleStorage
HalfStorage
DescBuff
Generator
Allocator
File
Half
State
IndexTensor
IntegerTensor
Real
AccReal
Stream	ThreadLocal -- THC-specific

Instances

Bounded RawTenType Source #
Instance details Defined in CodeGen.Types.Parsed Methods minBound :: RawTenType # maxBound :: RawTenType #
Enum RawTenType Source #
Instance details Defined in CodeGen.Types.Parsed Methods succ :: RawTenType -> RawTenType # pred :: RawTenType -> RawTenType # toEnum :: Int -> RawTenType # fromEnum :: RawTenType -> Int # enumFrom :: RawTenType -> [RawTenType] # enumFromThen :: RawTenType -> RawTenType -> [RawTenType] # enumFromTo :: RawTenType -> RawTenType -> [RawTenType] # enumFromThenTo :: RawTenType -> RawTenType -> RawTenType -> [RawTenType] #
Eq RawTenType Source #
Instance details Defined in CodeGen.Types.Parsed Methods (==) :: RawTenType -> RawTenType -> Bool # (/=) :: RawTenType -> RawTenType -> Bool #
Show RawTenType Source #
Instance details Defined in CodeGen.Types.Parsed Methods showsPrec :: Int -> RawTenType -> ShowS # show :: RawTenType -> String # showList :: [RawTenType] -> ShowS #
Generic RawTenType Source #
Instance details Defined in CodeGen.Types.Parsed Associated Types type Rep RawTenType :: Type -> Type # Methods from :: RawTenType -> Rep RawTenType x # to :: Rep RawTenType x -> RawTenType #
Hashable RawTenType Source #
Instance details Defined in CodeGen.Types.Parsed Methods hashWithSalt :: Int -> RawTenType -> Int hash :: RawTenType -> Int
type Rep RawTenType Source #
Instance details Defined in CodeGen.Types.Parsed type Rep RawTenType = D1 (MetaData "RawTenType" "CodeGen.Types.Parsed" "hasktorch-codegen-0.0.1.1-inplace" False) ((((C1 (MetaCons "Tensor" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "ByteTensor" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "CharTensor" PrefixI False) (U1 :: Type -> Type))) :+: ((C1 (MetaCons "ShortTensor" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "IntTensor" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "LongTensor" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "FloatTensor" PrefixI False) (U1 :: Type -> Type)))) :+: ((C1 (MetaCons "DoubleTensor" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "HalfTensor" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Storage" PrefixI False) (U1 :: Type -> Type))) :+: ((C1 (MetaCons "ByteStorage" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "CharStorage" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "ShortStorage" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "IntStorage" PrefixI False) (U1 :: Type -> Type))))) :+: (((C1 (MetaCons "LongStorage" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "FloatStorage" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "DoubleStorage" PrefixI False) (U1 :: Type -> Type))) :+: ((C1 (MetaCons "HalfStorage" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "DescBuff" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "Generator" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Allocator" PrefixI False) (U1 :: Type -> Type)))) :+: (((C1 (MetaCons "File" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Half" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "State" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "IndexTensor" PrefixI False) (U1 :: Type -> Type))) :+: ((C1 (MetaCons "IntegerTensor" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Real" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "AccReal" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Stream" PrefixI False) (U1 :: Type -> Type))))))

isConcreteCudaPrefixed :: TenType -> Bool Source #

allTenTypes :: [TenType] Source #

data Arg Source #

Constructors

Arg
Fields argType :: Parsable argName :: Text

Instances

Eq Arg Source #
Instance details Defined in CodeGen.Types.Parsed Methods (==) :: Arg -> Arg -> Bool # (/=) :: Arg -> Arg -> Bool #
Show Arg Source #
Instance details Defined in CodeGen.Types.Parsed Methods showsPrec :: Int -> Arg -> ShowS # show :: Arg -> String # showList :: [Arg] -> ShowS #
Generic Arg Source #
Instance details Defined in CodeGen.Types.Parsed Associated Types type Rep Arg :: Type -> Type # Methods from :: Arg -> Rep Arg x # to :: Rep Arg x -> Arg #
Hashable Arg Source #
Instance details Defined in CodeGen.Types.Parsed Methods hashWithSalt :: Int -> Arg -> Int hash :: Arg -> Int
type Rep Arg Source #
Instance details Defined in CodeGen.Types.Parsed type Rep Arg = D1 (MetaData "Arg" "CodeGen.Types.Parsed" "hasktorch-codegen-0.0.1.1-inplace" False) (C1 (MetaCons "Arg" PrefixI True) (S1 (MetaSel (Just "argType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Parsable) :*: S1 (MetaSel (Just "argName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)))

data Function Source #

Constructors

Function
Fields funPrefix :: Maybe (LibType, Text) funName :: Text funArgs :: [Arg] funReturn :: Parsable

Instances

Eq Function Source #
Instance details Defined in CodeGen.Types.Parsed Methods (==) :: Function -> Function -> Bool # (/=) :: Function -> Function -> Bool #
Show Function Source #
Instance details Defined in CodeGen.Types.Parsed Methods showsPrec :: Int -> Function -> ShowS # show :: Function -> String # showList :: [Function] -> ShowS #
Generic Function Source #
Instance details Defined in CodeGen.Types.Parsed Associated Types type Rep Function :: Type -> Type # Methods from :: Function -> Rep Function x # to :: Rep Function x -> Function #
Hashable Function Source #
Instance details Defined in CodeGen.Types.Parsed Methods hashWithSalt :: Int -> Function -> Int hash :: Function -> Int
type Rep Function Source #
Instance details Defined in CodeGen.Types.Parsed type Rep Function = D1 (MetaData "Function" "CodeGen.Types.Parsed" "hasktorch-codegen-0.0.1.1-inplace" False) (C1 (MetaCons "Function" PrefixI True) ((S1 (MetaSel (Just "funPrefix") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (LibType, Text))) :: S1 (MetaSel (Just "funName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)) :: (S1 (MetaSel (Just "funArgs") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Arg]) :*: S1 (MetaSel (Just "funReturn") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Parsable))))

type Parser = Parsec Void String Source #