ad-4.2.1: Automatic Differentiation

Copyright(c) Edward Kmett 2014
LicenseBSD3
Maintainerekmett@gmail.com
Stabilityexperimental
PortabilityGHC only
Safe HaskellNone
LanguageHaskell2010

Numeric.AD.Internal.Or

Description

 

Synopsis

Documentation

data Or s a b where Source

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

Typeable (* -> * -> * -> *) Or 
(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) 
type Scalar (Or s a b) = Scalar a 

data F Source

Instances

data T Source

Instances

runL :: Or F a b -> a Source

runR :: Or T a b -> b Source

class Chosen s where Source

Methods

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

Instances

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

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

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