Safe Haskell | None |
---|---|
Language | Haskell2010 |
- data IxShader ctx i j n
- unDecl :: IxShader ctx i j n -> [String]
- unN :: IxShader ctx i j n -> n
- (>>=) :: forall i j k a b ctx. IxShader ctx i j a -> (a -> IxShader ctx j k b) -> IxShader ctx i k b
- (>>) :: forall i j a k b ctx. IxShader ctx i j a -> IxShader ctx j k b -> IxShader ctx i k b
- return :: forall a i ctx. a -> IxShader ctx i i a
- fail :: forall i j a ctx. String -> IxShader ctx i j a
- void :: IxShader ctx i k a -> IxShader ctx i k ()
- acc :: forall typ a i ctx. String -> typ -> a -> IxShader ctx i (i :++ '[typ]) a
- nxt :: forall i a ctx. String -> a -> IxShader ctx i i a
- nxt_ :: forall i ctx. String -> IxShader ctx i i ()
- sub :: forall i j a ctx. String -> String -> IxShader ctx i j a -> IxShader ctx i j a
- sub_ :: forall i j a ctx. String -> String -> IxShader ctx i j a -> IxShader ctx i j ()
- pop :: IxShader ctx (t ': j) j ()
- putSrcLn :: forall ctx j a. IxShader ctx '[] j a -> IO ()
- onlySrc :: IxShader ctx i j a -> String
- toSrc :: Pretty a => a -> String
- ixShaderSrc :: IxShader ctx '[] j a -> Either String String
Documentation
(>>=) :: forall i j k a b ctx. IxShader ctx i j a -> (a -> IxShader ctx j k b) -> IxShader ctx i k b Source #
(>>) :: forall i j a k b ctx. IxShader ctx i j a -> IxShader ctx j k b -> IxShader ctx i k b Source #