Numeric.AD.Internal.Or

Documentation

data Or s a b where

The choice between two AD modes is an AD mode in its own right

Constructors

L :: a -> Or F a b

R :: b -> Or T a b

Instances

(Bounded a, Bounded b, Chosen s) => Bounded (Or s a b)

(Enum a, Enum b, Chosen s) => Enum (Or s a b)

(Eq a, Eq b) => Eq (Or s a b)

(Floating a, Floating b, Chosen s) => Floating (Or s a b)

(Fractional a, Fractional b, Chosen s) => Fractional (Or s a b)

(Num a, Num b, Chosen s) => Num (Or s a b)

(Ord a, Ord b) => Ord (Or s a b)

(Real a, Real b, Chosen s) => Real (Or s a b)

(RealFloat a, RealFloat b, Chosen s) => RealFloat (Or s a b)

(RealFrac a, RealFrac b, Chosen s) => RealFrac (Or s a b)

(Erf a, Erf b, Chosen s) => Erf (Or s a b)

(InvErf a, InvErf b, Chosen s) => InvErf (Or s a b)

(Mode a, Mode b, Chosen s, ~ * (Scalar a) (Scalar b)) => Mode (Or s a b)

data F

Instances

Chosen F

data T

Instances

Chosen T

runL :: Or F a b -> a

runR :: Or T a b -> b

class Chosen s where

Methods

choose :: a -> b -> Or s a b

Instances

Chosen T

Chosen F

chosen :: (a -> r) -> (b -> r) -> Or s a b -> r

unary :: (a -> a) -> (b -> b) -> Or s a b -> Or s a b

binary :: (a -> a -> a) -> (b -> b -> b) -> Or s a b -> Or s a b -> Or s a b