Safe Haskell | None |
---|---|
Language | Haskell2010 |
- data FloatVec n where
- type Vec n = Expr (FloatVec n)
- 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
- vec2 :: (Vec1, Vec1) -> Vec2
- class ToVec3 tuple where
- class ToVec4 tuple where
- type (>=) x y = ((x + 1) <=? y) ~ False
- mkSwizz :: forall n m. (Veccable n, Veccable m) => String -> Vec n -> Vec m
- 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
Documentation
data FloatVec n where Source #
Floating vector singleton type tag
Veccable n => Floating (Vec n) Source # | |
Veccable n => Fractional (Vec n) Source # | |
Veccable n => Num (Vec n) Source # | |
ToGLSLType (FloatVec 1) Source # | |
ToGLSLType (FloatVec 2) Source # | |
ToGLSLType (FloatVec 3) Source # | |
ToGLSLType (FloatVec 4) Source # | |
Veccable n => VectorSpace (Vec n) Source # | |
Veccable n => InnerSpace (Vec n) Source # | |
Veccable n => AdditiveGroup (Vec n) Source # | |
((~) * a Vec1, (~) * b Vec1) => ToVec4 (a, b, Vec2) Source # | |
((~) * a Vec1, (~) * c Vec1) => ToVec4 (a, Vec2, c) Source # | |
((~) * b Vec1, (~) * c Vec1) => ToVec4 (Vec2, b, c) Source # | |
type Scalar (Vec n) Source # | |
class (ToGLSLType (FloatVec n), KnownNat n) => Veccable n where Source #
A Nat is veccable if it can be the dimension of a GLSL vector
class ToVec4 tuple where Source #
((~) * a (Vec m), (~) * b (Vec ((-) 4 m))) => ToVec4 (a, b) Source # | |
((~) * a Vec1, (~) * b Vec1) => ToVec4 (a, b, Vec2) Source # | |
((~) * a Vec1, (~) * c Vec1) => ToVec4 (a, Vec2, c) Source # | |
((~) * b Vec1, (~) * c Vec1) => ToVec4 (Vec2, b, c) Source # | |
((~) * a Vec1, (~) * b Vec1, (~) * c Vec1, (~) * d Vec1) => ToVec4 (a, b, c, d) Source # | |