Hylogen.Types.Vec

Documentation

data FloatVec n

Floating vector singleton type tag

Constructors

FloatVec

Instances

Veccable n => Floating (Vec n)

Veccable n => Fractional (Vec n)

Veccable n => Num (Vec n)

Veccable n => VectorSpace (Vec n)

Veccable n => InnerSpace (Vec n)

Veccable n => AdditiveGroup (Vec n)

ToGLSLType (FloatVec 1)

ToGLSLType (FloatVec 2)

ToGLSLType (FloatVec 3)

ToGLSLType (FloatVec 4)

((~) * a Vec1, (~) * b Vec1) => ToVec4 (a, b, Vec2)

((~) * a Vec1, (~) * c Vec1) => ToVec4 (a, Vec2, c)

((~) * b Vec1, (~) * c Vec1) => ToVec4 (Vec2, b, c)

type Scalar (Vec n) = Vec 1

type Vec n = Expr (FloatVec n)

Hylogen floating-point Vector type

type Vec1 = Vec 1

type Vec2 = Vec 2

type Vec3 = Vec 3

type Vec4 = Vec 4

class (ToGLSLType (FloatVec n), KnownNat n) => Veccable n where

A Nat is veccable if it can be the dimension of a GLSL vector

Methods

copy :: Vec1 -> Vec n

Creates a Vec n from a Vec1

toList :: Vec n -> [Vec1]

Transforms a Vec n into a list of Vec1's

Instances

Veccable 1

Veccable 2

Veccable 3

Veccable 4

vec2 :: (Vec1, Vec1) -> Vec2

Exposed constructor for making vec2's

class ToVec3 tuple where

Methods

vec3 :: tuple -> Vec3

Exposed constructor for making vec3's

Instances

((~) * a (Vec m), (~) * b (Vec ((-) 3 m))) => ToVec3 (a, b)

((~) * a Vec1, (~) * b Vec1, (~) * c Vec1) => ToVec3 (a, b, c)

class ToVec4 tuple where

Methods

vec4 :: tuple -> Vec4

Exposed constructor for making vec4's

Instances

((~) * a (Vec m), (~) * b (Vec ((-) 4 m))) => ToVec4 (a, b)

((~) * a Vec1, (~) * b Vec1) => ToVec4 (a, b, Vec2)

((~) * a Vec1, (~) * c Vec1) => ToVec4 (a, Vec2, c)

((~) * b Vec1, (~) * c Vec1) => ToVec4 (Vec2, b, c)

((~) * a Vec1, (~) * b Vec1, (~) * c Vec1, (~) * d Vec1) => ToVec4 (a, b, c, d)

type (>=) x y = ((x + 1) <=? y) ~ False

mkSwizz :: forall n m. (Veccable n, Veccable m) => String -> Vec n -> Vec m

Makes swizzle functions. Uses GenSwizz.hs to generate the following 340 swizzle expressions.

xxxx_ :: forall n. (Veccable n, n >= 2) => Vec n -> Vec 4

yxxx_ :: forall n. (Veccable n, n >= 2) => Vec n -> Vec 4

zxxx_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 4

wxxx_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

xxx_ :: forall n. (Veccable n, n >= 2) => Vec n -> Vec 3

xyxx_ :: forall n. (Veccable n, n >= 2) => Vec n -> Vec 4

yyxx_ :: forall n. (Veccable n, n >= 2) => Vec n -> Vec 4

zyxx_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 4

wyxx_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

yxx_ :: forall n. (Veccable n, n >= 2) => Vec n -> Vec 3

xzxx_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 4

yzxx_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 4

zzxx_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 4

wzxx_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

zxx_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 3

xwxx_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

ywxx_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

zwxx_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

wwxx_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

wxx_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 3

xx_ :: forall n. (Veccable n, n >= 2) => Vec n -> Vec 2

xxyx_ :: forall n. (Veccable n, n >= 2) => Vec n -> Vec 4

