Safe Haskell	None
Language	Haskell2010

UVMHS.Lib.AD

Documentation

data ADF a Source #

Constructors

ADF
Fields adfVal :: a adfDer :: a

Instances

Instances details

Show a => Show (ADF a) Source #
Instance details Defined in UVMHS.Lib.AD Methods showsPrec :: Int -> ADF a -> ShowS # show :: ADF a -> String # showList :: [ADF a] -> ShowS #
Eq a => Eq (ADF a) Source #
Instance details Defined in UVMHS.Lib.AD Methods (==) :: ADF a -> ADF a -> Bool # (/=) :: ADF a -> ADF a -> Bool #
Ord a => Ord (ADF a) Source #
Instance details Defined in UVMHS.Lib.AD Methods compare :: ADF a -> ADF a -> Ordering # (<) :: ADF a -> ADF a -> Bool # (<=) :: ADF a -> ADF a -> Bool # (>) :: ADF a -> ADF a -> Bool # (>=) :: ADF a -> ADF a -> Bool # max :: ADF a -> ADF a -> ADF a # min :: ADF a -> ADF a -> ADF a #
Pretty a => Pretty (ADF a) Source #
Instance details Defined in UVMHS.Lib.AD Methods pretty :: ADF a -> Doc Source #

adfValL :: ADF a ⟢ a Source #

adfDerL :: ADF a ⟢ a Source #

constADF :: Zero a => a -> ADF a Source #

sensADF :: a -> a -> ADF a Source #

plusADF :: Plus a => ADF a -> ADF a -> ADF a Source #

timesADF :: (Plus a, Times a) => ADF a -> ADF a -> ADF a Source #

data ADB a Source #

Constructors

ADB
Fields adbVal :: a adbDer :: a -> a -> a

Instances

Instances details

(Pretty a, Pretty (a -> a -> a)) => Pretty (ADB a) Source #
Instance details Defined in UVMHS.Lib.AD Methods pretty :: ADB a -> Doc Source #

adbValL :: ADB a ⟢ a Source #

adbDerL :: ADB a ⟢ (a -> a -> a) Source #

constADB :: Zero a => a -> ADB a Source #

sensADB :: a -> (a -> a -> a) -> ADB a Source #

plusADB :: Plus a => ADB a -> ADB a -> ADB a Source #

timesADB :: Times a => ADB a -> ADB a -> ADB a Source #

data ADFF (ns :: [𝐍]) (f :: [𝐍] -> Type -> Type) (ms :: [𝐍]) a Source #

Constructors

ADFF
Fields adffVal :: f (ns ⧺ ms) a adffDer :: f (ns ⧺ ms) a

Instances

Instances details

Pretty (f (ns ⧺ ms) a) => Pretty (ADFF ns f ms a) Source #
Instance details Defined in UVMHS.Lib.AD Methods pretty :: ADFF ns f ms a -> Doc Source #

adffValL :: forall (ns :: [𝐍]) f (ms :: [𝐍]) a. ADFF ns f ms a ⟢ f (ns ⧺ ms) a Source #

adffDerL :: forall (ns :: [𝐍]) f (ms :: [𝐍]) a. ADFF ns f ms a ⟢ f (ns ⧺ ms) a Source #

constADFF :: forall f (ns :: [𝐍]) (ms :: [𝐍]) a. Zero (f (ns ⧺ ms) a) => f (ns ⧺ ms) a -> ADFF ns f ms a Source #

sensADFF :: forall f (ns :: [𝐍]) (ms :: [𝐍]) a. f (ns ⧺ ms) a -> f (ns ⧺ ms) a -> ADFF ns f ms a Source #

plusADFF :: forall (f :: [𝐍] -> Type -> Type) (ns :: [𝐍]) (ms :: [𝐍]) a. Plus (f (ns ⧺ ms) a) => ADFF ns f ms a -> ADFF ns f ms a -> ADFF ns f ms a Source #

timesADFF :: forall (f :: [𝐍] -> Type -> Type) (ns :: [𝐍]) (ms :: [𝐍]) a. (Plus (f (ns ⧺ ms) a), Times (f (ns ⧺ ms) a)) => ADFF ns f ms a -> ADFF ns f ms a -> ADFF ns f ms a Source #

data ADFB (ns :: [𝐍]) (f :: [𝐍] -> Type -> Type) (ms :: [𝐍]) a Source #

Constructors

ADFB
Fields adfbVal :: f (ns ⧺ ms) a adfbDer :: f (ns ⧺ ms) a -> f (ns ⧺ ms) a -> f (ns ⧺ ms) a

Instances

Instances details

(Pretty (f (ns ⧺ ms) a), Pretty (f (ns ⧺ ms) a -> f (ns ⧺ ms) a -> f (ns ⧺ ms) a)) => Pretty (ADFB ns f ms a) Source #
Instance details Defined in UVMHS.Lib.AD Methods pretty :: ADFB ns f ms a -> Doc Source #

adfbValL :: forall (ns :: [𝐍]) f (ms :: [𝐍]) a. ADFB ns f ms a ⟢ f (ns ⧺ ms) a Source #

adfbDerL :: forall (ns :: [𝐍]) f (ms :: [𝐍]) a. ADFB ns f ms a ⟢ (f (ns ⧺ ms) a -> f (ns ⧺ ms) a -> f (ns ⧺ ms) a) Source #

constADFB :: forall f (ns :: [𝐍]) (ms :: [𝐍]) a. f (ns ⧺ ms) a -> ADFB ns f ms a Source #

sensADFB :: forall f (ns :: [𝐍]) (ms :: [𝐍]) a. f (ns ⧺ ms) a -> (f (ns ⧺ ms) a -> f (ns ⧺ ms) a -> f (ns ⧺ ms) a) -> ADFB ns f ms a Source #

plusADFB :: forall (f :: [𝐍] -> Type -> Type) (ns :: [𝐍]) (ms :: [𝐍]) a. Plus (f (ns ⧺ ms) a) => ADFB ns f ms a -> ADFB ns f ms a -> ADFB ns f ms a Source #

timesADFB :: forall (f :: [𝐍] -> Type -> Type) (ns :: [𝐍]) (ms :: [𝐍]) a. (Plus (f (ns ⧺ ms) a), Times (f (ns ⧺ ms) a)) => ADFB ns f ms a -> ADFB ns f ms a -> ADFB ns f ms a Source #