ad-4.2.0.1: Automatic Differentiation

PortabilityGHC only
Stabilityexperimental
Maintainerekmett@gmail.com
Safe HaskellNone

Numeric.AD.Internal.Or

Description

 

Synopsis

Documentation

data Or s a b whereSource

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 Source

Instances

data T Source

Instances

runL :: Or F a b -> aSource

runR :: Or T a b -> bSource

class Chosen s whereSource

Methods

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

Instances

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

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

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