Hylogen.Types

Documentation

type family HyloConstructor v

Darn I need injective type families.. waiting for GHC8

Equations

HyloConstructor Vec1 = Float

HyloConstructor Vec2 = (Vec1, Vec1)

HyloConstructor Vec3 = (Vec1, Vec1, Vec1)

HyloConstructor Vec4 = (Vec1, Vec1, Vec1, Vec1)

class Show v => HyloPrim v where

Methods

vec :: HyloConstructor v -> 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

Instances

HyloPrim Vec4

HyloPrim Vec3

HyloPrim Vec2

HyloPrim 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

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

AdditiveGroup Vec1

HyloPrim Vec1

type Scalar Vec1 = Vec1

data Vec2 where

Vec2:

Constructors

Vec2 :: (Vec1, Vec1) -> 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

AdditiveGroup Vec2

HasY Vec2

HasX Vec2

HyloPrim Vec2

type Scalar Vec2 = Vec1

data Vec3 where

Vec3:

Constructors

Vec3 :: (Vec1, Vec1, Vec1) -> 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

AdditiveGroup Vec3

HasZ Vec3

HasY Vec3

HasX Vec3

HyloPrim Vec3

type Scalar Vec3 = Vec1

data Vec4 where

Vec4:

Constructors

Vec4 :: (Vec1, Vec1, Vec1, Vec1) -> 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

AdditiveGroup Vec4

HasW Vec4

HasZ Vec4

HasY Vec4

HasX Vec4

HyloPrim 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 :: HyloPrim a => String -> a -> a -> Booly

Instances

Num Booly

Show Booly