Safe Haskell	Safe-Infered

Language.Paraiso.OM.Realm

Description

The Realm represents how the data reside in Orthotope Machines. Array data are n-dimensional array that is distributed among nodes. Scalar data are single-point value, possibly reside in the master node. . Be noted that Array and Scalar were initially called Local and Global. but I opted for more conventional notation. If you find any historical notation remaining, please let me know!

Synopsis

Documentation

data TScalar Source

Type-level representation of Scalar realm

Constructors

TScalar

Instances

Realmable TScalar
TRealm TScalar

data TArray Source

Type-level representation of Array realm

Constructors

TArray

Instances

Realmable TArray
TRealm TArray

class TRealm a whereSource

Type-level representations of realm

Methods

tRealm :: a -> Realm Source

unitTRealm :: aSource

Instances

TRealm TArray
TRealm TScalar

data Realm Source

Value-level representations of realm

Constructors

Scalar	Value-level representation of `Scalar` realm
Array	Value-level representation of `Array` realm

Instances

Eq Realm
Show Realm
Realmable Realm	Realmable instances

class Realmable a whereSource

Means of obtaining value-level realm from things

Methods

realm :: a -> Realm Source

Instances

Realmable Realm	Realmable instances
Realmable TArray
Realmable TScalar
Realmable DynValue
(TRealm rea, Typeable con) => Realmable (Value rea con)
Realmable (StorageRef v g a)
Realmable (SubKernelRef v g a)