Safe Haskell	Safe
Language	Haskell2010

DDF.WithDiff

Documentation

class Monoid r w => WithDiff r w where Source #

Minimal complete definition

Methods

withDiff :: r h ((w -> x) -> w -> DiffType x w) Source #

Instances

Lang r => WithDiff r Float Source #
Methods withDiff :: r h ((Float -> x) -> Float -> DiffType x Float) Source #
Lang r => WithDiff r Double Source #
Methods withDiff :: r h ((Double -> x) -> Double -> DiffType x Double) Source #
Lang r => WithDiff r () Source #
Methods withDiff :: r h ((() -> x) -> () -> DiffType x ()) Source #
(Lang repr, WithDiff repr l, WithDiff repr r) => WithDiff repr (l, r) Source #
Methods withDiff :: repr h (((l, r) -> x) -> (l, r) -> DiffType x (l, r)) Source #
Lang repr => ProdCon (WithDiff repr) l r Source #
Methods prodCon :: (WithDiff repr l, WithDiff repr r) :- WithDiff repr (l, r) Source #

withDiff1 :: (WithDiff r w, DBI r) => r h (w -> x) -> r h (w -> DiffType x w) Source #