Numeric.AD.Internal.Iterated

Documentation

data Iterated f a

Constructors

a :| (f (Iterated f a))

Instances

Functor f => Functor (Iterated f)

Typeable1 f => Typeable1 (Iterated f)

Foldable f => Foldable (Iterated f)

Traversable f => Traversable (Iterated f)

Functor f => Comonad (Iterated f)

Functor f => Copointed (Iterated f)

Primal (Iterated f)

Mode f => Mode (Iterated f)

Mode f => Lifted (Iterated f)

(Num a, Mode f, Bounded a) => Bounded (Iterated f a)

(Num a, Mode f, Enum a) => Enum (Iterated f a)

(Num a, Mode f, Eq a) => Eq (Iterated f a)

(Mode f, Floating a) => Floating (Iterated f a)

(Mode f, Fractional a) => Fractional (Iterated f a)

(Typeable1 f, Data (f (Iterated f a)), Data a) => Data (Iterated f a)

(Mode f, Num a) => Num (Iterated f a)

(Num a, Mode f, Ord a) => Ord (Iterated f a)

(Mode f, Real a) => Real (Iterated f a)

(Mode f, RealFloat a) => RealFloat (Iterated f a)

(Mode f, RealFrac a) => RealFrac (Iterated f a)

(Mode f, Show a) => Show (Iterated f a)

(Typeable1 f, Typeable a) => Typeable (Iterated f a)

tailI :: Iterated f a -> f (Iterated f a)

unfoldI :: Functor f => (a -> (b, f a)) -> a -> Iterated f b

bundle :: Num a => a -> a -> AD (Iterated Forward) a

bind :: (Traversable f, Num a) => (f (AD (Iterated Forward) a) -> b) -> f a -> f b