Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.Fortran.Repr.Value.Scalar.Real

Synopsis

data FReal (k :: FTReal) where
- FReal4 :: Float -> FReal 'FTReal4
- FReal8 :: Double -> FReal 'FTReal8
type SomeFReal = SomeFKinded FTReal FReal
fRealUOp :: (forall a. RealFloat a => a -> r) -> FReal k -> r
fRealUOp' :: (Float -> r) -> (Double -> r) -> FReal k -> r
fRealUOpInplace :: (forall a. RealFloat a => a -> a) -> FReal k -> FReal k
fRealUOpInplace' :: (Float -> Float) -> (Double -> Double) -> FReal k -> FReal k
fRealUOpInternal :: (Float -> ft 'FTReal4) -> (Double -> ft 'FTReal8) -> FReal k -> ft k
fRealBOp :: (forall a. RealFloat a => a -> a -> r) -> FReal kl -> FReal kr -> r
fRealBOp' :: (Float -> Float -> r) -> (Double -> Double -> r) -> FReal kl -> FReal kr -> r
fRealBOpInplace :: (forall a. RealFloat a => a -> a -> a) -> FReal kl -> FReal kr -> FReal (FTRealCombine kl kr)
fRealBOpInplace' :: (Float -> Float -> Float) -> (Double -> Double -> Double) -> FReal kl -> FReal kr -> FReal (FTRealCombine kl kr)
fRealBOpInternal :: (Float -> Float -> ft 'FTReal4) -> (Double -> Double -> ft 'FTReal8) -> FReal kl -> FReal kr -> ft (FTRealCombine kl kr)

Documentation

data FReal (k :: FTReal) where Source #

Constructors

FReal4 :: Float -> FReal 'FTReal4
FReal8 :: Double -> FReal 'FTReal8

Instances

Instances details

Show SomeFReal Source #
Instance details Defined in Language.Fortran.Repr.Value.Scalar.Real Methods showsPrec :: Int -> SomeFReal -> ShowS # show :: SomeFReal -> String # showList :: [SomeFReal] -> ShowS #
Eq SomeFReal Source #
Instance details Defined in Language.Fortran.Repr.Value.Scalar.Real Methods (==) :: SomeFReal -> SomeFReal -> Bool # (/=) :: SomeFReal -> SomeFReal -> Bool #
Ord SomeFReal Source #
Instance details Defined in Language.Fortran.Repr.Value.Scalar.Real Methods compare :: SomeFReal -> SomeFReal -> Ordering # (<) :: SomeFReal -> SomeFReal -> Bool # (<=) :: SomeFReal -> SomeFReal -> Bool # (>) :: SomeFReal -> SomeFReal -> Bool # (>=) :: SomeFReal -> SomeFReal -> Bool # max :: SomeFReal -> SomeFReal -> SomeFReal # min :: SomeFReal -> SomeFReal -> SomeFReal #
Show (FReal k) Source #
Instance details Defined in Language.Fortran.Repr.Value.Scalar.Real Methods showsPrec :: Int -> FReal k -> ShowS # show :: FReal k -> String # showList :: [FReal k] -> ShowS #
Eq (FReal k) Source #
Instance details Defined in Language.Fortran.Repr.Value.Scalar.Real Methods (==) :: FReal k -> FReal k -> Bool # (/=) :: FReal k -> FReal k -> Bool #
Ord (FReal k) Source #
Instance details Defined in Language.Fortran.Repr.Value.Scalar.Real Methods compare :: FReal k -> FReal k -> Ordering # (<) :: FReal k -> FReal k -> Bool # (<=) :: FReal k -> FReal k -> Bool # (>) :: FReal k -> FReal k -> Bool # (>=) :: FReal k -> FReal k -> Bool # max :: FReal k -> FReal k -> FReal k # min :: FReal k -> FReal k -> FReal k #
Show (SomeFVA FTReal FReal) Source #
Instance details Defined in Language.Fortran.Repr.Value.Array.Machine Methods showsPrec :: Int -> SomeFVA FTReal FReal -> ShowS # show :: SomeFVA FTReal FReal -> String # showList :: [SomeFVA FTReal FReal] -> ShowS #

type SomeFReal = SomeFKinded FTReal FReal Source #

fRealUOp :: (forall a. RealFloat a => a -> r) -> FReal k -> r Source #

Run an operation over some FReal.

fRealUOp' :: (Float -> r) -> (Double -> r) -> FReal k -> r Source #

Run an operation over some FReal, with a concrete function for each kind.

fRealUOpInplace :: (forall a. RealFloat a => a -> a) -> FReal k -> FReal k Source #

Run an inplace operation over some FReal.

fRealUOpInplace' :: (Float -> Float) -> (Double -> Double) -> FReal k -> FReal k Source #

Run an inplace operation over some FReal, with a concrete function for each kind.

fRealUOpInternal :: (Float -> ft 'FTReal4) -> (Double -> ft 'FTReal8) -> FReal k -> ft k Source #

fRealBOp :: (forall a. RealFloat a => a -> a -> r) -> FReal kl -> FReal kr -> r Source #

fRealBOp' :: (Float -> Float -> r) -> (Double -> Double -> r) -> FReal kl -> FReal kr -> r Source #

fRealBOpInplace :: (forall a. RealFloat a => a -> a -> a) -> FReal kl -> FReal kr -> FReal (FTRealCombine kl kr) Source #

fRealBOpInplace' :: (Float -> Float -> Float) -> (Double -> Double -> Double) -> FReal kl -> FReal kr -> FReal (FTRealCombine kl kr) Source #

fRealBOpInternal :: (Float -> Float -> ft 'FTReal4) -> (Double -> Double -> ft 'FTReal8) -> FReal kl -> FReal kr -> ft (FTRealCombine kl kr) Source #

Combine two Fortran reals with a binary operation, coercing different kinds.