Language.Fortran.Repr.Value.Scalar.Int.Idealized

Idealized Fortran INTEGER values.

This module stores Fortran INTEGER values in a Haskell Integer, together with a phantom type describing the Fortran kind. This way, we can safely check for bounds issues, and leave exact behaviour up to the user.

Documentation

type family FIntMRep k = r | r -> k where ...

Equations

FIntMRep 'FTInt1 = Int8

FIntMRep 'FTInt2 = Int16

FIntMRep 'FTInt4 = Int32

FIntMRep 'FTInt8 = Int64

newtype FIntI (k :: FTInt)

Constructors

FIntI Integer

Instances

Show SomeFIntI

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

Methods

showsPrec :: Int -> SomeFIntI -> ShowS

show :: SomeFIntI -> String

showList :: [SomeFIntI] -> ShowS

Eq SomeFIntI

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

Methods

(==) :: SomeFIntI -> SomeFIntI -> Bool

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

Show (FIntI k)

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

Methods

showsPrec :: Int -> FIntI k -> ShowS

show :: FIntI k -> String

showList :: [FIntI k] -> ShowS

Eq (FIntI k)

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

Methods

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

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

Ord (FIntI k)

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

Methods

compare :: FIntI k -> FIntI k -> Ordering

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

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

(>) :: FIntI k -> FIntI k -> Bool

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

max :: FIntI k -> FIntI k -> FIntI k

min :: FIntI k -> FIntI k -> FIntI k

fIntICheckBounds :: forall k rep. (rep ~ FIntMRep k, Bounded rep, Integral rep) => FIntI k -> Maybe String

type SomeFIntI = SomeFKinded FTInt FIntI

someFIntIBOpWrap :: (Integer -> Integer -> Integer) -> SomeFIntI -> SomeFIntI -> SomeFIntI