| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Hylogen.Types
- type family ConstructFrom tc hprim :: Constraint
- class Show v => HyloPrim v where
- class Show a => HasX a
- class HasX a => HasY a
- class HasY a => HasZ a
- class HasZ a => HasW a
- data Vec1 where
- 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 :: HyloPrim a => a -> a -> Vec1
- X :: HasX a => a -> Vec1
- Y :: HasY a => a -> Vec1
- Z :: HasZ a => a -> Vec1
- W :: HasW a => a -> Vec1
- data Vec2 where
- Vec2 :: (Show tc, ConstructFrom tc Vec2) => tc -> 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
- data Vec3 where
- Vec3 :: (Show tc, ConstructFrom tc Vec3) => tc -> 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
- data Vec4 where
- Vec4 :: (Show tc, ConstructFrom tc Vec4) => tc -> 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
- data Texture where
- data Booly where
Documentation
type family ConstructFrom tc 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 (a, Vec2, c) Vec4 = (a ~ Vec1, c ~ Vec1) | |
| ConstructFrom (Vec2, b, c) Vec4 = (b ~ Vec1, c ~ Vec1) | |
| ConstructFrom (a, b, Vec2) Vec4 = (a ~ Vec1, b ~ Vec1) |
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 :: HyloPrim a => a -> a -> Vec1 | |
| X :: HasX a => a -> Vec1 | |
| Y :: HasY a => a -> Vec1 | |
| Z :: HasZ a => a -> Vec1 | |
| W :: HasW a => a -> Vec1 |
Vec2:
Constructors
| Vec2 :: (Show tc, ConstructFrom tc Vec2) => tc -> 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 |
Vec3:
Constructors
| Vec3 :: (Show tc, ConstructFrom tc Vec3) => tc -> 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 |
Vec4:
Constructors
| Vec4 :: (Show tc, ConstructFrom tc Vec4) => tc -> 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 |