Language.Fortran.Repr.Value.Scalar.Common

Common definitions for Fortran scalar representations.

Documentation

data SomeFKinded k ft

Convenience wrapper which multiple Fortran tag-kinded intrinsic types fit.

A type ft takes some type fk of kind k, and we are permitted to move the type between the term and type levels using the included singleton instances.

For example, integers are kinded with type level FTInts. So we can define an integer with an existential ("unknown") kind with the type SomeFKinded FTInt FInt. By pattern matching on it, we recover the hidden kind tag (as well as obtaining the value).

Constructors

forall (fk :: k).(SingKind k, SingI fk) => SomeFKinded (ft fk)

Instances

Show SomeFComplex

Defined in Language.Fortran.Repr.Value.Scalar.Complex

Methods

showsPrec :: Int -> SomeFComplex -> ShowS

show :: SomeFComplex -> String

showList :: [SomeFComplex] -> ShowS

Show SomeFIntI

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

Methods

showsPrec :: Int -> SomeFIntI -> ShowS

show :: SomeFIntI -> String

showList :: [SomeFIntI] -> ShowS

Show SomeFInt

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

Methods

showsPrec :: Int -> SomeFInt -> ShowS

show :: SomeFInt -> String

showList :: [SomeFInt] -> ShowS

Show SomeFReal

Defined in Language.Fortran.Repr.Value.Scalar.Real

Methods

showsPrec :: Int -> SomeFReal -> ShowS

show :: SomeFReal -> String

showList :: [SomeFReal] -> ShowS

Eq SomeFComplex

Defined in Language.Fortran.Repr.Value.Scalar.Complex

Methods

(==) :: SomeFComplex -> SomeFComplex -> Bool

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

Eq SomeFIntI

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

Methods

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

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

Eq SomeFInt

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

Methods

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

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

Eq SomeFReal

Defined in Language.Fortran.Repr.Value.Scalar.Real

Methods

(==) :: SomeFReal -> SomeFReal -> Bool

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

Ord SomeFReal

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

someFKindedKind :: SomeFKinded k ft -> Demote k

Recover some TYPE(x)'s kind (the x).