Safe Haskell	Safe-Inferred
Language	Haskell2010

Torch.GraduallyTyped.NN.Type

Documentation

data HasBias Source #

Constructors

WithBias
WithoutBias

Instances

Instances details

Generic HasBias Source #
Instance details Defined in Torch.GraduallyTyped.NN.Type Associated Types type Rep HasBias :: Type -> Type Source # Methods from :: HasBias -> Rep HasBias x Source # to :: Rep HasBias x -> HasBias Source #
Show HasBias Source #
Instance details Defined in Torch.GraduallyTyped.NN.Type Methods showsPrec :: Int -> HasBias -> ShowS Source # show :: HasBias -> String Source # showList :: [HasBias] -> ShowS Source #
Eq HasBias Source #
Instance details Defined in Torch.GraduallyTyped.NN.Type Methods (==) :: HasBias -> HasBias -> Bool Source # (/=) :: HasBias -> HasBias -> Bool Source #
Ord HasBias Source #
Instance details Defined in Torch.GraduallyTyped.NN.Type Methods compare :: HasBias -> HasBias -> Ordering Source # (<) :: HasBias -> HasBias -> Bool Source # (<=) :: HasBias -> HasBias -> Bool Source # (>) :: HasBias -> HasBias -> Bool Source # (>=) :: HasBias -> HasBias -> Bool Source # max :: HasBias -> HasBias -> HasBias Source # min :: HasBias -> HasBias -> HasBias Source #
SingKind HasBias Source #
Instance details Defined in Torch.GraduallyTyped.NN.Type Associated Types type Demote HasBias = (r :: Type) Source # Methods fromSing :: forall (a :: HasBias). Sing a -> Demote HasBias Source # toSing :: Demote HasBias -> SomeSing HasBias Source #
SingI 'WithBias Source #
Instance details Defined in Torch.GraduallyTyped.NN.Type Methods sing :: Sing 'WithBias Source #
SingI 'WithoutBias Source #
Instance details Defined in Torch.GraduallyTyped.NN.Type Methods sing :: Sing 'WithoutBias Source #
type Rep HasBias Source #
Instance details Defined in Torch.GraduallyTyped.NN.Type type Rep HasBias = D1 ('MetaData "HasBias" "Torch.GraduallyTyped.NN.Type" "hasktorch-gradually-typed-0.2.0.0-1KV1aIPzzbp6JpSr37tC1K" 'False) (C1 ('MetaCons "WithBias" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "WithoutBias" 'PrefixI 'False) (U1 :: Type -> Type))
type Demote HasBias Source #
Instance details Defined in Torch.GraduallyTyped.NN.Type type Demote HasBias = HasBias
type Sing Source #
Instance details Defined in Torch.GraduallyTyped.NN.Type type Sing = SHasBias

type family WithBiasSym0 :: HasBias where ... Source #

Equations

WithBiasSym0 = 'WithBias

type family WithoutBiasSym0 :: HasBias where ... Source #

Equations

WithoutBiasSym0 = 'WithoutBias

data SHasBias :: HasBias -> Type where Source #

Constructors

SWithBias :: SHasBias ('WithBias :: HasBias)
SWithoutBias :: SHasBias ('WithoutBias :: HasBias)

Instances

Instances details

Show (SHasBias hasBias) Source #
Instance details Defined in Torch.GraduallyTyped.NN.Type Methods showsPrec :: Int -> SHasBias hasBias -> ShowS Source # show :: SHasBias hasBias -> String Source # showList :: [SHasBias hasBias] -> ShowS Source #

data HasDropout Source #

Constructors

WithDropout
WithoutDropout

Instances

Instances details

Generic HasDropout Source #
Instance details Defined in Torch.GraduallyTyped.NN.Type Associated Types type Rep HasDropout :: Type -> Type Source # Methods from :: HasDropout -> Rep HasDropout x Source # to :: Rep HasDropout x -> HasDropout Source #
Show HasDropout Source #
Instance details Defined in Torch.GraduallyTyped.NN.Type Methods showsPrec :: Int -> HasDropout -> ShowS Source # show :: HasDropout -> String Source # showList :: [HasDropout] -> ShowS Source #
Eq HasDropout Source #
Instance details Defined in Torch.GraduallyTyped.NN.Type Methods (==) :: HasDropout -> HasDropout -> Bool Source # (/=) :: HasDropout -> HasDropout -> Bool Source #
Ord HasDropout Source #
Instance details Defined in Torch.GraduallyTyped.NN.Type Methods compare :: HasDropout -> HasDropout -> Ordering Source # (<) :: HasDropout -> HasDropout -> Bool Source # (<=) :: HasDropout -> HasDropout -> Bool Source # (>) :: HasDropout -> HasDropout -> Bool Source # (>=) :: HasDropout -> HasDropout -> Bool Source # max :: HasDropout -> HasDropout -> HasDropout Source # min :: HasDropout -> HasDropout -> HasDropout Source #
SingKind HasDropout Source #
Instance details Defined in Torch.GraduallyTyped.NN.Type Associated Types type Demote HasDropout = (r :: Type) Source # Methods fromSing :: forall (a :: HasDropout). Sing a -> Demote HasDropout Source # toSing :: Demote HasDropout -> SomeSing HasDropout Source #
SingI 'WithDropout Source #
Instance details Defined in Torch.GraduallyTyped.NN.Type Methods sing :: Sing 'WithDropout Source #
SingI 'WithoutDropout Source #
Instance details Defined in Torch.GraduallyTyped.NN.Type Methods sing :: Sing 'WithoutDropout Source #
type Rep HasDropout Source #
Instance details Defined in Torch.GraduallyTyped.NN.Type type Rep HasDropout = D1 ('MetaData "HasDropout" "Torch.GraduallyTyped.NN.Type" "hasktorch-gradually-typed-0.2.0.0-1KV1aIPzzbp6JpSr37tC1K" 'False) (C1 ('MetaCons "WithDropout" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "WithoutDropout" 'PrefixI 'False) (U1 :: Type -> Type))
type Demote HasDropout Source #
Instance details Defined in Torch.GraduallyTyped.NN.Type type Demote HasDropout = HasDropout
type Sing Source #
Instance details Defined in Torch.GraduallyTyped.NN.Type type Sing = SHasDropout

type family WithDropoutSym0 :: HasDropout where ... Source #

Equations

WithDropoutSym0 = 'WithDropout

type family WithoutDropoutSym0 :: HasDropout where ... Source #

Equations

WithoutDropoutSym0 = 'WithoutDropout

data SHasDropout :: HasDropout -> Type where Source #

Constructors

SWithDropout :: SHasDropout ('WithDropout :: HasDropout)
SWithoutDropout :: SHasDropout ('WithoutDropout :: HasDropout)

Instances

Instances details

Show (SHasDropout hasDropout) Source #
Instance details Defined in Torch.GraduallyTyped.NN.Type Methods showsPrec :: Int -> SHasDropout hasDropout -> ShowS Source # show :: SHasDropout hasDropout -> String Source # showList :: [SHasDropout hasDropout] -> ShowS Source #