Safe Haskell | None |
---|---|
Language | Haskell98 |
- data D2 l1 l2 = Delayed2 {
- delayed2Layout1 :: l1
- delayed2Layout2 :: l2
- delay2 :: (Bulk l1 a, Bulk l2 b, Index l1 ~ Index l2) => Array l1 a -> Array l2 b -> Maybe (Array (D2 l1 l2) (a, b))
- map2 :: (Bulk l1 a, Bulk l2 b, Index l1 ~ Index l2) => (a -> b -> c) -> Array l1 a -> Array l2 b -> Maybe (Array (D2 l1 l2) c)
Documentation
A delayed array formed from two source arrays. The source arrays can have different layouts but must have the same extent.
Delayed2 | |
|
(Eq (Name l1), Eq (Name l2)) => Eq (Name (D2 l1 l2)) Source # | |
(Show (Name l1), Show (Name l2)) => Show (Name (D2 l1 l2)) Source # | |
(Eq l1, Eq l2) => Eq (D2 l1 l2) Source # | |
(Show l1, Show l2) => Show (D2 l1 l2) Source # | |
(Layout l1, Layout l2, (~) * (Index l1) (Index l2)) => Layout (D2 l1 l2) Source # | Delayed arrays. |
(Layout l1, Layout l2, (~) * (Index l1) (Index l2)) => Bulk (D2 l1 l2) a Source # | Delayed arrays. |
(Layout lSrc1, Layout lSrc2, Target lDst a, (~) * (Index lSrc1) (Index lSrc2)) => Load (D2 lSrc1 lSrc2) lDst a Source # | |
data Name (D2 l1 l2) Source # | |
type Index (D2 l1 l2) Source # | |
data Array (D2 l1 l2) Source # | |