diff --git a/README.md b/README.md --- a/README.md +++ b/README.md @@ -1,123 +1,12 @@ -# *H Y L O G E N* [![Hackage Status](https://img.shields.io/hackage/v/hylogen.svg)](https://hackage.haskell.org/package/hylogen) [![Join the chat at https://gitter.im/sleexyz/hylogen](https://badges.gitter.im/sleexyz/hylogen.svg)](https://gitter.im/sleexyz/hylogen?utm_source=badge&utm_medium=badge&utm_campaign=pr-badge&utm_content=badge) - - -![](https://thumbs.gfycat.com/SoftAdeptAlaskajingle-size_restricted.gif) - -Hylogen is a purely functional shader language embedded in Haskell that compiles to GLSL. It functions as a powerful alternative to GLSL by leveraging many features of Haskell, including: - -**Type inference** - Write more concise code by allowing Haskell to infer the types of your expressions. - -- GLSL: `vec4 foo = vec4(3.0);` -- Hylogen: `foo = 3` - - -**Higher-order functions** - Use your standard Haskell goodies: `map`, `foldl`/`foldr`, `$`, `.`,[ `&`](https://hackage.haskell.org/package/base-4.9.0.0/docs/Data-Function.html#v:-38-), etc, or write your own! - -**Modules** - Split up complex shaders into multiple files. Write your own high level libraries and `import` them as modules. +

+ +

