diff options
Diffstat (limited to 'packages/base/src/Internal/Devel.hs')
-rw-r--r-- | packages/base/src/Internal/Devel.hs | 13 |
1 files changed, 2 insertions, 11 deletions
diff --git a/packages/base/src/Internal/Devel.hs b/packages/base/src/Internal/Devel.hs index 710d626..89b5103 100644 --- a/packages/base/src/Internal/Devel.hs +++ b/packages/base/src/Internal/Devel.hs | |||
@@ -64,34 +64,25 @@ mbCatch act = E.catch (Just `fmap` act) f | |||
64 | 64 | ||
65 | -------------------------------------------------------------------------------- | 65 | -------------------------------------------------------------------------------- |
66 | 66 | ||
67 | type CM b r = CInt -> CInt -> Ptr b -> r | ||
68 | type CV b r = CInt -> Ptr b -> r | 67 | type CV b r = CInt -> Ptr b -> r |
69 | type OM b r = CInt -> CInt -> CInt -> CInt -> Ptr b -> r | 68 | type OM b r = CInt -> CInt -> CInt -> CInt -> Ptr b -> r |
70 | 69 | ||
71 | type CIdxs r = CV CInt r | 70 | type CIdxs r = CV CInt r |
72 | type Ok = IO CInt | 71 | type Ok = IO CInt |
73 | 72 | ||
74 | infixr 5 :>, ::>, ..> | 73 | infixr 5 :>, ::> |
75 | type (:>) t r = CV t r | 74 | type (:>) t r = CV t r |
76 | type (::>) t r = OM t r | 75 | type (::>) t r = OM t r |
77 | type (..>) t r = CM t r | ||
78 | 76 | ||
79 | class TransArray c | 77 | class TransArray c |
80 | where | 78 | where |
81 | type Trans c b | 79 | type Trans c b |
82 | type TransRaw c b | ||
83 | type Elem c | ||
84 | apply :: (Trans c b) -> c -> b | 80 | apply :: (Trans c b) -> c -> b |
85 | applyRaw :: (TransRaw c b) -> c -> b | 81 | infixl 1 `apply` |
86 | infixl 1 `apply`, `applyRaw` | ||
87 | 82 | ||
88 | instance Storable t => TransArray (Vector t) | 83 | instance Storable t => TransArray (Vector t) |
89 | where | 84 | where |
90 | type Trans (Vector t) b = CInt -> Ptr t -> b | 85 | type Trans (Vector t) b = CInt -> Ptr t -> b |
91 | type TransRaw (Vector t) b = CInt -> Ptr t -> b | ||
92 | type Elem (Vector t) = t | ||
93 | apply = avec | 86 | apply = avec |
94 | {-# INLINE apply #-} | 87 | {-# INLINE apply #-} |
95 | applyRaw = avec | ||
96 | {-# INLINE applyRaw #-} | ||
97 | 88 | ||