FWGL.Shader.Monad

Documentation

data Shader g i o a where

Constructors

Pure :: a -> Shader g i o a

Bind :: Shader g' i' o' b -> (b -> Shader g'' i'' o'' a) -> Shader g i o a

Get :: (Member a i, Typeable a, ShaderType a) => Shader g i o a

Global :: (Member a g, Typeable a, ShaderType a) => Shader g i o a

Put :: (Member a o, Typeable a, ShaderType a) => a -> Shader g i o ()

type PartialShader g i o a = (Subset o o', Subset g g', Subset i i', Subset i' i) => Shader g' i' o' a

type Member x xs = Subset `[x]` xs

class AllTypeable xs

Instances

AllTypeable ([] *)

(Typeable * x, AllTypeable xs) => AllTypeable ((:) * x xs)

class Subset xs ys

Instances

Subset ([] *) ys

(Subset ((:) * x ([] *)) ys, Subset xs ys) => Subset ((:) * x xs) ys

type Equal xs ys = (Subset xs ys, Subset ys xs)

type family Union xs ys

Equations

Union [] ys = ys

Union (x : xs) ys = Union xs (Insert x ys)

type family Insert y xs

Equations

Insert y [] = `[y]`

Insert y (y : xs) = y : xs

Insert y (x : xs) = x : Insert y xs

return :: a -> Shader g i o a

get :: (Member a i, Typeable a, ShaderType a) => Shader g i o a

global :: (Member a g, Typeable a, ShaderType a) => Shader g i o a

put :: (Member a o, Typeable a, ShaderType a) => a -> Shader g i o ()

(>>) :: Shader g i o a -> Shader g i o b -> Shader g i o b

(>>=) :: Shader g i o a -> (a -> Shader g i o b) -> Shader g i o b

fail :: String -> Shader g i o a