Safe Haskell | None |
---|
- newtype T n a = Cons (Vector n a)
- size :: PositiveT n => T n a -> Int
- zip :: T n a -> T n b -> T n (a, b)
- zip3 :: T n a -> T n b -> T n c -> T n (a, b, c)
- unzip :: T n (a, b) -> (T n a, T n b)
- unzip3 :: T n (a, b, c) -> (T n a, T n b, T n c)
- class C a where
- type Vector n a :: *
- undef :: PositiveT n => T n a
- shuffleMatch :: PositiveT n => ConstValue (Vector n Word32) -> T n a -> CodeGenFunction r (T n a)
- extract :: PositiveT n => Value Word32 -> T n a -> CodeGenFunction r (T a)
- insert :: PositiveT n => Value Word32 -> T a -> T n a -> CodeGenFunction r (T n a)
- undefPrimitive :: (PositiveT n, IsPrimitive a, Vector n a ~ Value (Vector n a)) => T n a
- shuffleMatchPrimitive :: (PositiveT n, IsPrimitive a, Vector n a ~ Value (Vector n a), ValueTuple a ~ Value a) => ConstValue (Vector n Word32) -> T n a -> CodeGenFunction r (T n a)
- extractPrimitive :: (PositiveT n, IsPrimitive a, Vector n a ~ Value (Vector n a), ValueTuple a ~ Value a) => Value Word32 -> T n a -> CodeGenFunction r (T a)
- insertPrimitive :: (PositiveT n, IsPrimitive a, Vector n a ~ Value (Vector n a), ValueTuple a ~ Value a) => Value Word32 -> T a -> T n a -> CodeGenFunction r (T n a)
- assemble :: (PositiveT n, C a) => [T a] -> CodeGenFunction r (T n a)
- dissect :: (PositiveT n, C a) => T n a -> CodeGenFunction r [T a]
- shuffleMatchGen :: (Vector n a ~ v, Simple v, n ~ Size v) => ConstValue (Vector n Word32) -> T n a -> CodeGenFunction r (T n a)
- extractGen :: (Vector n a ~ v, Simple v, ValueTuple a ~ Element v) => Value Word32 -> T n a -> CodeGenFunction r (T a)
- insertGen :: (Vector n a ~ v, C v, ValueTuple a ~ Element v) => Value Word32 -> T a -> T n a -> CodeGenFunction r (T n a)
Documentation
undef :: PositiveT n => T n aSource
shuffleMatch :: PositiveT n => ConstValue (Vector n Word32) -> T n a -> CodeGenFunction r (T n a)Source
extract :: PositiveT n => Value Word32 -> T n a -> CodeGenFunction r (T a)Source
insert :: PositiveT n => Value Word32 -> T a -> T n a -> CodeGenFunction r (T n a)Source
undefPrimitive :: (PositiveT n, IsPrimitive a, Vector n a ~ Value (Vector n a)) => T n aSource
shuffleMatchPrimitive :: (PositiveT n, IsPrimitive a, Vector n a ~ Value (Vector n a), ValueTuple a ~ Value a) => ConstValue (Vector n Word32) -> T n a -> CodeGenFunction r (T n a)Source
extractPrimitive :: (PositiveT n, IsPrimitive a, Vector n a ~ Value (Vector n a), ValueTuple a ~ Value a) => Value Word32 -> T n a -> CodeGenFunction r (T a)Source
insertPrimitive :: (PositiveT n, IsPrimitive a, Vector n a ~ Value (Vector n a), ValueTuple a ~ Value a) => Value Word32 -> T a -> T n a -> CodeGenFunction r (T n a)Source
function based on classes from Vector module
shuffleMatchGen :: (Vector n a ~ v, Simple v, n ~ Size v) => ConstValue (Vector n Word32) -> T n a -> CodeGenFunction r (T n a)Source
extractGen :: (Vector n a ~ v, Simple v, ValueTuple a ~ Element v) => Value Word32 -> T n a -> CodeGenFunction r (T a)Source