Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.Fortran.Repr.Value.Array.Machine

Description

Fortran array representation primitives.

Fortran arrays are homogeneous: every element has the same type. That means a REAL(8) array must store only REAL(8)s, no REAL(4)s. We use some type algebra to obtain correct-by-construction types.

Also, Fortran arrays are multi-dimensional. Rather than storing a single natural number for a single dimension, or doing some recursive work for arrays of arrays (which don't exist in Fortran), we instead store a list of naturals, defining each dimension's extent.

Synopsis

type family Size dims where ...
data FVA (ft :: k -> Type) (fk :: k) (dims :: [NaturalK]) = FVA {
- unFVA :: Vector (Size dims) (ft fk)
}
mkFVA1 :: forall l ft fk. Vector l (ft fk) -> FVA ft fk '[l]
fvaShape :: forall dims ft fk. KnownNats dims => FVA ft fk dims -> Shape
mkSomeFVA :: (forall l. KnownNat l => Vector l a -> r) -> [a] -> r
class KnownNats (ns :: [NaturalK]) where
- natVals :: [Natural]
data SomeFVA k ft = forall (fk :: k) (dims :: [NaturalK]).(KnownNats dims, SingKind k, SingI fk) => SomeFVA {
- unSomeFVA :: FVA ft fk dims
}
someFVAKind :: SomeFVA k ft -> Demote k
someFVAShape :: SomeFVA k ft -> Shape
mkSomeFVA1 :: forall k ft (fk :: k). (SingKind k, SingI fk) => [ft fk] -> SomeFVA k ft
data FArrayValue
- = FAVInt (SomeFVA FTInt FInt)
- | FAVReal (SomeFVA FTReal FReal)
- | FAVComplex (SomeFVA FTReal FComplex)
- | FAVLogical (SomeFVA FTInt FInt)
- | FAVString (SomeFVA NaturalK FString)
fArrayValueType :: FArrayValue -> FArrayType

Documentation

type family Size dims where ... Source #

Equations

Size (dim ': dims) = dim + Size dims
Size '[] = 0

data FVA (ft :: k -> Type) (fk :: k) (dims :: [NaturalK]) Source #

Constructors

FVA
Fields unFVA :: Vector (Size dims) (ft fk)

Instances

Instances details

Show (ft fk) => Show (FVA ft fk dims) Source #
Instance details Defined in Language.Fortran.Repr.Value.Array.Machine Methods showsPrec :: Int -> FVA ft fk dims -> ShowS # show :: FVA ft fk dims -> String # showList :: [FVA ft fk dims] -> ShowS #

mkFVA1 :: forall l ft fk. Vector l (ft fk) -> FVA ft fk '[l] Source #

fvaShape :: forall dims ft fk. KnownNats dims => FVA ft fk dims -> Shape Source #

mkSomeFVA :: (forall l. KnownNat l => Vector l a -> r) -> [a] -> r Source #

class KnownNats (ns :: [NaturalK]) where Source #

Reify a list of type-level Naturals.

Methods

natVals :: [Natural] Source #

Instances

Instances details

KnownNats ('[] :: [NaturalK]) Source #
Instance details Defined in Language.Fortran.Repr.Value.Array.Machine Methods natVals :: [Natural] Source #
(KnownNat n, KnownNats ns) => KnownNats (n ': ns) Source #
Instance details Defined in Language.Fortran.Repr.Value.Array.Machine Methods natVals :: [Natural] Source #

data SomeFVA k ft Source #

Wrapper for defining an array of a kind-tagged Fortran type.

Constructors

forall (fk :: k) (dims :: [NaturalK]).(KnownNats dims, SingKind k, SingI fk) => SomeFVA
Fields unSomeFVA :: FVA ft fk dims

Instances

Instances details

Show (SomeFVA NaturalK FString) Source #
Instance details Defined in Language.Fortran.Repr.Value.Array.Machine Methods showsPrec :: Int -> SomeFVA NaturalK FString -> ShowS # show :: SomeFVA NaturalK FString -> String # showList :: [SomeFVA NaturalK FString] -> ShowS #
Show (SomeFVA FTInt FInt) Source #
Instance details 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 #
Show (SomeFVA FTReal FComplex) Source #
Instance details Defined in Language.Fortran.Repr.Value.Array.Machine Methods showsPrec :: Int -> SomeFVA FTReal FComplex -> ShowS # show :: SomeFVA FTReal FComplex -> String # showList :: [SomeFVA FTReal FComplex] -> ShowS #
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 #

someFVAKind :: SomeFVA k ft -> Demote k Source #

someFVAShape :: SomeFVA k ft -> Shape Source #

mkSomeFVA1 :: forall k ft (fk :: k). (SingKind k, SingI fk) => [ft fk] -> SomeFVA k ft Source #

data FArrayValue Source #

Constructors

FAVInt (SomeFVA FTInt FInt)
FAVReal (SomeFVA FTReal FReal)
FAVComplex (SomeFVA FTReal FComplex)
FAVLogical (SomeFVA FTInt FInt)
FAVString (SomeFVA NaturalK FString)

Instances

Instances details

Show FArrayValue Source #
Instance details Defined in Language.Fortran.Repr.Value.Array.Machine Methods showsPrec :: Int -> FArrayValue -> ShowS # show :: FArrayValue -> String # showList :: [FArrayValue] -> ShowS #

fArrayValueType :: FArrayValue -> FArrayType Source #