yxyx_ :: forall n. (Veccable n, n >= 2) => Vec n -> Vec 4

zxyx_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 4

wxyx_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

xyx_ :: forall n. (Veccable n, n >= 2) => Vec n -> Vec 3

xyyx_ :: forall n. (Veccable n, n >= 2) => Vec n -> Vec 4

yyyx_ :: forall n. (Veccable n, n >= 2) => Vec n -> Vec 4

zyyx_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 4

wyyx_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

yyx_ :: forall n. (Veccable n, n >= 2) => Vec n -> Vec 3

xzyx_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 4

yzyx_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 4

zzyx_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 4

wzyx_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

zyx_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 3

xwyx_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

ywyx_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

zwyx_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

wwyx_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

wyx_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 3

yx_ :: forall n. (Veccable n, n >= 2) => Vec n -> Vec 2

xxzx_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 4

yxzx_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 4

zxzx_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 4

wxzx_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

xzx_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 3

xyzx_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 4

yyzx_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 4

zyzx_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 4

wyzx_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

yzx_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 3

xzzx_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 4

yzzx_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 4

zzzx_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 4

wzzx_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

zzx_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 3

xwzx_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

ywzx_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

zwzx_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

wwzx_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

wzx_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 3

zx_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 2

xxwx_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

yxwx_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

zxwx_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

wxwx_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

xwx_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 3

xywx_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

yywx_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

zywx_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

wywx_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

ywx_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 3

xzwx_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

yzwx_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

zzwx_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

wzwx_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

zwx_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 3

xwwx_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

ywwx_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

zwwx_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

wwwx_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

wwx_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 3

wx_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 2

x_ :: forall n. (Veccable n, n >= 2) => Vec n -> Vec 1

xxxy_ :: forall n. (Veccable n, n >= 2) => Vec n -> Vec 4

yxxy_ :: forall n. (Veccable n, n >= 2) => Vec n -> Vec 4

zxxy_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 4

wxxy_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

xxy_ :: forall n. (Veccable n, n >= 2) => Vec n -> Vec 3

xyxy_ :: forall n. (Veccable n, n >= 2) => Vec n -> Vec 4

yyxy_ :: forall n. (Veccable n, n >= 2) => Vec n -> Vec 4

zyxy_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 4

wyxy_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

yxy_ :: forall n. (Veccable n, n >= 2) => Vec n -> Vec 3

xzxy_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 4

yzxy_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 4

zzxy_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 4

wzxy_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

zxy_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 3

xwxy_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

ywxy_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

zwxy_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

wwxy_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

wxy_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 3

xy_ :: forall n. (Veccable n, n >= 2) => Vec n -> Vec 2

xxyy_ :: forall n. (Veccable n, n >= 2) => Vec n -> Vec 4

yxyy_ :: forall n. (Veccable n, n >= 2) => Vec n -> Vec 4

zxyy_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 4

wxyy_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

xyy_ :: forall n. (Veccable n, n >= 2) => Vec n -> Vec 3

xyyy_ :: forall n. (Veccable n, n >= 2) => Vec n -> Vec 4

yyyy_ :: forall n. (Veccable n, n >= 2) => Vec n -> Vec 4

zyyy_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 4

wyyy_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

yyy_ :: forall n. (Veccable n, n >= 2) => Vec n -> Vec 3

xzyy_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 4

yzyy_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 4

zzyy_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 4

wzyy_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

zyy_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 3

xwyy_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

ywyy_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

zwyy_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

wwyy_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

wyy_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 3

yy_ :: forall n. (Veccable n, n >= 2) => Vec n -> Vec 2

xxzy_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 4

yxzy_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 4

zxzy_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 4

wxzy_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

xzy_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 3

xyzy_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 4

yyzy_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 4

zyzy_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 4

wyzy_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

yzy_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 3

xzzy_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 4

yzzy_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 4

zzzy_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 4

