Hylogen.Types

Documentation

class (ConstructFrom' tuple hprim, Show tuple, Vec hprim) => ConstructFrom tuple hprim

Instances

ConstructFrom Float Vec1

(~) * a Vec2 => ConstructFrom (a, Vec2) Vec4

(~) * a Vec1 => ConstructFrom (a, Vec3) Vec4

ConstructFrom (Vec3, Vec1) Vec4

ConstructFrom (Vec2, Vec1) Vec3

ConstructFrom (Vec1, Vec2) Vec3

ConstructFrom (Vec1, Vec1) Vec2

((~) * a Vec1, (~) * b Vec1) => ConstructFrom (a, b, Vec2) Vec4

ConstructFrom (Vec2, Vec1, Vec1) Vec4

ConstructFrom (Vec1, Vec2, Vec1) Vec4

ConstructFrom (Vec1, Vec1, Vec1) Vec3

ConstructFrom (Vec1, Vec1, Vec1, Vec1) Vec4

type family ConstructFrom' tuple hprim :: Constraint

Equations

ConstructFrom' a Vec1 = a ~ Float

ConstructFrom' (a, b) Vec2 = (a ~ Vec1, b ~ Vec1)

ConstructFrom' (a, b, c) Vec3 = (a ~ Vec1, b ~ Vec1, c ~ Vec1)

ConstructFrom' (Vec2, b) Vec3 = b ~ Vec1

ConstructFrom' (a, Vec2) Vec3 = a ~ Vec1

ConstructFrom' (a, b, c, d) Vec4 = (a ~ Vec1, b ~ Vec1, c ~ Vec1, d ~ Vec1)

ConstructFrom' (Vec3, b) Vec4 = b ~ Vec1

ConstructFrom' (Vec2, b) Vec4 = b ~ Vec2

ConstructFrom' (a, Vec3) Vec4 = a ~ Vec1

ConstructFrom' (Vec2, b, c) Vec4 = (b ~ Vec1, c ~ Vec1)

ConstructFrom' (a, Vec2, c) Vec4 = (a ~ Vec1, c ~ Vec1)

ConstructFrom' (a, b, Vec2) Vec4 = (a ~ Vec1, b ~ Vec1)

class Show v => Vec v where

Methods

vec :: ConstructFrom tuple v => tuple -> v

vu :: String -> v

vuop :: String -> v -> v

vuoppre :: String -> v -> v

vbop :: String -> v -> v -> v

vboppre :: String -> v -> v -> v

select :: Booly -> v -> v -> v

fromVec1 :: Vec1 -> v

toList :: v -> [Vec1]

Instances

Vec Vec4

Vec Vec3

Vec Vec2

Vec Vec1

class Show a => HasX a

Instances

HasX Vec4

HasX Vec3

HasX Vec2

class HasX a => HasY a

Instances

HasY Vec4

HasY Vec3

HasY Vec2

class HasY a => HasZ a

Instances

HasZ Vec4

HasZ Vec3

class HasZ a => HasW a

Instances

HasW Vec4

data Vec1 where

Constructors

Vec1 :: Float -> Vec1

V1u :: String -> Vec1

V1uop :: String -> Vec1 -> Vec1

V1uoppre :: String -> Vec1 -> Vec1

V1bop :: String -> Vec1 -> Vec1 -> Vec1

V1boppre :: String -> Vec1 -> Vec1 -> Vec1

V1select :: Booly -> Vec1 -> Vec1 -> Vec1

Dot :: Vec a => a -> a -> Vec1

X :: HasX a => a -> Vec1

Y :: HasY a => a -> Vec1

Z :: HasZ a => a -> Vec1

W :: HasW a => a -> Vec1

Instances

Floating Vec1

Fractional Vec1

Num Vec1

Show Vec1

VectorSpace Vec1

InnerSpace Vec1

AdditiveGroup Vec1

Vec Vec1

ConstructFrom Float Vec1

ConstructFrom (Vec3, Vec1) Vec4

ConstructFrom (Vec2, Vec1) Vec3

ConstructFrom (Vec1, Vec2) Vec3

ConstructFrom (Vec1, Vec1) Vec2

ConstructFrom (Vec2, Vec1, Vec1) Vec4

ConstructFrom (Vec1, Vec2, Vec1) Vec4

ConstructFrom (Vec1, Vec1, Vec1) Vec3

ConstructFrom (Vec1, Vec1, Vec1, Vec1) Vec4

type Scalar Vec1 = Vec1

data Vec2 where

Vec2:

Constructors

Vec2 :: ConstructFrom tuple Vec2 => tuple -> Vec2

V2u :: String -> Vec2

V2uop :: String -> Vec2 -> Vec2

V2uoppre :: String -> Vec2 -> Vec2

V2bop :: String -> Vec2 -> Vec2 -> Vec2

V2boppre :: String -> Vec2 -> Vec2 -> Vec2

V2bops :: String -> Vec1 -> Vec2 -> Vec2

V2select :: Booly -> Vec2 -> Vec2 -> Vec2

Instances

Floating Vec2

Fractional Vec2

Num Vec2

Show Vec2

VectorSpace Vec2

InnerSpace Vec2

AdditiveGroup Vec2

HasY Vec2

HasX Vec2

Vec Vec2

(~) * a Vec2 => ConstructFrom (a, Vec2) Vec4

ConstructFrom (Vec2, Vec1) Vec3

ConstructFrom (Vec1, Vec2) Vec3

ConstructFrom (Vec1, Vec1) Vec2

((~) * a Vec1, (~) * b Vec1) => ConstructFrom (a, b, Vec2) Vec4

ConstructFrom (Vec2, Vec1, Vec1) Vec4

ConstructFrom (Vec1, Vec2, Vec1) Vec4

type Scalar Vec2 = Vec1

data Vec3 where

Vec3:

Constructors

Vec3 :: ConstructFrom tuple Vec3 => tuple -> Vec3

V3u :: String -> Vec3

V3uop :: String -> Vec3 -> Vec3

V3uoppre :: String -> Vec3 -> Vec3

V3bop :: String -> Vec3 -> Vec3 -> Vec3

V3boppre :: String -> Vec3 -> Vec3 -> Vec3

V3bops :: String -> Vec1 -> Vec3 -> Vec3

V3select :: Booly -> Vec3 -> Vec3 -> Vec3

Instances

Floating Vec3

Fractional Vec3

Num Vec3

Show Vec3

VectorSpace Vec3

InnerSpace Vec3

AdditiveGroup Vec3

HasZ Vec3

HasY Vec3

HasX Vec3

Vec Vec3

(~) * a Vec1 => ConstructFrom (a, Vec3) Vec4

ConstructFrom (Vec3, Vec1) Vec4

ConstructFrom (Vec2, Vec1) Vec3

ConstructFrom (Vec1, Vec2) Vec3

ConstructFrom (Vec1, Vec1, Vec1) Vec3

type Scalar Vec3 = Vec1

data Vec4 where

Vec4:

Constructors

Vec4 :: ConstructFrom tuple Vec4 => tuple -> Vec4

V4u :: String -> Vec4

V4uop :: String -> Vec4 -> Vec4

V4uoppre :: String -> Vec4 -> Vec4

V4bop :: String -> Vec4 -> Vec4 -> Vec4

V4boppre :: String -> Vec4 -> Vec4 -> Vec4

V4bops :: String -> Vec1 -> Vec4 -> Vec4

V4select :: Booly -> Vec4 -> Vec4 -> Vec4

Texture2D :: Texture -> Vec2 -> Vec4

Instances

Floating Vec4

Fractional Vec4

Num Vec4

Show Vec4

VectorSpace Vec4

InnerSpace Vec4

AdditiveGroup Vec4

HasW Vec4

HasZ Vec4

HasY Vec4

HasX Vec4

Vec Vec4

(~) * a Vec2 => ConstructFrom (a, Vec2) Vec4

(~) * a Vec1 => ConstructFrom (a, Vec3) Vec4

ConstructFrom (Vec3, Vec1) Vec4

((~) * a Vec1, (~) * b Vec1) => ConstructFrom (a, b, Vec2) Vec4

ConstructFrom (Vec2, Vec1, Vec1) Vec4

ConstructFrom (Vec1, Vec2, Vec1) Vec4

ConstructFrom (Vec1, Vec1, Vec1, Vec1) Vec4

type Scalar Vec4 = Vec1

data Texture where

Constructors

Tu :: String -> Texture

Instances

Show Texture

data Booly where

We implement Bool as a Num

Constructors

Bu :: String -> Booly

Buop :: String -> Booly -> Booly

Buoppre :: String -> Booly -> Booly

Bbop :: String -> Booly -> Booly -> Booly

Bcomp :: Vec a => String -> a -> a -> Booly

Bcomp_ :: String -> Vec1 -> Vec1 -> Booly

Instances

Num Booly

Show Booly

data Variable where

Constructors

VVec1 :: Vec1 -> Variable

VVec2 :: Vec2 -> Variable

VVec3 :: Vec3 -> Variable

VBooly :: Booly -> Variable