Copyright	Copyright © 2021 Kadena LLC.
License	MIT
Maintainer	Lars Kuhtz <lars@kadena.io>
Stability	experimental
Safe Haskell	None
Language	Haskell2010

Pact.Time.Internal

Contents

NominalDiffTime
UTCTime
Julian Dates
Reexports

Description

This is an internal module. No guarantee is provided regarding the stability of the functions in this module. Use at your own risk.

Synopsis

type Micros = Int64
type Day = Int
newtype NominalDiffTime = NominalDiffTime {
- _microseconds :: Micros
}
toMicroseconds :: NominalDiffTime -> Micros
fromMicroseconds :: Micros -> NominalDiffTime
toSeconds :: NominalDiffTime -> Decimal
fromSeconds :: Decimal -> NominalDiffTime
nominalDay :: NominalDiffTime
newtype UTCTime = UTCTime {
- _utcTime :: NominalDiffTime
}
getCurrentTime :: IO UTCTime
day :: Lens' UTCTime ModifiedJulianDay
dayTime :: Lens' UTCTime NominalDiffTime
fromDayAndDayTime :: ModifiedJulianDay -> NominalDiffTime -> UTCTime
toPosixTimestampMicros :: UTCTime -> Micros
fromPosixTimestampMicros :: Micros -> UTCTime
mjdEpoch :: UTCTime
posixEpoch :: UTCTime
newtype ModifiedJulianDay = ModifiedJulianDay Day
data ModifiedJulianDate = ModifiedJulianDate {
- _mjdDay :: !ModifiedJulianDay
- _mjdTime :: !NominalDiffTime
}
toModifiedJulianDate :: UTCTime -> ModifiedJulianDate
fromModifiedJulianDate :: ModifiedJulianDate -> UTCTime
class AdditiveGroup (Diff p) => AffineSpace p where
- type Diff p
- (.-.) :: p -> p -> Diff p
- (.+^) :: p -> Diff p -> p
class AdditiveGroup v => VectorSpace v where
- type Scalar v
- (*^) :: Scalar v -> v -> v

Documentation

type Micros = Int64 Source #

type Day = Int Source #

NominalDiffTime

newtype NominalDiffTime Source #

A time interval as measured by UTC, that does not take leap-seconds into account.

Constructors

NominalDiffTime
Fields _microseconds :: Micros

Instances

Instances details

Eq NominalDiffTime Source #
Instance details Defined in Pact.Time.Internal Methods (==) :: NominalDiffTime -> NominalDiffTime -> Bool # (/=) :: NominalDiffTime -> NominalDiffTime -> Bool #
Ord NominalDiffTime Source #
Instance details Defined in Pact.Time.Internal Methods compare :: NominalDiffTime -> NominalDiffTime -> Ordering # (<) :: NominalDiffTime -> NominalDiffTime -> Bool # (<=) :: NominalDiffTime -> NominalDiffTime -> Bool # (>) :: NominalDiffTime -> NominalDiffTime -> Bool # (>=) :: NominalDiffTime -> NominalDiffTime -> Bool # max :: NominalDiffTime -> NominalDiffTime -> NominalDiffTime # min :: NominalDiffTime -> NominalDiffTime -> NominalDiffTime #
Show NominalDiffTime Source #
Instance details Defined in Pact.Time.Format.Internal Methods showsPrec :: Int -> NominalDiffTime -> ShowS # show :: NominalDiffTime -> String # showList :: [NominalDiffTime] -> ShowS #
Serialize NominalDiffTime Source #	Serializes `NominalDiffTime` as 64-bit signed microseconds in little endian encoding.
Instance details Defined in Pact.Time.Internal Methods put :: Putter NominalDiffTime # get :: Get NominalDiffTime #
NFData NominalDiffTime Source #
Instance details Defined in Pact.Time.Internal Methods rnf :: NominalDiffTime -> () #
VectorSpace NominalDiffTime Source #
Instance details Defined in Pact.Time.Internal Associated Types type Scalar NominalDiffTime # Methods (*^) :: Scalar NominalDiffTime -> NominalDiffTime -> NominalDiffTime #
AdditiveGroup NominalDiffTime Source #
Instance details Defined in Pact.Time.Internal Methods zeroV :: NominalDiffTime # (^+^) :: NominalDiffTime -> NominalDiffTime -> NominalDiffTime # negateV :: NominalDiffTime -> NominalDiffTime # (^-^) :: NominalDiffTime -> NominalDiffTime -> NominalDiffTime #
type Scalar NominalDiffTime Source #
Instance details Defined in Pact.Time.Internal type Scalar NominalDiffTime = Rational

