Data.ANum

Documentation

data ANum f n

Instances

Functor f => Functor (ANum f)

Applicative f => Applicative (ANum f)

(Applicative f, Floating n) => Floating (ANum f n)

(Applicative f, Fractional n) => Fractional (ANum f n)

(Applicative f, Num n) => Num (ANum f n)

Show (f n) => Show (ANum f n)

unANum :: ANum f n -> f n