Safe Haskell	None
Language	Haskell2010

Hylogen.Types

Synopsis

Documentation

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

Methods

exprFormFromTuple :: tuple -> hprim -> Expr Source

Instances

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

type family ConstructFrom' tuple hprim :: Constraint Source

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 (Expressible v, Show v) => Vec v where Source

Methods

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

vu :: String -> v Source

vuop :: String -> v -> v Source

vuoppre :: String -> v -> v Source

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

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

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

fromVec1 :: Vec1 -> v Source

toList :: v -> [Vec1] Source

Instances

Vec Vec4 Source
Vec Vec3 Source
Vec Vec2 Source
Vec Vec1 Source

class (Expressible a, Show a) => HasX a Source

Instances

HasX Vec4 Source
HasX Vec3 Source
HasX Vec2 Source

class HasX a => HasY a Source

Instances

HasY Vec4 Source
HasY Vec3 Source
HasY Vec2 Source

class HasY a => HasZ a Source

Instances

HasZ Vec4 Source
HasZ Vec3 Source

class HasZ a => HasW a Source

Instances

HasW Vec4 Source

data Vec1 where Source

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

data Vec2 where Source

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 Source
Fractional Vec2 Source
Num Vec2 Source
Show Vec2 Source
VectorSpace Vec2 Source
InnerSpace Vec2 Source
AdditiveGroup Vec2 Source
Expressible Vec2 Source
HasY Vec2 Source
HasX Vec2 Source
Vec Vec2 Source
(~) * a Vec2 => ConstructFrom (a, Vec2) Vec4 Source
ConstructFrom (Vec2, Vec1) Vec3 Source
ConstructFrom (Vec1, Vec2) Vec3 Source
ConstructFrom (Vec1, Vec1) Vec2 Source
((~) * a Vec1, (~) * b Vec1) => ConstructFrom (a, b, Vec2) Vec4 Source
ConstructFrom (Vec2, Vec1, Vec1) Vec4 Source
ConstructFrom (Vec1, Vec2, Vec1) Vec4 Source
type Scalar Vec2 = Vec1 Source

data Vec3 where Source

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 Source
Fractional Vec3 Source
Num Vec3 Source
Show Vec3 Source
VectorSpace Vec3 Source
InnerSpace Vec3 Source
AdditiveGroup Vec3 Source
Expressible Vec3 Source
HasZ Vec3 Source
HasY Vec3 Source
HasX Vec3 Source
Vec Vec3 Source
(~) * a Vec1 => ConstructFrom (a, Vec3) Vec4 Source
ConstructFrom (Vec3, Vec1) Vec4 Source
ConstructFrom (Vec2, Vec1) Vec3 Source
ConstructFrom (Vec1, Vec2) Vec3 Source
ConstructFrom (Vec1, Vec1, Vec1) Vec3 Source
type Scalar Vec3 = Vec1 Source

data Vec4 where Source

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 Source
Fractional Vec4 Source
Num Vec4 Source
Show Vec4 Source
VectorSpace Vec4 Source
InnerSpace Vec4 Source
AdditiveGroup Vec4 Source
Expressible Vec4 Source
HasW Vec4 Source
HasZ Vec4 Source
HasY Vec4 Source
HasX Vec4 Source
Vec Vec4 Source
(~) * a Vec2 => ConstructFrom (a, Vec2) Vec4 Source
(~) * a Vec1 => ConstructFrom (a, Vec3) Vec4 Source
ConstructFrom (Vec3, Vec1) Vec4 Source
((~) * a Vec1, (~) * b Vec1) => ConstructFrom (a, b, Vec2) Vec4 Source
ConstructFrom (Vec2, Vec1, Vec1) Vec4 Source
ConstructFrom (Vec1, Vec2, Vec1) Vec4 Source
ConstructFrom (Vec1, Vec1, Vec1, Vec1) Vec4 Source
type Scalar Vec4 = Vec1 Source

data Texture where Source

Constructors

Tu :: String -> Texture

Instances

Show Texture Source
Expressible Texture Source

data Booly where Source

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 Source
Show Booly Source
Expressible Booly Source

data GLSLType Source

Constructors

GLSLFloat
GLSLVec2
GLSLVec3
GLSLVec4
GLSLBool
GLSLTexture

Instances

Eq GLSLType Source
Ord GLSLType Source
Show Expr Source
Show GLSLType Source
Generic GLSLType Source
Hashable GLSLType Source
type Rep GLSLType Source

class Show a => Expressible a where Source

Methods

toExpr :: a -> Expr Source

Instances

Expressible Booly Source
Expressible Texture Source
Expressible Vec4 Source
Expressible Vec3 Source
Expressible Vec2 Source
Expressible Vec1 Source

data ExprForm Source

Constructors

Uniform
Variable
UnaryOp
UnaryOpPre
BinaryOp
BinaryOpPre
TernaryOpPre
QuaternaryOpPre
Select
Access

Instances

Show Expr Source
Show ExprForm Source
Generic ExprForm Source
Hashable ExprForm Source
type Rep ExprForm Source

data Tree a Source

Constructors

Tree
Fields getElem :: a getChildren :: [Tree a]

Instances

Functor Tree Source
Show Expr Source

type Expr = Tree (ExprForm, GLSLType, String) Source

Floating Vec1 Source
Fractional Vec1 Source
Num Vec1 Source
Show Vec1 Source
VectorSpace Vec1 Source
InnerSpace Vec1 Source
AdditiveGroup Vec1 Source
Expressible Vec1 Source
Vec Vec1 Source
ConstructFrom Float Vec1 Source
ConstructFrom (Vec3, Vec1) Vec4 Source
ConstructFrom (Vec2, Vec1) Vec3 Source
ConstructFrom (Vec1, Vec2) Vec3 Source
ConstructFrom (Vec1, Vec1) Vec2 Source
ConstructFrom (Vec2, Vec1, Vec1) Vec4 Source
ConstructFrom (Vec1, Vec2, Vec1) Vec4 Source
ConstructFrom (Vec1, Vec1, Vec1) Vec3 Source
ConstructFrom (Vec1, Vec1, Vec1, Vec1) Vec4 Source
type Scalar Vec1 = Vec1 Source