Safe Haskell	Safe
Language	Haskell2010

DDF.DiffWrapper

Documentation

class DBI r => DiffWrapper r where Source #

Minimal complete definition

Methods

Instances

DiffWrapper Eval Source #
Methods diffWrapper :: Eval h (FDiffType a x -> DiffWrapper a x) Source # runDiffWrapper :: Eval h (DiffWrapper a x -> FDiffType a x) Source #
DiffWrapper Show Source #
Methods diffWrapper :: Show h (FDiffType a x -> DiffWrapper a x) Source # runDiffWrapper :: Show h (DiffWrapper a x -> FDiffType a x) Source #
DiffWrapper Size Source #
Methods diffWrapper :: Size h (FDiffType a x -> DiffWrapper a x) Source # runDiffWrapper :: Size h (DiffWrapper a x -> FDiffType a x) Source #
SubL c DiffWrapper => DiffWrapper (Term c) Source #
Methods diffWrapper :: Term c h (FDiffType a x -> DiffWrapper a x) Source # runDiffWrapper :: Term c h (DiffWrapper a x -> FDiffType a x) Source #
DiffWrapper r => DiffWrapper (UnHOAS r) Source #
Methods diffWrapper :: UnHOAS r h (FDiffType a x -> DiffWrapper a x) Source # runDiffWrapper :: UnHOAS r h (DiffWrapper a x -> FDiffType a x) Source #
(Prod r, DiffWrapper r) => DiffWrapper (UnLiftEnv r) Source #
Methods diffWrapper :: UnLiftEnv r h (FDiffType a x -> DiffWrapper a x) Source # runDiffWrapper :: UnLiftEnv r h (DiffWrapper a x -> FDiffType a x) Source #
(Prod r, DiffWrapper r) => DiffWrapper (ImpW r) Source #
Methods diffWrapper :: ImpW r h (FDiffType a x -> DiffWrapper a x) Source # runDiffWrapper :: ImpW r h (DiffWrapper a x -> FDiffType a x) Source #
type SubLC c DiffWrapper Source #
type SubLC c DiffWrapper = SubL c DBI