ProdCon Show l r Source #
Methods prodCon :: (Show l, Show r) :- Show (l, r) Source #
ProdCon Random l r Source #
Methods prodCon :: (Random l, Random r) :- Random (l, r) Source #
ProdCon RandRange l r Source #
Methods prodCon :: (RandRange l, RandRange r) :- RandRange (l, r) Source #
Lang repr => ProdCon (Reify repr) l r Source #
Methods prodCon :: (Reify repr l, Reify repr r) :- Reify repr (l, r) Source #
Lang repr => ProdCon (WithDiff repr) l r Source #
Methods prodCon :: (WithDiff repr l, WithDiff repr r) :- WithDiff repr (l, r) Source #

class Weight w where Source #

Minimal complete definition

Methods

Instances

Weight Double Source #
Methods weightCon :: (con (), con Float, con Double, ForallV (* -> * -> Constraint) (ProdCon con)) :- con Double Source #
Weight Float Source #
Methods weightCon :: (con (), con Float, con Double, ForallV (* -> * -> Constraint) (ProdCon con)) :- con Float Source #
Weight () Source #
Methods weightCon :: (con (), con Float, con Double, ForallV (* -> * -> Constraint) (ProdCon con)) :- con () Source #
(Weight l, Weight r) => Weight (l, r) Source #
Methods weightCon :: (con (), con Float, con Double, ForallV (* -> * -> Constraint) (ProdCon con)) :- con (l, r) Source #

data RunImpW repr h x Source #

Constructors

Weight w => RunImpW (repr h (w -> x))

data ImpW repr h x Source #

Constructors

NoImpW (repr h x)
Weight w => ImpW (repr h (w -> x))

type RunImpWR repr h x = forall r. (forall w. Weight w => repr h (w -> x) -> r) -> r Source #