Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.Fortran.Repr.Value.Scalar.Common

Description

Common definitions for Fortran scalar representations.

Synopsis

data SomeFKinded k ft = forall (fk :: k).(SingKind k, SingI fk) => SomeFKinded (ft fk)
someFKindedKind :: SomeFKinded k ft -> Demote k

Documentation

data SomeFKinded k ft Source #

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

Instances details

Show SomeFComplex Source #
Instance details Defined in Language.Fortran.Repr.Value.Scalar.Complex Methods showsPrec :: Int -> SomeFComplex -> ShowS # show :: SomeFComplex -> String # showList :: [SomeFComplex] -> ShowS #
Show SomeFIntI Source #
Instance details Defined in Language.Fortran.Repr.Value.Scalar.Int.Idealized Methods showsPrec :: Int -> SomeFIntI -> ShowS # show :: SomeFIntI -> String # showList :: [SomeFIntI] -> ShowS #
Show SomeFInt Source #
Instance details Defined in Language.Fortran.Repr.Value.Scalar.Int.Machine Methods showsPrec :: Int -> SomeFInt -> ShowS # show :: SomeFInt -> String # showList :: [SomeFInt] -> ShowS #
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 SomeFComplex Source #
Instance details Defined in Language.Fortran.Repr.Value.Scalar.Complex Methods (==) :: SomeFComplex -> SomeFComplex -> Bool # (/=) :: SomeFComplex -> SomeFComplex -> Bool #
Eq SomeFIntI Source #
Instance details Defined in Language.Fortran.Repr.Value.Scalar.Int.Idealized Methods (==) :: SomeFIntI -> SomeFIntI -> Bool # (/=) :: SomeFIntI -> SomeFIntI -> Bool #
Eq SomeFInt Source #
Instance details Defined in Language.Fortran.Repr.Value.Scalar.Int.Machine Methods (==) :: SomeFInt -> SomeFInt -> Bool # (/=) :: SomeFInt -> SomeFInt -> Bool #
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 #

someFKindedKind :: SomeFKinded k ft -> Demote k Source #

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