wzzy_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

zzy_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 3

xwzy_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

ywzy_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

zwzy_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

wwzy_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

wzy_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 3

zy_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 2

xxwy_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

yxwy_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

zxwy_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

wxwy_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

xwy_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 3

xywy_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

yywy_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

zywy_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

wywy_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

ywy_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 3

xzwy_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

yzwy_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

zzwy_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

wzwy_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

zwy_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 3

xwwy_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

ywwy_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

zwwy_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

wwwy_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

wwy_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 3

wy_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 2

y_ :: forall n. (Veccable n, n >= 2) => Vec n -> Vec 1

xxxz_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 4

yxxz_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 4

zxxz_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 4

wxxz_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

xxz_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 3

xyxz_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 4

yyxz_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 4

zyxz_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 4

wyxz_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

yxz_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 3

xzxz_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 4

yzxz_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 4

zzxz_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 4

wzxz_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

zxz_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 3

xwxz_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

ywxz_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

zwxz_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

wwxz_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

wxz_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 3

xz_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 2

xxyz_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 4

yxyz_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 4

zxyz_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 4

wxyz_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

xyz_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 3

xyyz_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 4

yyyz_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 4

zyyz_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 4

wyyz_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

yyz_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 3

xzyz_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 4

yzyz_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 4

zzyz_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 4

wzyz_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

zyz_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 3

xwyz_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

ywyz_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

zwyz_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

wwyz_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

wyz_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 3

yz_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 2

xxzz_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 4

yxzz_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 4

zxzz_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 4

wxzz_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

xzz_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 3

xyzz_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 4

yyzz_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 4

zyzz_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 4

wyzz_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

yzz_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 3

xzzz_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 4

yzzz_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 4

zzzz_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 4

wzzz_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

zzz_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 3

xwzz_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

ywzz_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

zwzz_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

wwzz_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

wzz_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 3

zz_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 2

xxwz_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

yxwz_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

zxwz_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

wxwz_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

xwz_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 3

xywz_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

yywz_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

zywz_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

wywz_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

ywz_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 3

xzwz_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

yzwz_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

zzwz_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

wzwz_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

zwz_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 3

xwwz_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

ywwz_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

zwwz_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

wwwz_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

wwz_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 3

wz_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 2

z_ :: forall n. (Veccable n, n >= 3) => Vec n -> Vec 1

xxxw_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

yxxw_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

zxxw_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

wxxw_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

xxw_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 3

xyxw_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

yyxw_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

zyxw_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

wyxw_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

yxw_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 3

xzxw_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

yzxw_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

zzxw_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

wzxw_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

zxw_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 3

xwxw_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

ywxw_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

zwxw_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

wwxw_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

wxw_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 3

xw_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 2

xxyw_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

yxyw_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

zxyw_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

wxyw_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

xyw_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 3

xyyw_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

yyyw_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

zyyw_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

wyyw_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

yyw_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 3

xzyw_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

yzyw_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

zzyw_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

wzyw_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

zyw_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 3

xwyw_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

ywyw_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

zwyw_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

wwyw_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

wyw_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 3

yw_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 2

xxzw_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

yxzw_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

zxzw_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

wxzw_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

xzw_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 3

xyzw_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

yyzw_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

zyzw_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

wyzw_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

yzw_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 3

xzzw_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

yzzw_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

zzzw_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

wzzw_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

zzw_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 3

xwzw_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

ywzw_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

zwzw_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

wwzw_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

wzw_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 3

zw_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 2

xxww_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

yxww_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

zxww_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

wxww_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

xww_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 3

xyww_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

yyww_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

zyww_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

wyww_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

yww_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 3

xzww_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

yzww_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

zzww_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

wzww_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

zww_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 3

xwww_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

ywww_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

zwww_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

wwww_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 4

www_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 3

ww_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 2

w_ :: forall n. (Veccable n, n >= 4) => Vec n -> Vec 1