Generating files/errors from the source Haskell

Hi! I was wondering what options there are for performing the following actions from my Haskell source. Generating .hlsl / .glsl shader code (and other formats) from specific functions with specific type signatures: parsing the code generated by that function, before generating the destination format. Detecting if a specific language feature has been used and throwing errors/warnings (I believe hlint could be used for this?) that can be caught by another program. For example: detecting whenev...