Language.Fortran.Repr.Value.Scalar.Int.Machine

Machine Fortran INTEGER values.

This module stores Fortran INTEGER values in a matching Haskell machine integer type. For example, an INT(4) would be stored in an Int32. This way, we get both efficient operations and common overflow behaviour (which hopefully matches most Fortran compilers), and explicitly encode kinding semantics via promoting integral types.

Documentation

data FInt (k :: FTInt) where

A Fortran integer value, tagged with its kind.

Constructors

FInt1

Fields

• :: Int8
• -> FInt 'FTInt1

  INTEGER(1)

FInt2

Fields

• :: Int16
• -> FInt 'FTInt2

  INTEGER(2)

FInt4

Fields

• :: Int32
• -> FInt 'FTInt4

  INTEGER(4)

FInt8

Fields

• :: Int64
• -> FInt 'FTInt8

  INTEGER(8)

Instances

Show SomeFInt

Defined in Language.Fortran.Repr.Value.Scalar.Int.Machine

Methods

showsPrec :: Int -> SomeFInt -> ShowS

show :: SomeFInt -> String

showList :: [SomeFInt] -> ShowS

Eq SomeFInt

Defined in Language.Fortran.Repr.Value.Scalar.Int.Machine

Methods

(==) :: SomeFInt -> SomeFInt -> Bool

(/=) :: SomeFInt -> SomeFInt -> Bool

Show (FInt k)

Defined in Language.Fortran.Repr.Value.Scalar.Int.Machine

Methods

showsPrec :: Int -> FInt k -> ShowS

show :: FInt k -> String

showList :: [FInt k] -> ShowS

Eq (FInt k)

Defined in Language.Fortran.Repr.Value.Scalar.Int.Machine

Methods

(==) :: FInt k -> FInt k -> Bool

(/=) :: FInt k -> FInt k -> Bool

Ord (FInt k)

Defined in Language.Fortran.Repr.Value.Scalar.Int.Machine

Methods

compare :: FInt k -> FInt k -> Ordering

(<) :: FInt k -> FInt k -> Bool

(<=) :: FInt k -> FInt k -> Bool

(>) :: FInt k -> FInt k -> Bool

(>=) :: FInt k -> FInt k -> Bool

max :: FInt k -> FInt k -> FInt k

min :: FInt k -> FInt k -> FInt k

Show (SomeFVA FTInt FInt)

Defined in Language.Fortran.Repr.Value.Array.Machine

Methods

showsPrec :: Int -> SomeFVA FTInt FInt -> ShowS

show :: SomeFVA FTInt FInt -> String

showList :: [SomeFVA FTInt FInt] -> ShowS

type SomeFInt = SomeFKinded FTInt FInt

type IsFInt a = (Integral a, Bits a)

fIntUOp :: forall r k. (forall a. IsFInt a => a -> r) -> FInt k -> r

Run an operation over some FInt.

fIntUOp' :: (Int8 -> r) -> (Int16 -> r) -> (Int32 -> r) -> (Int64 -> r) -> FInt k -> r

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

fIntUOpInplace :: (forall a. IsFInt a => a -> a) -> FInt k -> FInt k

Run an inplace operation over some FInt.

fIntUOpInplace' :: (Int8 -> Int8) -> (Int16 -> Int16) -> (Int32 -> Int32) -> (Int64 -> Int64) -> FInt k -> FInt k

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

fIntUOpInternal :: (Int8 -> ft 'FTInt1) -> (Int16 -> ft 'FTInt2) -> (Int32 -> ft 'FTInt4) -> (Int64 -> ft 'FTInt8) -> FInt k -> ft k

Low-level FInt unary operator. Runs an operation over some FInt, and stores it kinded. The user gets to choose how the kind is used: it can be used to wrap the result back into an FInt, or ignored using Const.

Pattern matches are ordered to match more common ops earlier.

fIntBOp :: (forall a. IsFInt a => a -> a -> r) -> FInt kl -> FInt kr -> r

fIntBOp' :: (Int8 -> Int8 -> r) -> (Int16 -> Int16 -> r) -> (Int32 -> Int32 -> r) -> (Int64 -> Int64 -> r) -> FInt kl -> FInt kr -> r

fIntBOpInplace :: (forall a. IsFInt a => a -> a -> a) -> FInt kl -> FInt kr -> FInt (FTIntCombine kl kr)

fIntBOpInplace' :: (Int8 -> Int8 -> Int8) -> (Int16 -> Int16 -> Int16) -> (Int32 -> Int32 -> Int32) -> (Int64 -> Int64 -> Int64) -> FInt kl -> FInt kr -> FInt (FTIntCombine kl kr)

fIntBOpInternal :: (Int8 -> Int8 -> ft 'FTInt1) -> (Int16 -> Int16 -> ft 'FTInt2) -> (Int32 -> Int32 -> ft 'FTInt4) -> (Int64 -> Int64 -> ft 'FTInt8) -> FInt kl -> FInt kr -> ft (FTIntCombine kl kr)

Low-level FInt binary operator. Combine two FInts, coercing different kinds, and store the result kinded.

Pattern matches are ordered to match more common ops earlier.

withFInt :: Num a => FInt k -> a

Treat any FInt as a Num.

TODO remove. means being explicit with coercions to real in eval.