Safe Haskell | None |
---|---|
Language | Haskell98 |
- module Data.Vector.Fixed
- arity :: Arity n => n -> Int
- apply :: (Vector v a, Vector v (a -> b), Vector v b) => v (a -> b) -> v a -> v b
- 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
- makeInlinableArityInstance :: Arity n => TypeQ -> n -> Q [Dec]
Fixed Vector
module Data.Vector.Fixed
Missed utility
iifoldM :: (Vector v a, Monad m) => ix -> (ix -> ix) -> (b -> ix -> a -> m b) -> b -> v a -> m b Source #
Aliases and shortcuts
Arity
Arity "instances" -- aliases to undefined
.
VecList makers
VecTuple
data family VecTuple n e Source #
data VecTuple N2 Source # | |
data VecTuple N3 Source # | |
data VecTuple N4 Source # | |
data VecTuple N5 Source # | |
data VecTuple N6 Source # | |
data VecTuple N8 Source # | |
data VecTuple N7 Source # | |
type Dim (VecTuple N2) # | |
type Dim (VecTuple N3) # | |
type Dim (VecTuple N4) # | |
type Dim (VecTuple N5) # | |
type Dim (VecTuple N6) # | |
type Dim (VecTuple N8) # | |
type Dim (VecTuple N7) # | |
InlinableArity
class Arity ar => InlinableArity ar where Source #
Workaround for slice-wise currined filling functions inlining issues.
See comment to CVL
for details.