![](data:image/gif;base64,R0lGODlhAQABAAAAACH5BAEKAAEALAAAAAABAAEAAAICTAEAOw==) - -[**Hylide**](https://github.com/sleexyz/hylide) is a livecoding WebGL renderer built for Hylogen. It features hot-reloading, audio-reactivity and texture backbuffering. However, Hylogen is a general purpose shader language; it can be used anywhere GLSL is used. - +

H Y L O G E N

+

An embedding of GLSL in Haskell.

![](data:image/gif;base64,R0lGODlhAQABAAAAACH5BAEKAAEALAAAAAABAAEAAAICTAEAOw==) --- -![](data:image/gif;base64,R0lGODlhAQABAAAAACH5BAEKAAEALAAAAAABAAEAAAICTAEAOw==) - -[**Demo Reel**](https://hylogen.com) - -[Changelog](https://github.com/sleexyz/hylogen/CHANGELOG.md) - **NEW:** Hylogen/Hylide split in Hylogen 0.1.4 - -Hylogen is in alpha! Feature requests, questions, and discussion welcome on [github issues](https://github.com/sleexyz/hylogen/issues) - -![](data:image/gif;base64,R0lGODlhAQABAAAAACH5BAEKAAEALAAAAAABAAEAAAICTAEAOw==) - ---- -![](data:image/gif;base64,R0lGODlhAQABAAAAACH5BAEKAAEALAAAAAABAAEAAAICTAEAOw==) - - - -## Install -1. Install the [Haskell Platform](https://www.haskell.org/platform/) -2. `cabal update && cabal install hylogen hylide` - -![](data:image/gif;base64,R0lGODlhAQABAAAAACH5BAEKAAEALAAAAAABAAEAAAICTAEAOw==) - -## Example -Here's a simple Hylogen shader to be used with Hylide, saved as `Example.hs`: - -```haskell - -module Example where -import Hylogen.WithHylide - -output :: Program -output = toProgram color - -color :: Vec4 -color = vec4 (a, a, a, 1) - where - k = 20 - f = (*k) . sin . (/k) - a = sum [ cos (x_ uvN * f time + x_ mouse ) - , sin (y_ uvN * f time + y_ mouse ) - ] -``` - -Run Hylide: - -``` -$ hylide Example.hs -``` - -Now go to [localhost:5678](http://localhost:5678) in your browser. You'll see a live rendering of the corresponding generated GLSL: - -```GLSL -void main() { - float _7 = uvN.x; - float _10 = (time / 20.0); - float _9 = sin(_10); - float _8 = (_9 * 20.0); - float _6 = (_7 * _8); - float _11 = mouse.x; - float _5 = (_6 + _11); - float _4 = cos(_5); - float _3 = (0.0 + _4); - float _15 = uvN.y; - float _18 = (time / 20.0); - float _17 = sin(_18); - float _16 = (_17 * 20.0); - float _14 = (_15 * _16); - float _19 = mouse.y; - float _13 = (_14 + _19); - float _12 = sin(_13); - float _2 = (_3 + _12); - vec4 _1 = vec4(_2, _2, _2, 1.0); - - gl_FragColor = _1; -} -``` - -Hylide will recompile on changes to the Haskell source, sending generated GLSL to the WebGL client via websockets. - - - - -![](data:image/gif;base64,R0lGODlhAQABAAAAACH5BAEKAAEALAAAAAABAAEAAAICTAEAOw==) - -## References -- [The_Force](https://github.com/shawnlawson/The_Force) by Shawn Lawson. Initial inspiration for Hylogen/Hylide. Live-coding of audio-reactive shaders! -- [data-reify](https://hackage.haskell.org/package/data-reify) by Andy Gill, to keep intermediate AST representations from exploding by preserving the GHC heap's internal sharing - -## Links -- [Demo reel](https://hylogen.com) -- [Examples](https://github.com/sleexyz/hylogen-yay) -- [Hackage](https://hackage.haskell.org/package/hylogen) -- [Hylide](https://github.com/sleexyz/hylide) - - -![](data:image/gif;base64,R0lGODlhAQABAAAAACH5BAEKAAEALAAAAAABAAEAAAICTAEAOw==) - - -Conceived of at the [Recurse Center](https://www.recurse.com/) :) +See [github](https://github.com/sleexyz/hylogen) for more information. diff --git a/Setup.hs b/Setup.hs deleted file mode 100644 --- a/Setup.hs +++ /dev/null @@ -1,2 +0,0 @@ -import Distribution.Simple -main = defaultMain diff --git a/hylogen.cabal b/hylogen.cabal --- a/hylogen.cabal +++ b/hylogen.cabal @@ -1,28 +1,36 @@ -name: hylogen -version: 0.1.4.1 -synopsis: Purely functional GLSL embedded in Haskell -description: Purely functional GLSL embedded in Haskell -homepage: https://github.com/sleexyz/hylogen -author: Sean Lee -license: MIT -maintainer: freshdried@gmail.com -category: Graphics -build-type: Simple -extra-source-files: README.md -cabal-version: >=1.10 -stability: experimental +-- This file has been generated from package.yaml by hpack version 0.14.1. +-- +-- see: https://github.com/sol/hpack +name: hylogen +version: 0.1.5.0 +synopsis: GLSL embedded in Haskell +description: GLSL embedded in Haskell +category: Graphics +homepage: https://github.com/sleexyz/hylogen +author: Sean Lee +maintainer: freshdried@gmail.com +license: MIT +build-type: Simple +cabal-version: >= 1.10 + +extra-source-files: + README.md + library - exposed-modules: Hylogen - , Hylogen.Types - , Hylogen.Types.Vec - , Hylogen.Types.Booly - , Hylogen.Types.Texture - , Hylogen.Expr - , Hylogen.Globals - , Hylogen.Program - build-depends: base >= 4.8 && < 5 - , vector-space - , data-reify - hs-source-dirs: src - default-language: Haskell2010 + hs-source-dirs: + src + build-depends: + base >=4.8 && < 5 + , vector-space + , data-reify + exposed-modules: + Hylogen + Hylogen.Expr + Hylogen.Globals + Hylogen.Program + Hylogen.Types + Hylogen.Types.Booly + Hylogen.Types.Texture + Hylogen.Types.Vec + default-language: Haskell2010 diff --git a/src/Hylogen/Types/Vec.hs b/src/Hylogen/Types/Vec.hs --- a/src/Hylogen/Types/Vec.hs +++ b/src/Hylogen/Types/Vec.hs @@ -21,7 +21,8 @@ -- | Floating vector singleton type tag -data FloatVec (n :: Nat) = FloatVec +data FloatVec (n :: Nat) where + FloatVec :: (Veccable n) => FloatVec n -- | Hylogen floating-point Vector type type Vec n = Expr (FloatVec n)