DDF.WithDiff

Documentation

class Monoid r w => WithDiff r w where

Minimal complete definition

withDiff

Methods

withDiff :: r h ((w -> x) -> w -> Diff x w)

Instances

Lang r => WithDiff r Float

Methods

withDiff :: r h ((Float -> x) -> Float -> Diff x Float)

Lang r => WithDiff r Double

Methods

withDiff :: r h ((Double -> x) -> Double -> Diff x Double)

Lang r => WithDiff r ()

Methods

withDiff :: r h ((() -> x) -> () -> Diff x ())

(Lang repr, WithDiff repr l, WithDiff repr r) => WithDiff repr (l, r)

Methods

withDiff :: repr h (((l, r) -> x) -> (l, r) -> Diff x (l, r))

Lang repr => ProdCon (WithDiff repr) l r

Methods

prodCon :: (WithDiff repr l, WithDiff repr r) :- WithDiff repr (l, r)

withDiff1 :: (WithDiff repr w, DBI repr) => repr h (w -> x) -> repr h (w -> Diff x w)

selfWithDiff :: (DBI r, WithDiff r w) => r h (w -> Diff w w)