signatures

1 files changed, 7 insertions, 0 deletions

diff --git a/ddl/Definitions.hs b/ddl/Definitions.hs
index 4c3b026..56fb6ee 100644
--- a/ddl/Definitions.hs
+++ b/ddl/Definitions.hs
@@ -2,8 +2,10 @@
 module Definitions (modules) where
 
 import Control.Monad.Writer
+import Data.Functor.Identity
 import Language
 
+ir :: WriterT ([DataDef], [String]) Identity ()
 ir = do
   -- type aliases
   "StreamName" #= Int
@@ -434,6 +436,7 @@ ir = do
       ]
     deriving_ [Haskell] [Show]
 
+mesh :: WriterT ([DataDef], [String]) Identity ()
 mesh = do
   data_ "MeshAttribute" $ do
     const_ "A_Float"  [Array Float]
@@ -459,6 +462,7 @@ mesh = do
       , "mPrimitive"  #:: "MeshPrimitive"
       ]
 
+typeInfo :: WriterT ([DataDef], [String]) Identity ()
 typeInfo = do
   data_ "Range" $ do
     constR_ "Range"
@@ -490,6 +494,7 @@ typeInfo = do
     const_ "CompileError" [String, Array "TypeInfo", Array "WarningInfo", Array "ErrorInfo"]
     const_ "Compiled"     [String, String, "Pipeline", Array "TypeInfo", Array "WarningInfo"]
 
+pipelineSchema :: WriterT ([DataDef], [String]) Identity ()
 pipelineSchema = do
   data_ "StreamType" $ do
     enum_ "Attribute_Word"
@@ -527,6 +532,7 @@ pipelineSchema = do
       , "uniforms"      #:: Map String "InputType"
       ]
 
+testData :: WriterT ([DataDef], [String]) Identity ()
 testData = do
   -- client info
   data_ "ClientInfo" $ do
@@ -578,6 +584,7 @@ testData = do
     const_ "RenderJobResult"  ["FrameResult"]
     const_ "RenderJobError"   [String]
 
+modules :: WriterT [ModuleDef] Identity ()
 modules = do
   module_ "LambdaCube.IR" ir
   module_ "LambdaCube.PipelineSchema" $ do