| Safe Haskell | None |
|---|
Data.Yarr.Utils.FixedVector
Contents
- module Data.Vector.Fixed
- type family Fn n a b :: *
- arity :: Arity n => n -> Int
- zipWith3 :: (Vector v a, Vector v b, Vector v c, Vector v d, Vector v (b, c)) => (a -> b -> c -> d) -> v a -> v b -> v c -> v d
- zipWithM_ :: (Vector v a, Vector v b, Vector v c, Monad m, Vector v (m c)) => (a -> b -> m c) -> v a -> v b -> m ()
- apply :: (Vector v a, Vector v (a -> b), Vector v b) => v (a -> b) -> v a -> v b
- all :: Vector v a => (a -> Bool) -> v a -> Bool
- any :: Vector v a => (a -> Bool) -> v a -> Bool
- zero :: (Vector v a, Num a) => v a
- iifoldl :: Vector v a => ix -> (ix -> ix) -> (b -> ix -> a -> b) -> b -> v a -> b
- iifoldM :: (Vector v a, Monad m) => ix -> (ix -> ix) -> (b -> ix -> a -> m b) -> b -> v a -> m b
- type N7 = S N6
- type N8 = S N7
- n1 :: N1
- n2 :: N2
- n3 :: N3
- n4 :: N4
- n5 :: N5
- n6 :: N6
- n7 :: N7
- n8 :: N8
- vl_1 :: a -> VecList N1 a
- vl_2 :: a -> a -> VecList N2 a
- vl_3 :: a -> a -> a -> VecList N3 a
- vl_4 :: a -> a -> a -> a -> VecList N4 a
- data family VecTuple n e
- sel_2_2 :: VecTuple N2 e -> e
- sel_2_1 :: VecTuple N2 e -> e
- sel_3_3 :: VecTuple N3 e -> e
- sel_3_2 :: VecTuple N3 e -> e
- sel_3_1 :: VecTuple N3 e -> e
- sel_4_4 :: VecTuple N4 e -> e
- sel_4_3 :: VecTuple N4 e -> e
- sel_4_2 :: VecTuple N4 e -> e
- sel_4_1 :: VecTuple N4 e -> e
- sel_5_5 :: VecTuple N5 e -> e
- sel_5_4 :: VecTuple N5 e -> e
- sel_5_3 :: VecTuple N5 e -> e
- sel_5_2 :: VecTuple N5 e -> e
- sel_5_1 :: VecTuple N5 e -> e
- sel_6_6 :: VecTuple N6 e -> e
- sel_6_5 :: VecTuple N6 e -> e
- sel_6_4 :: VecTuple N6 e -> e
- sel_6_3 :: VecTuple N6 e -> e
- sel_6_2 :: VecTuple N6 e -> e
- sel_6_1 :: VecTuple N6 e -> e
- sel_7_7 :: VecTuple N7 e -> e
- sel_7_6 :: VecTuple N7 e -> e
- sel_7_5 :: VecTuple N7 e -> e
- sel_7_4 :: VecTuple N7 e -> e
- sel_7_3 :: VecTuple N7 e -> e
- sel_7_2 :: VecTuple N7 e -> e
- sel_7_1 :: VecTuple N7 e -> e
- sel_8_8 :: VecTuple N8 e -> e
- sel_8_7 :: VecTuple N8 e -> e
- sel_8_6 :: VecTuple N8 e -> e
- sel_8_5 :: VecTuple N8 e -> e
- sel_8_4 :: VecTuple N8 e -> e
- sel_8_3 :: VecTuple N8 e -> e
- sel_8_2 :: VecTuple N8 e -> e
- sel_8_1 :: VecTuple N8 e -> e
- makeVecTupleInstance :: Arity n => TypeQ -> n -> Q [Dec]
- class Arity ar => InlinableArity ar where
- inlinableZipWith :: (Vector v a, Vector v b, Vector v c, Dim v ~ ar) => (a -> b -> c) -> v a -> v b -> v c
- inlinableMap :: (Vector v a, Vector v b, Dim v ~ ar) => (a -> b) -> v a -> v b
- makeInlinableArityInstance :: Arity n => TypeQ -> n -> Q [Dec]
Fixed Vector
module Data.Vector.Fixed
type family Fn n a b :: *
Type family for n-ary functions.
Missed utility
zipWith3 :: (Vector v a, Vector v b, Vector v c, Vector v d, Vector v (b, c)) => (a -> b -> c -> d) -> v a -> v b -> v c -> v dSource
zipWithM_ :: (Vector v a, Vector v b, Vector v c, Monad m, Vector v (m c)) => (a -> b -> m c) -> v a -> v b -> m ()Source
iifoldM :: (Vector v a, Monad m) => ix -> (ix -> ix) -> (b -> ix -> a -> m b) -> b -> v a -> m bSource
Aliases and shortcuts
Arity
Arity "instances" -- aliases to undefined.
VecList makers
VecTuple
InlinableArity
class Arity ar => InlinableArity ar whereSource
Workaround for slice-wise currined filling functions inlining issues.
See comment to CVL for details.