Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell98 |
Documentation
Window | |
|
Eq (Name l) => Eq (Name (W l)) | |
(Eq l, Eq (Index l)) => Eq (W l) | |
Show (Name l) => Show (Name (W l)) | |
(Show l, Show (Index l)) => Show (W l) | |
Layout l => Layout (W l) | Windowed arrays. |
Bulk l a => Bulk (W l) a | Windowed arrays. |
Bulk l a => Windowable (W l) a | Windows are windowable. |
data Name (W l) = W (Name l) | |
type Index (W l) = Index l | |
data Array (W l) = WArray !(Index l) !(Index l) !(Array l a) |
class Bulk l a => Windowable l a where Source
Class of array representations that can be windowed directly.
The underlying representation can encode the window, without needing to add a wrapper to the existing layout.
Windowable B a | Boxed windows. |
Storable a => Windowable F a | Windowing Foreign arrays. |
Unbox a => Windowable U a | Windowing Unboxed arrays. |
(BulkI l a, Windowable l a) => Windowable N (Array l a) | Windowing Nested arrays. |
Bulk l a => Windowable (W l) a | Windows are windowable. |
(Windowable l1 a, Windowable l2 b, (~) * (Index l1) (Index l2)) => Windowable (T2 l1 l2) (a, b) | Tupled windows. |