Safe Haskell | Safe-Infered |
---|
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!
Documentation
Type-level representation of Scalar
realm
Type-level representations of realm
unitTRealm :: aSource
Value-level representations of realm
Means of obtaining value-level realm from things