Copyright | (c) Edward Kmett 2010-2015 |
---|---|

License | BSD3 |

Maintainer | ekmett@gmail.com |

Stability | experimental |

Portability | GHC only |

Safe Haskell | Safe |

Language | Haskell2010 |

# Documentation

A `Jet`

is a tower of all (higher order) partial derivatives of a function

At each step, a

is wrapped in another layer worth of `Jet`

f`f`

.

a :- f a :- f (f a) :- f (f (f a)) :- ...

## Instances

Functor f => Functor (Jet f) Source # | |

Foldable f => Foldable (Jet f) Source # | |

Defined in Numeric.AD.Jet fold :: Monoid m => Jet f m -> m # foldMap :: Monoid m => (a -> m) -> Jet f a -> m # foldr :: (a -> b -> b) -> b -> Jet f a -> b # foldr' :: (a -> b -> b) -> b -> Jet f a -> b # foldl :: (b -> a -> b) -> b -> Jet f a -> b # foldl' :: (b -> a -> b) -> b -> Jet f a -> b # foldr1 :: (a -> a -> a) -> Jet f a -> a # foldl1 :: (a -> a -> a) -> Jet f a -> a # elem :: Eq a => a -> Jet f a -> Bool # maximum :: Ord a => Jet f a -> a # minimum :: Ord a => Jet f a -> a # | |

Traversable f => Traversable (Jet f) Source # | |

(Functor f, Show (f Showable), Show a) => Show (Jet f a) Source # | |