 | dph-seq-0.4.0: Data structures for Nested Data-Parallel Haskell. | Contents | Index |
|
| Data.Array.Parallel.Lifted |
|
|
|
| Synopsis |
|
| data PArray a = PArray Int# (PData a) | | | data family PData a | | | data PA a = PA {} | | | lengthPA# :: PArray a -> Int# | | | dataPA# :: PArray a -> PData a | | | replicatePA# :: PA a -> Int# -> a -> PArray a | | | replicatelPA# :: PA a -> Segd -> PArray a -> PArray a | | | repeatPA# :: PA a -> Int# -> PArray a -> PArray a | | | repeatcPA# :: PA a -> Array Int -> Segd -> PArray a -> PArray a | | | emptyPA :: PA a -> PArray a | | | indexPA# :: PA a -> PArray a -> Int# -> a | | | extractPA# :: PA a -> PArray a -> Int# -> Int# -> PArray a | | | bpermutePA# :: PA a -> PArray a -> Int# -> Array Int -> PArray a | | | appPA# :: PA a -> PArray a -> PArray a -> PArray a | | | applPA# :: PA a -> Segd -> PArray a -> Segd -> PArray a -> PArray a | | | packPA# :: PA a -> PArray a -> Int# -> Array Bool -> PArray a | | | combine2PA# :: PA a -> Int# -> Sel2 -> PArray a -> PArray a -> PArray a | | | fromListPA# :: PA a -> Int# -> [a] -> PArray a | | | fromListPA :: PA a -> [a] -> PArray a | | | nfPA :: PA a -> PArray a -> () | | | replicatePD :: PA a -> T_replicatePR a | | | replicatelPD :: PA a -> T_replicatelPR a | | | repeatPD :: PA a -> T_repeatPR a | | | repeatcPD :: PA a -> T_repeatcPR a | | | emptyPD :: PA a -> T_emptyPR a | | | indexPD :: PA a -> T_indexPR a | | | extractPD :: PA a -> T_extractPR a | | | bpermutePD :: PA a -> T_bpermutePR a | | | appPD :: PA a -> T_appPR a | | | applPD :: PA a -> T_applPR a | | | packPD :: PA a -> T_packPR a | | | combine2PD :: PA a -> T_combine2PR a | | | fromListPD :: PA a -> T_fromListPR a | | | fromListPD :: PA a -> T_fromListPR a | | | nfPD :: PA a -> T_nfPR a | | | type family PRepr a | | | data PR a = PR {} | | | mkPR :: PA a -> PR a | | | mkReprPA :: a ~ PRepr a => PR a -> PA a | | | type T_replicatePR a = Int# -> a -> PData a | | | type T_replicatelPR a = Segd -> PData a -> PData a | | | type T_repeatPR a = Int# -> Int# -> PData a -> PData a | | | type T_repeatcPR a = Int# -> Array Int -> Segd -> PData a -> PData a | | | type T_emptyPR a = PData a | | | type T_indexPR a = PData a -> Int# -> a | | | type T_extractPR a = PData a -> Int# -> Int# -> PData a | | | type T_bpermutePR a = PData a -> Int# -> Array Int -> PData a | | | type T_appPR a = PData a -> PData a -> PData a | | | type T_applPR a = Segd -> PData a -> Segd -> PData a -> PData a | | | type T_packPR a = PData a -> Int# -> Array Bool -> PData a | | | type T_combine2PR a = Int# -> Sel2 -> PData a -> PData a -> PData a | | | type T_fromListPR a = Int# -> [a] -> PData a | | | type T_fromListPR a = Int# -> [a] -> PData a | | | type T_nfPR a = PData a -> () | | | data family PData a | | | dPA_Int :: PA Int | | | dPR_Int :: PR Int | | | dPA_Word8 :: PA Word8 | | | dPR_Word8 :: PR Word8 | | | dPA_Double :: PA Double | | | dPR_Double :: PR Double | | | dPA_Bool :: PA Bool | | | dPA_Unit :: PA () | | | dPA_2 :: PA a -> PA b -> PA (a, b) | | | dPA_3 :: PA a -> PA b -> PA c -> PA (a, b, c) | | | dPA_4 :: PA a -> PA b -> PA c -> PA d -> PA (a, b, c, d) | | | dPA_5 :: PA a -> PA b -> PA c -> PA d -> PA e -> PA (a, b, c, d, e) | | | dPA_PArray :: PA a -> PA (PArray a) | | | data a :-> b | | | ($:) :: forall a b. (a :-> b) -> a -> b | | | ($:^) :: forall a b. PArray (a :-> b) -> PArray a -> PArray b | | | dPA_Clo :: PA a -> PA b -> PA (a :-> b) |
|
|
| Documentation |
|
| data PArray a |
| Lifted parallel arrays
| | Constructors | | Instances | |
|
|
| data family PData a |
|
| data PA a |
| Dictionaries
| | Constructors | |
|
|
| lengthPA# :: PArray a -> Int# |
|
| dataPA# :: PArray a -> PData a |
|
| replicatePA# :: PA a -> Int# -> a -> PArray a |
|
| replicatelPA# :: PA a -> Segd -> PArray a -> PArray a |
|
| repeatPA# :: PA a -> Int# -> PArray a -> PArray a |
|
| repeatcPA# :: PA a -> Array Int -> Segd -> PArray a -> PArray a |
|
| emptyPA :: PA a -> PArray a |
|
| indexPA# :: PA a -> PArray a -> Int# -> a |
|
| extractPA# :: PA a -> PArray a -> Int# -> Int# -> PArray a |
|
| bpermutePA# :: PA a -> PArray a -> Int# -> Array Int -> PArray a |
|
| appPA# :: PA a -> PArray a -> PArray a -> PArray a |
|
| applPA# :: PA a -> Segd -> PArray a -> Segd -> PArray a -> PArray a |
|
| packPA# :: PA a -> PArray a -> Int# -> Array Bool -> PArray a |
|
| combine2PA# :: PA a -> Int# -> Sel2 -> PArray a -> PArray a -> PArray a |
|
| fromListPA# :: PA a -> Int# -> [a] -> PArray a |
|
| fromListPA :: PA a -> [a] -> PArray a |
|
| nfPA :: PA a -> PArray a -> () |
|
| replicatePD :: PA a -> T_replicatePR a |
|
| replicatelPD :: PA a -> T_replicatelPR a |
|
| repeatPD :: PA a -> T_repeatPR a |
|
| repeatcPD :: PA a -> T_repeatcPR a |
|
| emptyPD :: PA a -> T_emptyPR a |
|
| indexPD :: PA a -> T_indexPR a |
|
| extractPD :: PA a -> T_extractPR a |
|
| bpermutePD :: PA a -> T_bpermutePR a |
|
| appPD :: PA a -> T_appPR a |
|
| applPD :: PA a -> T_applPR a |
|
| packPD :: PA a -> T_packPR a |
|
| combine2PD :: PA a -> T_combine2PR a |
|
| fromListPD :: PA a -> T_fromListPR a |
|
| fromListPD :: PA a -> T_fromListPR a |
|
| nfPD :: PA a -> T_nfPR a |
|
| type family PRepr a |
|
|
| data PR a |
|
|
| mkPR :: PA a -> PR a |
|
| mkReprPA :: a ~ PRepr a => PR a -> PA a |
|
| type T_replicatePR a = Int# -> a -> PData a |
|
| type T_replicatelPR a = Segd -> PData a -> PData a |
|
| type T_repeatPR a = Int# -> Int# -> PData a -> PData a |
|
| type T_repeatcPR a = Int# -> Array Int -> Segd -> PData a -> PData a |
|
| type T_emptyPR a = PData a |
|
| type T_indexPR a = PData a -> Int# -> a |
|
| type T_extractPR a = PData a -> Int# -> Int# -> PData a |
|
| type T_bpermutePR a = PData a -> Int# -> Array Int -> PData a |
|
| type T_appPR a = PData a -> PData a -> PData a |
|
| type T_applPR a = Segd -> PData a -> Segd -> PData a -> PData a |
|
| type T_packPR a = PData a -> Int# -> Array Bool -> PData a |
|
| type T_combine2PR a = Int# -> Sel2 -> PData a -> PData a -> PData a |
|
| type T_fromListPR a = Int# -> [a] -> PData a |
|
| type T_fromListPR a = Int# -> [a] -> PData a |
|
| type T_nfPR a = PData a -> () |
|
| data family PData a |
|
| dPA_Int :: PA Int |
|
| dPR_Int :: PR Int |
|
| dPA_Word8 :: PA Word8 |
|
| dPR_Word8 :: PR Word8 |
|
| dPA_Double :: PA Double |
|
| dPR_Double :: PR Double |
|
| dPA_Bool :: PA Bool |
|
| dPA_Unit :: PA () |
|
| dPA_2 :: PA a -> PA b -> PA (a, b) |
|
| dPA_3 :: PA a -> PA b -> PA c -> PA (a, b, c) |
|
| dPA_4 :: PA a -> PA b -> PA c -> PA d -> PA (a, b, c, d) |
|
| dPA_5 :: PA a -> PA b -> PA c -> PA d -> PA e -> PA (a, b, c, d, e) |
|
| dPA_PArray :: PA a -> PA (PArray a) |
|
| data a :-> b |
|
|
| ($:) :: forall a b. (a :-> b) -> a -> b |
| Closure application
|
|
| ($:^) :: forall a b. PArray (a :-> b) -> PArray a -> PArray b |
| Lifted closure application
|
|
| dPA_Clo :: PA a -> PA b -> PA (a :-> b) |
|
| Produced by Haddock version 2.7.2 |