Data.Yarr.Utils.FixedVector

Fixed Vector

module Data.Vector.Fixed

type family Fn n a b :: *

Type family for n-ary functions.

arity :: Arity n => n -> Int

Arity of function.

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 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

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

Aliases and shortcuts

Arity

type N7 = S N6

type N8 = S N7

Arity "instances" -- aliases to undefined.

n1 :: N1

n2 :: N2

n3 :: N3

n4 :: N4

n5 :: N5

n6 :: N6

n7 :: N7

n8 :: N8

VecList makers

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

VecTuple

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]

InlinableArity

class Arity ar => InlinableArity ar where

Workaround for slice-wise currined filling functions inlining issues. See comment to CVL for details.

Methods

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

Instances

InlinableArity N1

InlinableArity N2

InlinableArity N3

InlinableArity N4

InlinableArity N5

InlinableArity N6

InlinableArity N8

InlinableArity N7

makeInlinableArityInstance :: Arity n => TypeQ -> n -> Q [Dec]