Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Documentation
diffInf :: (Vector (RTInfDiff r) v, DBI r) => Proxy v -> RTInfDiff r () x -> RTInfDiff r h (DiffType v x) Source #
Orphan instances
DBI r => DBI (RTInfDiff r) Source # | |
(Dual r, Double r) => Double (RTInfDiff r) Source # | |
Lang r => Float (RTInfDiff r) Source # | |
Option r => Option (RTInfDiff r) Source # | |
Prod r => Prod (RTInfDiff r) Source # | |
Dual r => Dual (RTInfDiff r) Source # | |
Map r => Map (RTInfDiff r) Source # | |
Unit r => Unit (RTInfDiff r) Source # | |
Char r => Char (RTInfDiff r) Source # | |
Bool r => Bool (RTInfDiff r) Source # | |
Bimap r => Bimap (RTInfDiff r) Source # | |
Lang r => Lang (RTInfDiff r) Source # | |
DLang r => DLang (RTInfDiff r) Source # | |