Safe Haskell	Safe-Inferred
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 #

adfDerL :: forall (a :: Type). (⟢) (ADF a) a Source #

adfValL :: forall (a :: Type). (⟢) (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 #

adbDerL :: forall (a :: Type). (⟢) (ADB a) (a -> a -> a) Source #

adbValL :: forall (a :: Type). (⟢) (ADB 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 :: [𝐍] -> ★ -> ★) (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 #

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

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

constADFF :: Zero (f (ns ⧺ ms) a) => f (ns ⧺ ms) a -> ADFF ns f ms a Source #

sensADFF :: f (ns ⧺ ms) a -> f (ns ⧺ ms) a -> ADFF ns f ms a Source #

plusADFF :: Plus (f (ns ⧺ ms) a) => ADFF ns f ms a -> ADFF ns f ms a -> ADFF ns f ms a Source #

timesADFF :: (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 :: [𝐍] -> ★ -> ★) (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 #

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

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

constADFB :: f (ns ⧺ ms) a -> ADFB ns f ms a Source #

sensADFB :: f (ns ⧺ ms) a -> (f (ns ⧺ ms) a -> f (ns ⧺ ms) a -> f (ns ⧺ ms) a) -> ADFB ns f ms a Source #

plusADFB :: Plus (f (ns ⧺ ms) a) => ADFB ns f ms a -> ADFB ns f ms a -> ADFB ns f ms a Source #

timesADFB :: (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 #