protovoices-rl-0.1.0.0
Safe HaskellNone
LanguageGHC2021

RL.ModelTypes

Documentation

type QDType = 'Double Source #

type IsValidDevice (dev :: (DeviceType, Nat)) = (GeluDTypeIsValid dev QDType, RandDTypeIsValid dev QDType, BasicArithmeticDTypeIsValid dev QDType, SumDTypeIsValid dev QDType, MeanDTypeValidation dev QDType, StandardFloatingPointDTypeValidation dev QDType, KnownDevice dev) Source #

type QType = Double Source #

inf :: QType Source #

qDType :: DType Source #

type QTensor (device :: (DeviceType, Nat)) (shape :: [Nat]) = Tensor device QDType shape Source #

opts :: forall (dev :: (DeviceType, Nat)). KnownDevice dev => TensorOptions Source #

toOpts :: forall (dev :: (DeviceType, Nat)) a. (KnownDevice dev, HasTypes a Tensor) => a -> a Source #

toQTensor' :: forall (dev :: (DeviceType, Nat)). KnownDevice dev => QType -> Tensor Source #

toQTensor :: forall (dev :: (DeviceType, Nat)). KnownDevice dev => QType -> QTensor dev ('[] :: [Nat]) Source #

type FakeSize = 1337 Source #

type MaxPitches = 8 Source #

type MaxEdges = 8 Source #

type PVAction = Action (Notes SPitch) (Edges SPitch) (Split SPitch) (Freeze SPitch) (Spread SPitch) Source #

type PVState = GreedyState (Edges SPitch) [Edge SPitch] (Notes SPitch) (PVLeftmost SPitch) Source #

type PVActionResult = Either PVState (Edges SPitch, [PVLeftmost SPitch]) Source #

type PVRewardFn label = PVActionResult -> Maybe (NonEmpty PVAction) -> PVAction -> label -> IO QType Source #

type CommonHiddenSize = 8 Source #

type FifthLow = 'Neg 3 Source #

type FifthPadding = 6 Source #

type OctaveLow = 'Pos 2 Source #

type OctavePadding = 2 Source #

type EmbSize = CommonHiddenSize Source #

type FifthSize = (2 * FifthPadding) + 1 Source #

type OctaveSize = (2 * OctavePadding) + 1 Source #

type PShape = '[FifthSize, OctaveSize] Source #

type PSize = FifthSize + OctaveSize Source #

type EmbShape = EmbSize ': PShape Source #

type ESize = PSize + PSize Source #

type EShape' = '[FakeSize, ESize] Source #

type QOutHidden = CommonHiddenSize Source #

type QSliceHidden = CommonHiddenSize Source #

type QTransHidden = CommonHiddenSize Source #

type QActionHidden = CommonHiddenSize Source #

type QStateHidden = CommonHiddenSize Source #

Orphan instances

NFData IndependentTensor Source # 
Instance details

Methods

rnf :: IndependentTensor -> () #

NFData GD Source # 
Instance details

Methods

rnf :: GD -> () #

Generic GD Source # 
Instance details

Associated Types

type Rep GD 
Instance details

Defined in RL.ModelTypes

type Rep GD = D1 ('MetaData "GD" "Torch.Typed.Optim" "hasktorch-0.2.1.6-LDjqZXcNPYQAOVyrR3h8rq" 'False) (C1 ('MetaCons "GD" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: GD -> Rep GD x #

to :: Rep GD x -> GD #

NoThunks IndependentTensor Source # 
Instance details

Methods

noThunks :: Context -> IndependentTensor -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> IndependentTensor -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy IndependentTensor -> String #

NoThunks Tensor Source # 
Instance details

Methods

noThunks :: Context -> Tensor -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> Tensor -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy Tensor -> String #

NoThunks GD Source # 
Instance details

Methods

noThunks :: Context -> GD -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> GD -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy GD -> String #

NFData (HList momenta) => NFData (Adam momenta) Source # 
Instance details

Methods

rnf :: Adam momenta -> () #

Generic (Adam momenta) Source # 
Instance details

Associated Types

type Rep (Adam momenta) 
Instance details

Defined in RL.ModelTypes

type Rep (Adam momenta) = D1 ('MetaData "Adam" "Torch.Typed.Optim" "hasktorch-0.2.1.6-LDjqZXcNPYQAOVyrR3h8rq" 'False) (C1 ('MetaCons "Adam" 'PrefixI 'True) ((S1 ('MetaSel ('Just "iter") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedUnpack) (Rec0 AdamIter) :*: S1 ('MetaSel ('Just "beta1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedUnpack) (Rec0 Float)) :*: (S1 ('MetaSel ('Just "beta2") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedUnpack) (Rec0 Float) :*: (S1 ('MetaSel ('Just "momenta1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (HList momenta)) :*: S1 ('MetaSel ('Just "momenta2") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (HList momenta))))))

Methods

from :: Adam momenta -> Rep (Adam momenta) x #

to :: Rep (Adam momenta) x -> Adam momenta #

NoThunks (HList momenta) => NoThunks (Adam momenta) Source # 
Instance details

Methods

noThunks :: Context -> Adam momenta -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> Adam momenta -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy (Adam momenta) -> String #

(NFData x, NFData (HList xs)) => NFData (HList (x ': xs)) Source # 
Instance details

Methods

rnf :: HList (x ': xs) -> () #

NFData (HList ('[] :: [k])) Source # 
Instance details

Methods

rnf :: HList ('[] :: [k]) -> () #

(NoThunks x, NoThunks (HList xs)) => NoThunks (HList (x ': xs)) Source # 
Instance details

Methods

noThunks :: Context -> HList (x ': xs) -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> HList (x ': xs) -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy (HList (x ': xs)) -> String #

NoThunks (HList ('[] :: [k])) Source # 
Instance details

Methods

noThunks :: Context -> HList ('[] :: [k]) -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> HList ('[] :: [k]) -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy (HList ('[] :: [k])) -> String #

NFData (LayerNorm shape dtype dev) Source # 
Instance details

Methods

rnf :: LayerNorm shape dtype dev -> () #

NFData (Parameter dev dtype shape) Source # 
Instance details

Methods

rnf :: Parameter dev dtype shape -> () #

NFData (Tensor dev dtype shape) Source # 
Instance details

Methods

rnf :: Tensor dev dtype shape -> () #

Generic (Parameter dev dtype shape) Source # 
Instance details

Associated Types

type Rep (Parameter dev dtype shape) 
Instance details

Defined in RL.ModelTypes

type Rep (Parameter dev dtype shape) = D1 ('MetaData "Parameter" "Torch.Typed.Parameter" "hasktorch-0.2.1.6-LDjqZXcNPYQAOVyrR3h8rq" 'True) (C1 ('MetaCons "UnsafeMkParameter" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IndependentTensor)))

Methods

from :: Parameter dev dtype shape -> Rep (Parameter dev dtype shape) x #

to :: Rep (Parameter dev dtype shape) x -> Parameter dev dtype shape #

Generic (Tensor dev dtype shape) Source # 
Instance details

Associated Types

type Rep (Tensor dev dtype shape) 
Instance details

Defined in RL.ModelTypes

type Rep (Tensor dev dtype shape) = D1 ('MetaData "Tensor" "Torch.Typed.Tensor" "hasktorch-0.2.1.6-LDjqZXcNPYQAOVyrR3h8rq" 'False) (C1 ('MetaCons "UnsafeMkTensor" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Tensor)))

Methods

from :: Tensor dev dtype shape -> Rep (Tensor dev dtype shape) x #

to :: Rep (Tensor dev dtype shape) x -> Tensor dev dtype shape #

NoThunks (LayerNorm shape dtype dev) Source # 
Instance details

Methods

noThunks :: Context -> LayerNorm shape dtype dev -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> LayerNorm shape dtype dev -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy (LayerNorm shape dtype dev) -> String #

NoThunks (Parameter dev dtype shape) Source # 
Instance details

Methods

noThunks :: Context -> Parameter dev dtype shape -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> Parameter dev dtype shape -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy (Parameter dev dtype shape) -> String #

NoThunks (Tensor dev dtype shape) Source # 
Instance details

Methods

noThunks :: Context -> Tensor dev dtype shape -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> Tensor dev dtype shape -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy (Tensor dev dtype shape) -> String #

NFData (Linear nin nout dtype dev) Source # 
Instance details

Methods

rnf :: Linear nin nout dtype dev -> () #

NoThunks (Linear nin nout dtype dev) Source # 
Instance details

Methods

noThunks :: Context -> Linear nin nout dtype dev -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> Linear nin nout dtype dev -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy (Linear nin nout dtype dev) -> String #

NFData (Conv2d cin cout k0 k1 dtype dev) Source # 
Instance details

Methods

rnf :: Conv2d cin cout k0 k1 dtype dev -> () #

NoThunks (Conv2d cin cout k0 k1 dtype dev) Source # 
Instance details

Methods

noThunks :: Context -> Conv2d cin cout k0 k1 dtype dev -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> Conv2d cin cout k0 k1 dtype dev -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy (Conv2d cin cout k0 k1 dtype dev) -> String #