Numeric.AD.Internal.Or

Documentation

data Or a b s where

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

Constructors

L :: a -> Or a b F

R :: b -> Or a b T

Instances

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

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

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

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

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

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

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

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

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

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

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

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

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

data F

Instances

Chosen F

data T

Instances

Chosen T

runL :: Or a b F -> a

runR :: Or a b T -> b

class Chosen s where

Methods

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

Instances

Chosen T

Chosen F

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

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

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