toMicroseconds :: NominalDiffTime -> Micros Source #

Convert from NominalDiffTime to a 64-bit representation of microseconds.

fromMicroseconds :: Micros -> NominalDiffTime Source #

Convert from a 64-bit representation of microseconds to NominalDiffTime.

toSeconds :: NominalDiffTime -> Decimal Source #

Convert from NominalDiffTime to a Decimal representation of seconds.

fromSeconds :: Decimal -> NominalDiffTime Source #

Convert from Decimal representation of seconds to NominalDiffTime.

The result is rounded using banker's method, i.e. remainders of 0.5 a rounded to the next even integer.

nominalDay :: NominalDiffTime Source #

The nominal length of a day: precisely 86400 SI seconds.

UTCTime

newtype UTCTime Source #

UTCTime with microseconds precision. Internally it is represented as 64-bit count nominal microseconds since MJD Epoch.

This implementation ignores leap seconds. Time differences are measured as nominal time, with a nominal day having exaxtly 24 * 60 * 60 SI seconds. As a consequence the difference between two dates as computed by this module is generally equal or smaller than what is actually measured by a clock.

Constructors

UTCTime
Fields _utcTime :: NominalDiffTime

Instances

Instances details

Eq UTCTime Source #
Instance details Defined in Pact.Time.Internal Methods (==) :: UTCTime -> UTCTime -> Bool # (/=) :: UTCTime -> UTCTime -> Bool #
Ord UTCTime Source #
Instance details Defined in Pact.Time.Internal Methods compare :: UTCTime -> UTCTime -> Ordering # (<) :: UTCTime -> UTCTime -> Bool # (<=) :: UTCTime -> UTCTime -> Bool # (>) :: UTCTime -> UTCTime -> Bool # (>=) :: UTCTime -> UTCTime -> Bool # max :: UTCTime -> UTCTime -> UTCTime # min :: UTCTime -> UTCTime -> UTCTime #
Read UTCTime Source #
Instance details Defined in Pact.Time.Format.Internal Methods readsPrec :: Int -> ReadS UTCTime # readList :: ReadS [UTCTime] # readPrec :: ReadPrec UTCTime # readListPrec :: ReadPrec [UTCTime] #
Show UTCTime Source #
Instance details Defined in Pact.Time.Format.Internal Methods showsPrec :: Int -> UTCTime -> ShowS # show :: UTCTime -> String # showList :: [UTCTime] -> ShowS #
Generic UTCTime Source #
Instance details Defined in Pact.Time.Internal Associated Types type Rep UTCTime :: Type -> Type # Methods from :: UTCTime -> Rep UTCTime x # to :: Rep UTCTime x -> UTCTime #
ToJSON UTCTime Source #
Instance details Defined in Pact.Time.Format.Internal Methods toJSON :: UTCTime -> Value # toEncoding :: UTCTime -> Encoding # toJSONList :: [UTCTime] -> Value # toEncodingList :: [UTCTime] -> Encoding #
FromJSON UTCTime Source #
Instance details Defined in Pact.Time.Format.Internal Methods parseJSON :: Value -> Parser UTCTime # parseJSONList :: Value -> Parser [UTCTime] #
Serialize UTCTime Source #
Instance details Defined in Pact.Time.Internal Methods put :: Putter UTCTime # get :: Get UTCTime #
NFData UTCTime Source #
Instance details Defined in Pact.Time.Internal Methods rnf :: UTCTime -> () #
AffineSpace UTCTime Source #
Instance details Defined in Pact.Time.Internal Associated Types type Diff UTCTime # Methods (.-.) :: UTCTime -> UTCTime -> Diff UTCTime # (.+^) :: UTCTime -> Diff UTCTime -> UTCTime #
type Rep UTCTime Source #
Instance details Defined in Pact.Time.Internal type Rep UTCTime = D1 ('MetaData "UTCTime" "Pact.Time.Internal" "pact-time-0.2.0.0-3wMwyzgM4Cx3uihv7VMGTk" 'True) (C1 ('MetaCons "UTCTime" 'PrefixI 'True) (S1 ('MetaSel ('Just "_utcTime") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NominalDiffTime)))
type Diff UTCTime Source #
Instance details Defined in Pact.Time.Internal type Diff UTCTime = NominalDiffTime

getCurrentTime :: IO UTCTime Source #

day :: Lens' UTCTime ModifiedJulianDay Source #

The date of a UTCTime value represented as modified Julian Day.

dayTime :: Lens' UTCTime NominalDiffTime Source #

The day time of a UTCTime value represented as NominalDiffTime since 00:00:00 of that respective day.

fromDayAndDayTime :: ModifiedJulianDay -> NominalDiffTime -> UTCTime Source #

Create a UTCTime from a date and a daytime. The date is represented as modified Julian Day and the day time is represented as NominalDiffTime since '00:00:00' of the respective day.

Note that this implementation does not support representation of leap seconds.

toPosixTimestampMicros :: UTCTime -> Micros Source #

fromPosixTimestampMicros :: Micros -> UTCTime Source #

mjdEpoch :: UTCTime Source #

The Epoch of the modified Julian day represented as UTCTime.

posixEpoch :: UTCTime Source #

The POSIX Epoch represented as UTCTime.

Julian Dates

newtype ModifiedJulianDay Source #

Constructors

ModifiedJulianDay Day

Instances

Instances details

Eq ModifiedJulianDay Source #
Instance details Defined in Pact.Time.Internal Methods (==) :: ModifiedJulianDay -> ModifiedJulianDay -> Bool # (/=) :: ModifiedJulianDay -> ModifiedJulianDay -> Bool #
Ord ModifiedJulianDay Source #
Instance details Defined in Pact.Time.Internal Methods compare :: ModifiedJulianDay -> ModifiedJulianDay -> Ordering # (<) :: ModifiedJulianDay -> ModifiedJulianDay -> Bool # (<=) :: ModifiedJulianDay -> ModifiedJulianDay -> Bool # (>) :: ModifiedJulianDay -> ModifiedJulianDay -> Bool # (>=) :: ModifiedJulianDay -> ModifiedJulianDay -> Bool # max :: ModifiedJulianDay -> ModifiedJulianDay -> ModifiedJulianDay # min :: ModifiedJulianDay -> ModifiedJulianDay -> ModifiedJulianDay #
NFData ModifiedJulianDay Source #
Instance details Defined in Pact.Time.Internal Methods rnf :: ModifiedJulianDay -> () #

data ModifiedJulianDate Source #

Modified Julian Day Representation of UTC

Constructors

ModifiedJulianDate
Fields _mjdDay :: !ModifiedJulianDay _mjdTime :: !NominalDiffTime

Instances

Instances details

Eq ModifiedJulianDate Source #
Instance details Defined in Pact.Time.Internal Methods (==) :: ModifiedJulianDate -> ModifiedJulianDate -> Bool # (/=) :: ModifiedJulianDate -> ModifiedJulianDate -> Bool #
Ord ModifiedJulianDate Source #
Instance details Defined in Pact.Time.Internal Methods compare :: ModifiedJulianDate -> ModifiedJulianDate -> Ordering # (<) :: ModifiedJulianDate -> ModifiedJulianDate -> Bool # (<=) :: ModifiedJulianDate -> ModifiedJulianDate -> Bool # (>) :: ModifiedJulianDate -> ModifiedJulianDate -> Bool # (>=) :: ModifiedJulianDate -> ModifiedJulianDate -> Bool # max :: ModifiedJulianDate -> ModifiedJulianDate -> ModifiedJulianDate # min :: ModifiedJulianDate -> ModifiedJulianDate -> ModifiedJulianDate #
Generic ModifiedJulianDate Source #
Instance details Defined in Pact.Time.Internal Associated Types type Rep ModifiedJulianDate :: Type -> Type # Methods from :: ModifiedJulianDate -> Rep ModifiedJulianDate x # to :: Rep ModifiedJulianDate x -> ModifiedJulianDate #
NFData ModifiedJulianDate Source #
Instance details Defined in Pact.Time.Internal Methods rnf :: ModifiedJulianDate -> () #
type Rep ModifiedJulianDate Source #
Instance details Defined in Pact.Time.Internal type Rep ModifiedJulianDate = D1 ('MetaData "ModifiedJulianDate" "Pact.Time.Internal" "pact-time-0.2.0.0-3wMwyzgM4Cx3uihv7VMGTk" 'False) (C1 ('MetaCons "ModifiedJulianDate" 'PrefixI 'True) (S1 ('MetaSel ('Just "_mjdDay") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ModifiedJulianDay) :*: S1 ('MetaSel ('Just "_mjdTime") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 NominalDiffTime)))

toModifiedJulianDate :: UTCTime -> ModifiedJulianDate Source #

Convert from UTCTime to modified Julian Day time.

fromModifiedJulianDate :: ModifiedJulianDate -> UTCTime Source #

Convert from modified Julian Day time to UTCTime.

Reexports

class AdditiveGroup (Diff p) => AffineSpace p where #

Minimal complete definition

Nothing

Associated Types

type Diff p #

Associated vector space

type Diff p = GenericDiff p

Methods

(.-.) :: p -> p -> Diff p infix 6 #

Subtract points

(.+^) :: p -> Diff p -> p infixl 6 #

Point plus vector

Instances

Instances details

AffineSpace Double
Instance details Defined in Data.AffineSpace Associated Types type Diff Double # Methods (.-.) :: Double -> Double -> Diff Double # (.+^) :: Double -> Diff Double -> Double #
AffineSpace Float
Instance details Defined in Data.AffineSpace Associated Types type Diff Float # Methods (.-.) :: Float -> Float -> Diff Float # (.+^) :: Float -> Diff Float -> Float #
AffineSpace Int
Instance details Defined in Data.AffineSpace Associated Types type Diff Int # Methods (.-.) :: Int -> Int -> Diff Int # (.+^) :: Int -> Diff Int -> Int #
AffineSpace Integer
Instance details Defined in Data.AffineSpace Associated Types type Diff Integer # Methods (.-.) :: Integer -> Integer -> Diff Integer # (.+^) :: Integer -> Diff Integer -> Integer #
AffineSpace CSChar
Instance details Defined in Data.AffineSpace Associated Types type Diff CSChar # Methods (.-.) :: CSChar -> CSChar -> Diff CSChar # (.+^) :: CSChar -> Diff CSChar -> CSChar #
AffineSpace CShort
Instance details Defined in Data.AffineSpace Associated Types type Diff CShort # Methods (.-.) :: CShort -> CShort -> Diff CShort # (.+^) :: CShort -> Diff CShort -> CShort #
AffineSpace CInt
Instance details Defined in Data.AffineSpace Associated Types type Diff CInt # Methods (.-.) :: CInt -> CInt -> Diff CInt # (.+^) :: CInt -> Diff CInt -> CInt #
AffineSpace CLong
Instance details Defined in Data.AffineSpace Associated Types type Diff CLong # Methods (.-.) :: CLong -> CLong -> Diff CLong # (.+^) :: CLong -> Diff CLong -> CLong #
AffineSpace CLLong
Instance details Defined in Data.AffineSpace Associated Types type Diff CLLong # Methods (.-.) :: CLLong -> CLLong -> Diff CLLong # (.+^) :: CLLong -> Diff CLLong -> CLLong #
AffineSpace CFloat
Instance details Defined in Data.AffineSpace Associated Types type Diff CFloat # Methods (.-.) :: CFloat -> CFloat -> Diff CFloat # (.+^) :: CFloat -> Diff CFloat -> CFloat #
AffineSpace CDouble
Instance details Defined in Data.AffineSpace Associated Types type Diff CDouble # Methods (.-.) :: CDouble -> CDouble -> Diff CDouble # (.+^) :: CDouble -> Diff CDouble -> CDouble #
AffineSpace CIntMax
Instance details Defined in Data.AffineSpace Associated Types type Diff CIntMax # Methods (.-.) :: CIntMax -> CIntMax -> Diff CIntMax # (.+^) :: CIntMax -> Diff CIntMax -> CIntMax #
AffineSpace UTCTime Source #
Instance details Defined in Pact.Time.Internal Associated Types type Diff UTCTime # Methods (.-.) :: UTCTime -> UTCTime -> Diff UTCTime # (.+^) :: UTCTime -> Diff UTCTime -> UTCTime #
Integral a => AffineSpace (Ratio a)
Instance details Defined in Data.AffineSpace Associated Types type Diff (Ratio a) # Methods (.-.) :: Ratio a -> Ratio a -> Diff (Ratio a) # (.+^) :: Ratio a -> Diff (Ratio a) -> Ratio a #
AffineSpace p => AffineSpace (a -> p)
Instance details Defined in Data.AffineSpace Associated Types type Diff (a -> p) # Methods (.-.) :: (a -> p) -> (a -> p) -> Diff (a -> p) # (.+^) :: (a -> p) -> Diff (a -> p) -> a -> p #
(AffineSpace p, AffineSpace q) => AffineSpace (p, q)
Instance details Defined in Data.AffineSpace Associated Types type Diff (p, q) # Methods (.-.) :: (p, q) -> (p, q) -> Diff (p, q) # (.+^) :: (p, q) -> Diff (p, q) -> (p, q) #
AffineSpace a => AffineSpace (Rec0 a s)
Instance details Defined in Data.AffineSpace Associated Types type Diff (Rec0 a s) # Methods (.-.) :: Rec0 a s -> Rec0 a s -> Diff (Rec0 a s) # (.+^) :: Rec0 a s -> Diff (Rec0 a s) -> Rec0 a s #
(AffineSpace p, AffineSpace q, AffineSpace r) => AffineSpace (p, q, r)
Instance details Defined in Data.AffineSpace Associated Types type Diff (p, q, r) # Methods (.-.) :: (p, q, r) -> (p, q, r) -> Diff (p, q, r) # (.+^) :: (p, q, r) -> Diff (p, q, r) -> (p, q, r) #
(AffineSpace (f p), AffineSpace (g p)) => AffineSpace (AffineDiffProductSpace f g p)
Instance details Defined in Data.AffineSpace Associated Types type Diff (AffineDiffProductSpace f g p) # Methods (.-.) :: AffineDiffProductSpace f g p -> AffineDiffProductSpace f g p -> Diff (AffineDiffProductSpace f g p) # (.+^) :: AffineDiffProductSpace f g p -> Diff (AffineDiffProductSpace f g p) -> AffineDiffProductSpace f g p #
(AffineSpace (f p), AffineSpace (g p)) => AffineSpace ((f :*: g) p)
Instance details Defined in Data.AffineSpace Associated Types type Diff ((f :: g) p) # Methods (.-.) :: (f :: g) p -> (f :: g) p -> Diff ((f :: g) p) # (.+^) :: (f :: g) p -> Diff ((f :: g) p) -> (f :*: g) p #
AffineSpace (f p) => AffineSpace (M1 i c f p)
Instance details Defined in Data.AffineSpace Associated Types type Diff (M1 i c f p) # Methods (.-.) :: M1 i c f p -> M1 i c f p -> Diff (M1 i c f p) # (.+^) :: M1 i c f p -> Diff (M1 i c f p) -> M1 i c f p #

class AdditiveGroup v => VectorSpace v where #

Vector space v.

Minimal complete definition

Nothing

Associated Types

type Scalar v #

type Scalar v = Scalar (VRep v)

Methods

(*^) :: Scalar v -> v -> v infixr 7 #

Scale a vector

Instances

Instances details

VectorSpace Double
Instance details Defined in Data.VectorSpace Associated Types type Scalar Double # Methods (*^) :: Scalar Double -> Double -> Double #
VectorSpace Float
Instance details Defined in Data.VectorSpace Associated Types type Scalar Float # Methods (*^) :: Scalar Float -> Float -> Float #
VectorSpace Int
Instance details Defined in Data.VectorSpace Associated Types type Scalar Int # Methods (*^) :: Scalar Int -> Int -> Int #
VectorSpace Integer
Instance details Defined in Data.VectorSpace Associated Types type Scalar Integer # Methods (*^) :: Scalar Integer -> Integer -> Integer #
VectorSpace CSChar
Instance details Defined in Data.VectorSpace Associated Types type Scalar CSChar # Methods (*^) :: Scalar CSChar -> CSChar -> CSChar #
VectorSpace CShort
Instance details Defined in Data.VectorSpace Associated Types type Scalar CShort # Methods (*^) :: Scalar CShort -> CShort -> CShort #
VectorSpace CInt
Instance details Defined in Data.VectorSpace Associated Types type Scalar CInt # Methods (*^) :: Scalar CInt -> CInt -> CInt #
VectorSpace CLong
Instance details Defined in Data.VectorSpace Associated Types type Scalar CLong # Methods (*^) :: Scalar CLong -> CLong -> CLong #
VectorSpace CLLong
Instance details Defined in Data.VectorSpace Associated Types type Scalar CLLong # Methods (*^) :: Scalar CLLong -> CLLong -> CLLong #
VectorSpace CFloat
Instance details Defined in Data.VectorSpace Associated Types type Scalar CFloat # Methods (*^) :: Scalar CFloat -> CFloat -> CFloat #
VectorSpace CDouble
Instance details Defined in Data.VectorSpace Associated Types type Scalar CDouble # Methods (*^) :: Scalar CDouble -> CDouble -> CDouble #
VectorSpace CIntMax
Instance details Defined in Data.VectorSpace Associated Types type Scalar CIntMax # Methods (*^) :: Scalar CIntMax -> CIntMax -> CIntMax #
VectorSpace NominalDiffTime Source #
Instance details Defined in Pact.Time.Internal Associated Types type Scalar NominalDiffTime # Methods (*^) :: Scalar NominalDiffTime -> NominalDiffTime -> NominalDiffTime #
VectorSpace v => VectorSpace (Maybe v)
Instance details Defined in Data.VectorSpace Associated Types type Scalar (Maybe v) # Methods (*^) :: Scalar (Maybe v) -> Maybe v -> Maybe v #
Integral a => VectorSpace (Ratio a)
Instance details Defined in Data.VectorSpace Associated Types type Scalar (Ratio a) # Methods (*^) :: Scalar (Ratio a) -> Ratio a -> Ratio a #
(RealFloat v, VectorSpace v) => VectorSpace (Complex v)
Instance details Defined in Data.VectorSpace Associated Types type Scalar (Complex v) # Methods (*^) :: Scalar (Complex v) -> Complex v -> Complex v #
VectorSpace (Diff (VRep p)) => VectorSpace (GenericDiff p)
Instance details Defined in Data.AffineSpace Associated Types type Scalar (GenericDiff p) # Methods (*^) :: Scalar (GenericDiff p) -> GenericDiff p -> GenericDiff p #
VectorSpace v => VectorSpace (a -> v)
Instance details Defined in Data.VectorSpace Associated Types type Scalar (a -> v) # Methods (*^) :: Scalar (a -> v) -> (a -> v) -> a -> v #
(VectorSpace u, s ~ Scalar u, VectorSpace v, s ~ Scalar v) => VectorSpace (u, v)
Instance details Defined in Data.VectorSpace Associated Types type Scalar (u, v) # Methods (*^) :: Scalar (u, v) -> (u, v) -> (u, v) #
(HasTrie a, VectorSpace v) => VectorSpace (a :->: v)
Instance details Defined in Data.VectorSpace Associated Types type Scalar (a :->: v) # Methods (*^) :: Scalar (a :->: v) -> (a :->: v) -> a :->: v #
VectorSpace a => VectorSpace (Rec0 a s)
Instance details Defined in Data.VectorSpace Associated Types type Scalar (Rec0 a s) # Methods (*^) :: Scalar (Rec0 a s) -> Rec0 a s -> Rec0 a s #
(VectorSpace u, s ~ Scalar u, VectorSpace v, s ~ Scalar v, VectorSpace w, s ~ Scalar w) => VectorSpace (u, v, w)
Instance details Defined in Data.VectorSpace Associated Types type Scalar (u, v, w) # Methods (*^) :: Scalar (u, v, w) -> (u, v, w) -> (u, v, w) #
(AffineSpace (f p), AffineSpace (g p), VectorSpace (Diff (f p)), VectorSpace (Diff (g p)), Scalar (Diff (f p)) ~ Scalar (Diff (g p))) => VectorSpace (AffineDiffProductSpace f g p)
Instance details Defined in Data.AffineSpace Associated Types type Scalar (AffineDiffProductSpace f g p) # Methods (*^) :: Scalar (AffineDiffProductSpace f g p) -> AffineDiffProductSpace f g p -> AffineDiffProductSpace f g p #
(VectorSpace (f p), VectorSpace (g p), Scalar (f p) ~ Scalar (g p)) => VectorSpace ((f :*: g) p)
Instance details Defined in Data.VectorSpace Associated Types type Scalar ((f :: g) p) # Methods (^) :: Scalar ((f :: g) p) -> (f :: g) p -> (f :*: g) p #
(VectorSpace u, s ~ Scalar u, VectorSpace v, s ~ Scalar v, VectorSpace w, s ~ Scalar w, VectorSpace x, s ~ Scalar x) => VectorSpace (u, v, w, x)
Instance details Defined in Data.VectorSpace Associated Types type Scalar (u, v, w, x) # Methods (*^) :: Scalar (u, v, w, x) -> (u, v, w, x) -> (u, v, w, x) #
VectorSpace (f p) => VectorSpace (M1 i c f p)
Instance details Defined in Data.VectorSpace Associated Types type Scalar (M1 i c f p) # Methods (*^) :: Scalar (M1 i c f p) -> M1 i c f p -> M1 i c f p #