diff options
Diffstat (limited to 'ddl/out/LambdaCube.IR.purs')
-rw-r--r-- | ddl/out/LambdaCube.IR.purs | 54 |
1 files changed, 50 insertions, 4 deletions
diff --git a/ddl/out/LambdaCube.IR.purs b/ddl/out/LambdaCube.IR.purs index 8b2a76e..644bd3a 100644 --- a/ddl/out/LambdaCube.IR.purs +++ b/ddl/out/LambdaCube.IR.purs | |||
@@ -1,5 +1,5 @@ | |||
1 | -- generated file, do not modify! | 1 | -- generated file, do not modify! |
2 | -- 2016-04-01T16:25:34.381854000000Z | 2 | -- 2016-09-15T19:44:47.624123918Z |
3 | 3 | ||
4 | module LambdaCube.IR where | 4 | module LambdaCube.IR where |
5 | import Prelude | 5 | import Prelude |
@@ -10,11 +10,13 @@ import Data.Map (Map(..)) | |||
10 | import Data.List (List(..)) | 10 | import Data.List (List(..)) |
11 | import Linear | 11 | import Linear |
12 | 12 | ||
13 | import Data.Argonaut.Combinators ((~>), (:=), (.?)) | 13 | import Data.Argonaut.Encode.Combinators ((~>), (:=)) |
14 | import Data.Argonaut.Decode.Combinators ((.?)) | ||
14 | import Data.Argonaut.Core (jsonEmptyObject) | 15 | import Data.Argonaut.Core (jsonEmptyObject) |
15 | import Data.Argonaut.Printer (printJson) | 16 | import Data.Argonaut.Printer (printJson) |
16 | import Data.Argonaut.Encode (EncodeJson, encodeJson) | 17 | import Data.Argonaut.Encode (class EncodeJson, encodeJson) |
17 | import Data.Argonaut.Decode (DecodeJson, decodeJson) | 18 | import Data.Argonaut.Decode (class DecodeJson, decodeJson) |
19 | import Partial.Unsafe (unsafeCrashWith) | ||
18 | 20 | ||
19 | 21 | ||
20 | type StreamName = Int | 22 | type StreamName = Int |
@@ -497,6 +499,7 @@ instance decodeJsonArrayValue :: DecodeJson ArrayValue where | |||
497 | "VIntArray" -> VIntArray <$> obj .? "arg0" | 499 | "VIntArray" -> VIntArray <$> obj .? "arg0" |
498 | "VWordArray" -> VWordArray <$> obj .? "arg0" | 500 | "VWordArray" -> VWordArray <$> obj .? "arg0" |
499 | "VFloatArray" -> VFloatArray <$> obj .? "arg0" | 501 | "VFloatArray" -> VFloatArray <$> obj .? "arg0" |
502 | _ -> unsafeCrashWith "decodeJson @ ArrayValue" | ||
500 | 503 | ||
501 | instance encodeJsonValue :: EncodeJson Value where | 504 | instance encodeJsonValue :: EncodeJson Value where |
502 | encodeJson v = case v of | 505 | encodeJson v = case v of |
@@ -556,6 +559,7 @@ instance decodeJsonValue :: DecodeJson Value where | |||
556 | "VM42F" -> VM42F <$> obj .? "arg0" | 559 | "VM42F" -> VM42F <$> obj .? "arg0" |
557 | "VM43F" -> VM43F <$> obj .? "arg0" | 560 | "VM43F" -> VM43F <$> obj .? "arg0" |
558 | "VM44F" -> VM44F <$> obj .? "arg0" | 561 | "VM44F" -> VM44F <$> obj .? "arg0" |
562 | _ -> unsafeCrashWith "decodeJson @ Value" | ||
559 | 563 | ||
560 | instance encodeJsonInputType :: EncodeJson InputType where | 564 | instance encodeJsonInputType :: EncodeJson InputType where |
561 | encodeJson v = case v of | 565 | encodeJson v = case v of |
@@ -687,6 +691,7 @@ instance decodeJsonInputType :: DecodeJson InputType where | |||
687 | "UTexture2DMSArray" -> pure UTexture2DMSArray | 691 | "UTexture2DMSArray" -> pure UTexture2DMSArray |
688 | "UTextureBuffer" -> pure UTextureBuffer | 692 | "UTextureBuffer" -> pure UTextureBuffer |
689 | "UTexture2DRect" -> pure UTexture2DRect | 693 | "UTexture2DRect" -> pure UTexture2DRect |
694 | _ -> unsafeCrashWith "decodeJson @ InputType" | ||
690 | 695 | ||
691 | instance encodeJsonPointSpriteCoordOrigin :: EncodeJson PointSpriteCoordOrigin where | 696 | instance encodeJsonPointSpriteCoordOrigin :: EncodeJson PointSpriteCoordOrigin where |
692 | encodeJson v = case v of | 697 | encodeJson v = case v of |
@@ -700,6 +705,7 @@ instance decodeJsonPointSpriteCoordOrigin :: DecodeJson PointSpriteCoordOrigin w | |||
700 | case tag of | 705 | case tag of |
701 | "LowerLeft" -> pure LowerLeft | 706 | "LowerLeft" -> pure LowerLeft |
702 | "UpperLeft" -> pure UpperLeft | 707 | "UpperLeft" -> pure UpperLeft |
708 | _ -> unsafeCrashWith "decodeJson @ PointSpriteCoordOrigin" | ||
703 | 709 | ||
704 | instance encodeJsonPointSize :: EncodeJson PointSize where | 710 | instance encodeJsonPointSize :: EncodeJson PointSize where |
705 | encodeJson v = case v of | 711 | encodeJson v = case v of |
@@ -713,6 +719,7 @@ instance decodeJsonPointSize :: DecodeJson PointSize where | |||
713 | case tag of | 719 | case tag of |
714 | "PointSize" -> PointSize <$> obj .? "arg0" | 720 | "PointSize" -> PointSize <$> obj .? "arg0" |
715 | "ProgramPointSize" -> pure ProgramPointSize | 721 | "ProgramPointSize" -> pure ProgramPointSize |
722 | _ -> unsafeCrashWith "decodeJson @ PointSize" | ||
716 | 723 | ||
717 | instance encodeJsonPolygonOffset :: EncodeJson PolygonOffset where | 724 | instance encodeJsonPolygonOffset :: EncodeJson PolygonOffset where |
718 | encodeJson v = case v of | 725 | encodeJson v = case v of |
@@ -726,6 +733,7 @@ instance decodeJsonPolygonOffset :: DecodeJson PolygonOffset where | |||
726 | case tag of | 733 | case tag of |
727 | "NoOffset" -> pure NoOffset | 734 | "NoOffset" -> pure NoOffset |
728 | "Offset" -> Offset <$> obj .? "arg0" <*> obj .? "arg1" | 735 | "Offset" -> Offset <$> obj .? "arg0" <*> obj .? "arg1" |
736 | _ -> unsafeCrashWith "decodeJson @ PolygonOffset" | ||
729 | 737 | ||
730 | instance encodeJsonFrontFace :: EncodeJson FrontFace where | 738 | instance encodeJsonFrontFace :: EncodeJson FrontFace where |
731 | encodeJson v = case v of | 739 | encodeJson v = case v of |
@@ -739,6 +747,7 @@ instance decodeJsonFrontFace :: DecodeJson FrontFace where | |||
739 | case tag of | 747 | case tag of |
740 | "CCW" -> pure CCW | 748 | "CCW" -> pure CCW |
741 | "CW" -> pure CW | 749 | "CW" -> pure CW |
750 | _ -> unsafeCrashWith "decodeJson @ FrontFace" | ||
742 | 751 | ||
743 | instance encodeJsonPolygonMode :: EncodeJson PolygonMode where | 752 | instance encodeJsonPolygonMode :: EncodeJson PolygonMode where |
744 | encodeJson v = case v of | 753 | encodeJson v = case v of |
@@ -754,6 +763,7 @@ instance decodeJsonPolygonMode :: DecodeJson PolygonMode where | |||
754 | "PolygonPoint" -> PolygonPoint <$> obj .? "arg0" | 763 | "PolygonPoint" -> PolygonPoint <$> obj .? "arg0" |
755 | "PolygonLine" -> PolygonLine <$> obj .? "arg0" | 764 | "PolygonLine" -> PolygonLine <$> obj .? "arg0" |
756 | "PolygonFill" -> pure PolygonFill | 765 | "PolygonFill" -> pure PolygonFill |
766 | _ -> unsafeCrashWith "decodeJson @ PolygonMode" | ||
757 | 767 | ||
758 | instance encodeJsonProvokingVertex :: EncodeJson ProvokingVertex where | 768 | instance encodeJsonProvokingVertex :: EncodeJson ProvokingVertex where |
759 | encodeJson v = case v of | 769 | encodeJson v = case v of |
@@ -767,6 +777,7 @@ instance decodeJsonProvokingVertex :: DecodeJson ProvokingVertex where | |||
767 | case tag of | 777 | case tag of |
768 | "FirstVertex" -> pure FirstVertex | 778 | "FirstVertex" -> pure FirstVertex |
769 | "LastVertex" -> pure LastVertex | 779 | "LastVertex" -> pure LastVertex |
780 | _ -> unsafeCrashWith "decodeJson @ ProvokingVertex" | ||
770 | 781 | ||
771 | instance encodeJsonCullMode :: EncodeJson CullMode where | 782 | instance encodeJsonCullMode :: EncodeJson CullMode where |
772 | encodeJson v = case v of | 783 | encodeJson v = case v of |
@@ -782,6 +793,7 @@ instance decodeJsonCullMode :: DecodeJson CullMode where | |||
782 | "CullNone" -> pure CullNone | 793 | "CullNone" -> pure CullNone |
783 | "CullFront" -> CullFront <$> obj .? "arg0" | 794 | "CullFront" -> CullFront <$> obj .? "arg0" |
784 | "CullBack" -> CullBack <$> obj .? "arg0" | 795 | "CullBack" -> CullBack <$> obj .? "arg0" |
796 | _ -> unsafeCrashWith "decodeJson @ CullMode" | ||
785 | 797 | ||
786 | instance encodeJsonComparisonFunction :: EncodeJson ComparisonFunction where | 798 | instance encodeJsonComparisonFunction :: EncodeJson ComparisonFunction where |
787 | encodeJson v = case v of | 799 | encodeJson v = case v of |
@@ -807,6 +819,7 @@ instance decodeJsonComparisonFunction :: DecodeJson ComparisonFunction where | |||
807 | "Notequal" -> pure Notequal | 819 | "Notequal" -> pure Notequal |
808 | "Gequal" -> pure Gequal | 820 | "Gequal" -> pure Gequal |
809 | "Always" -> pure Always | 821 | "Always" -> pure Always |
822 | _ -> unsafeCrashWith "decodeJson @ ComparisonFunction" | ||
810 | 823 | ||
811 | instance encodeJsonStencilOperation :: EncodeJson StencilOperation where | 824 | instance encodeJsonStencilOperation :: EncodeJson StencilOperation where |
812 | encodeJson v = case v of | 825 | encodeJson v = case v of |
@@ -832,6 +845,7 @@ instance decodeJsonStencilOperation :: DecodeJson StencilOperation where | |||
832 | "OpDecr" -> pure OpDecr | 845 | "OpDecr" -> pure OpDecr |
833 | "OpDecrWrap" -> pure OpDecrWrap | 846 | "OpDecrWrap" -> pure OpDecrWrap |
834 | "OpInvert" -> pure OpInvert | 847 | "OpInvert" -> pure OpInvert |
848 | _ -> unsafeCrashWith "decodeJson @ StencilOperation" | ||
835 | 849 | ||
836 | instance encodeJsonBlendEquation :: EncodeJson BlendEquation where | 850 | instance encodeJsonBlendEquation :: EncodeJson BlendEquation where |
837 | encodeJson v = case v of | 851 | encodeJson v = case v of |
@@ -851,6 +865,7 @@ instance decodeJsonBlendEquation :: DecodeJson BlendEquation where | |||
851 | "FuncReverseSubtract" -> pure FuncReverseSubtract | 865 | "FuncReverseSubtract" -> pure FuncReverseSubtract |
852 | "Min" -> pure Min | 866 | "Min" -> pure Min |
853 | "Max" -> pure Max | 867 | "Max" -> pure Max |
868 | _ -> unsafeCrashWith "decodeJson @ BlendEquation" | ||
854 | 869 | ||
855 | instance encodeJsonBlendingFactor :: EncodeJson BlendingFactor where | 870 | instance encodeJsonBlendingFactor :: EncodeJson BlendingFactor where |
856 | encodeJson v = case v of | 871 | encodeJson v = case v of |
@@ -890,6 +905,7 @@ instance decodeJsonBlendingFactor :: DecodeJson BlendingFactor where | |||
890 | "ConstantAlpha" -> pure ConstantAlpha | 905 | "ConstantAlpha" -> pure ConstantAlpha |
891 | "OneMinusConstantAlpha" -> pure OneMinusConstantAlpha | 906 | "OneMinusConstantAlpha" -> pure OneMinusConstantAlpha |
892 | "SrcAlphaSaturate" -> pure SrcAlphaSaturate | 907 | "SrcAlphaSaturate" -> pure SrcAlphaSaturate |
908 | _ -> unsafeCrashWith "decodeJson @ BlendingFactor" | ||
893 | 909 | ||
894 | instance encodeJsonLogicOperation :: EncodeJson LogicOperation where | 910 | instance encodeJsonLogicOperation :: EncodeJson LogicOperation where |
895 | encodeJson v = case v of | 911 | encodeJson v = case v of |
@@ -931,6 +947,7 @@ instance decodeJsonLogicOperation :: DecodeJson LogicOperation where | |||
931 | "OrInverted" -> pure OrInverted | 947 | "OrInverted" -> pure OrInverted |
932 | "Nand" -> pure Nand | 948 | "Nand" -> pure Nand |
933 | "Set" -> pure Set | 949 | "Set" -> pure Set |
950 | _ -> unsafeCrashWith "decodeJson @ LogicOperation" | ||
934 | 951 | ||
935 | instance encodeJsonStencilOps :: EncodeJson StencilOps where | 952 | instance encodeJsonStencilOps :: EncodeJson StencilOps where |
936 | encodeJson v = case v of | 953 | encodeJson v = case v of |
@@ -952,6 +969,7 @@ instance decodeJsonStencilOps :: DecodeJson StencilOps where | |||
952 | { frontStencilOp:frontStencilOp | 969 | { frontStencilOp:frontStencilOp |
953 | , backStencilOp:backStencilOp | 970 | , backStencilOp:backStencilOp |
954 | } | 971 | } |
972 | _ -> unsafeCrashWith "decodeJson @ StencilOps" | ||
955 | 973 | ||
956 | instance encodeJsonStencilTest :: EncodeJson StencilTest where | 974 | instance encodeJsonStencilTest :: EncodeJson StencilTest where |
957 | encodeJson v = case v of | 975 | encodeJson v = case v of |
@@ -976,6 +994,7 @@ instance decodeJsonStencilTest :: DecodeJson StencilTest where | |||
976 | , stencilReference:stencilReference | 994 | , stencilReference:stencilReference |
977 | , stencilMask:stencilMask | 995 | , stencilMask:stencilMask |
978 | } | 996 | } |
997 | _ -> unsafeCrashWith "decodeJson @ StencilTest" | ||
979 | 998 | ||
980 | instance encodeJsonStencilTests :: EncodeJson StencilTests where | 999 | instance encodeJsonStencilTests :: EncodeJson StencilTests where |
981 | encodeJson v = case v of | 1000 | encodeJson v = case v of |
@@ -987,6 +1006,7 @@ instance decodeJsonStencilTests :: DecodeJson StencilTests where | |||
987 | tag <- obj .? "tag" | 1006 | tag <- obj .? "tag" |
988 | case tag of | 1007 | case tag of |
989 | "StencilTests" -> StencilTests <$> obj .? "arg0" <*> obj .? "arg1" | 1008 | "StencilTests" -> StencilTests <$> obj .? "arg0" <*> obj .? "arg1" |
1009 | _ -> unsafeCrashWith "decodeJson @ StencilTests" | ||
990 | 1010 | ||
991 | instance encodeJsonFetchPrimitive :: EncodeJson FetchPrimitive where | 1011 | instance encodeJsonFetchPrimitive :: EncodeJson FetchPrimitive where |
992 | encodeJson v = case v of | 1012 | encodeJson v = case v of |
@@ -1006,6 +1026,7 @@ instance decodeJsonFetchPrimitive :: DecodeJson FetchPrimitive where | |||
1006 | "Triangles" -> pure Triangles | 1026 | "Triangles" -> pure Triangles |
1007 | "LinesAdjacency" -> pure LinesAdjacency | 1027 | "LinesAdjacency" -> pure LinesAdjacency |
1008 | "TrianglesAdjacency" -> pure TrianglesAdjacency | 1028 | "TrianglesAdjacency" -> pure TrianglesAdjacency |
1029 | _ -> unsafeCrashWith "decodeJson @ FetchPrimitive" | ||
1009 | 1030 | ||
1010 | instance encodeJsonOutputPrimitive :: EncodeJson OutputPrimitive where | 1031 | instance encodeJsonOutputPrimitive :: EncodeJson OutputPrimitive where |
1011 | encodeJson v = case v of | 1032 | encodeJson v = case v of |
@@ -1021,6 +1042,7 @@ instance decodeJsonOutputPrimitive :: DecodeJson OutputPrimitive where | |||
1021 | "TrianglesOutput" -> pure TrianglesOutput | 1042 | "TrianglesOutput" -> pure TrianglesOutput |
1022 | "LinesOutput" -> pure LinesOutput | 1043 | "LinesOutput" -> pure LinesOutput |
1023 | "PointsOutput" -> pure PointsOutput | 1044 | "PointsOutput" -> pure PointsOutput |
1045 | _ -> unsafeCrashWith "decodeJson @ OutputPrimitive" | ||
1024 | 1046 | ||
1025 | instance encodeJsonColorArity :: EncodeJson ColorArity where | 1047 | instance encodeJsonColorArity :: EncodeJson ColorArity where |
1026 | encodeJson v = case v of | 1048 | encodeJson v = case v of |
@@ -1038,6 +1060,7 @@ instance decodeJsonColorArity :: DecodeJson ColorArity where | |||
1038 | "RG" -> pure RG | 1060 | "RG" -> pure RG |
1039 | "RGB" -> pure RGB | 1061 | "RGB" -> pure RGB |
1040 | "RGBA" -> pure RGBA | 1062 | "RGBA" -> pure RGBA |
1063 | _ -> unsafeCrashWith "decodeJson @ ColorArity" | ||
1041 | 1064 | ||
1042 | instance encodeJsonBlending :: EncodeJson Blending where | 1065 | instance encodeJsonBlending :: EncodeJson Blending where |
1043 | encodeJson v = case v of | 1066 | encodeJson v = case v of |
@@ -1078,6 +1101,7 @@ instance decodeJsonBlending :: DecodeJson Blending where | |||
1078 | , alphaFDst:alphaFDst | 1101 | , alphaFDst:alphaFDst |
1079 | , color:color | 1102 | , color:color |
1080 | } | 1103 | } |
1104 | _ -> unsafeCrashWith "decodeJson @ Blending" | ||
1081 | 1105 | ||
1082 | instance encodeJsonRasterContext :: EncodeJson RasterContext where | 1106 | instance encodeJsonRasterContext :: EncodeJson RasterContext where |
1083 | encodeJson v = case v of | 1107 | encodeJson v = case v of |
@@ -1093,6 +1117,7 @@ instance decodeJsonRasterContext :: DecodeJson RasterContext where | |||
1093 | "PointCtx" -> PointCtx <$> obj .? "arg0" <*> obj .? "arg1" <*> obj .? "arg2" | 1117 | "PointCtx" -> PointCtx <$> obj .? "arg0" <*> obj .? "arg1" <*> obj .? "arg2" |
1094 | "LineCtx" -> LineCtx <$> obj .? "arg0" <*> obj .? "arg1" | 1118 | "LineCtx" -> LineCtx <$> obj .? "arg0" <*> obj .? "arg1" |
1095 | "TriangleCtx" -> TriangleCtx <$> obj .? "arg0" <*> obj .? "arg1" <*> obj .? "arg2" <*> obj .? "arg3" | 1119 | "TriangleCtx" -> TriangleCtx <$> obj .? "arg0" <*> obj .? "arg1" <*> obj .? "arg2" <*> obj .? "arg3" |
1120 | _ -> unsafeCrashWith "decodeJson @ RasterContext" | ||
1096 | 1121 | ||
1097 | instance encodeJsonFragmentOperation :: EncodeJson FragmentOperation where | 1122 | instance encodeJsonFragmentOperation :: EncodeJson FragmentOperation where |
1098 | encodeJson v = case v of | 1123 | encodeJson v = case v of |
@@ -1108,6 +1133,7 @@ instance decodeJsonFragmentOperation :: DecodeJson FragmentOperation where | |||
1108 | "DepthOp" -> DepthOp <$> obj .? "arg0" <*> obj .? "arg1" | 1133 | "DepthOp" -> DepthOp <$> obj .? "arg0" <*> obj .? "arg1" |
1109 | "StencilOp" -> StencilOp <$> obj .? "arg0" <*> obj .? "arg1" <*> obj .? "arg2" | 1134 | "StencilOp" -> StencilOp <$> obj .? "arg0" <*> obj .? "arg1" <*> obj .? "arg2" |
1110 | "ColorOp" -> ColorOp <$> obj .? "arg0" <*> obj .? "arg1" | 1135 | "ColorOp" -> ColorOp <$> obj .? "arg0" <*> obj .? "arg1" |
1136 | _ -> unsafeCrashWith "decodeJson @ FragmentOperation" | ||
1111 | 1137 | ||
1112 | instance encodeJsonAccumulationContext :: EncodeJson AccumulationContext where | 1138 | instance encodeJsonAccumulationContext :: EncodeJson AccumulationContext where |
1113 | encodeJson v = case v of | 1139 | encodeJson v = case v of |
@@ -1129,6 +1155,7 @@ instance decodeJsonAccumulationContext :: DecodeJson AccumulationContext where | |||
1129 | { accViewportName:accViewportName | 1155 | { accViewportName:accViewportName |
1130 | , accOperations:accOperations | 1156 | , accOperations:accOperations |
1131 | } | 1157 | } |
1158 | _ -> unsafeCrashWith "decodeJson @ AccumulationContext" | ||
1132 | 1159 | ||
1133 | instance encodeJsonTextureDataType :: EncodeJson TextureDataType where | 1160 | instance encodeJsonTextureDataType :: EncodeJson TextureDataType where |
1134 | encodeJson v = case v of | 1161 | encodeJson v = case v of |
@@ -1146,6 +1173,7 @@ instance decodeJsonTextureDataType :: DecodeJson TextureDataType where | |||
1146 | "IntT" -> IntT <$> obj .? "arg0" | 1173 | "IntT" -> IntT <$> obj .? "arg0" |
1147 | "WordT" -> WordT <$> obj .? "arg0" | 1174 | "WordT" -> WordT <$> obj .? "arg0" |
1148 | "ShadowT" -> pure ShadowT | 1175 | "ShadowT" -> pure ShadowT |
1176 | _ -> unsafeCrashWith "decodeJson @ TextureDataType" | ||
1149 | 1177 | ||
1150 | instance encodeJsonTextureType :: EncodeJson TextureType where | 1178 | instance encodeJsonTextureType :: EncodeJson TextureType where |
1151 | encodeJson v = case v of | 1179 | encodeJson v = case v of |
@@ -1169,6 +1197,7 @@ instance decodeJsonTextureType :: DecodeJson TextureType where | |||
1169 | "TextureRect" -> TextureRect <$> obj .? "arg0" | 1197 | "TextureRect" -> TextureRect <$> obj .? "arg0" |
1170 | "Texture2DMS" -> Texture2DMS <$> obj .? "arg0" <*> obj .? "arg1" <*> obj .? "arg2" <*> obj .? "arg3" | 1198 | "Texture2DMS" -> Texture2DMS <$> obj .? "arg0" <*> obj .? "arg1" <*> obj .? "arg2" <*> obj .? "arg3" |
1171 | "TextureBuffer" -> TextureBuffer <$> obj .? "arg0" | 1199 | "TextureBuffer" -> TextureBuffer <$> obj .? "arg0" |
1200 | _ -> unsafeCrashWith "decodeJson @ TextureType" | ||
1172 | 1201 | ||
1173 | instance encodeJsonMipMap :: EncodeJson MipMap where | 1202 | instance encodeJsonMipMap :: EncodeJson MipMap where |
1174 | encodeJson v = case v of | 1203 | encodeJson v = case v of |
@@ -1184,6 +1213,7 @@ instance decodeJsonMipMap :: DecodeJson MipMap where | |||
1184 | "Mip" -> Mip <$> obj .? "arg0" <*> obj .? "arg1" | 1213 | "Mip" -> Mip <$> obj .? "arg0" <*> obj .? "arg1" |
1185 | "NoMip" -> pure NoMip | 1214 | "NoMip" -> pure NoMip |
1186 | "AutoMip" -> AutoMip <$> obj .? "arg0" <*> obj .? "arg1" | 1215 | "AutoMip" -> AutoMip <$> obj .? "arg0" <*> obj .? "arg1" |
1216 | _ -> unsafeCrashWith "decodeJson @ MipMap" | ||
1187 | 1217 | ||
1188 | instance encodeJsonFilter :: EncodeJson Filter where | 1218 | instance encodeJsonFilter :: EncodeJson Filter where |
1189 | encodeJson v = case v of | 1219 | encodeJson v = case v of |
@@ -1205,6 +1235,7 @@ instance decodeJsonFilter :: DecodeJson Filter where | |||
1205 | "NearestMipmapLinear" -> pure NearestMipmapLinear | 1235 | "NearestMipmapLinear" -> pure NearestMipmapLinear |
1206 | "LinearMipmapNearest" -> pure LinearMipmapNearest | 1236 | "LinearMipmapNearest" -> pure LinearMipmapNearest |
1207 | "LinearMipmapLinear" -> pure LinearMipmapLinear | 1237 | "LinearMipmapLinear" -> pure LinearMipmapLinear |
1238 | _ -> unsafeCrashWith "decodeJson @ Filter" | ||
1208 | 1239 | ||
1209 | instance encodeJsonEdgeMode :: EncodeJson EdgeMode where | 1240 | instance encodeJsonEdgeMode :: EncodeJson EdgeMode where |
1210 | encodeJson v = case v of | 1241 | encodeJson v = case v of |
@@ -1222,6 +1253,7 @@ instance decodeJsonEdgeMode :: DecodeJson EdgeMode where | |||
1222 | "MirroredRepeat" -> pure MirroredRepeat | 1253 | "MirroredRepeat" -> pure MirroredRepeat |
1223 | "ClampToEdge" -> pure ClampToEdge | 1254 | "ClampToEdge" -> pure ClampToEdge |
1224 | "ClampToBorder" -> pure ClampToBorder | 1255 | "ClampToBorder" -> pure ClampToBorder |
1256 | _ -> unsafeCrashWith "decodeJson @ EdgeMode" | ||
1225 | 1257 | ||
1226 | instance encodeJsonImageSemantic :: EncodeJson ImageSemantic where | 1258 | instance encodeJsonImageSemantic :: EncodeJson ImageSemantic where |
1227 | encodeJson v = case v of | 1259 | encodeJson v = case v of |
@@ -1237,6 +1269,7 @@ instance decodeJsonImageSemantic :: DecodeJson ImageSemantic where | |||
1237 | "Depth" -> pure Depth | 1269 | "Depth" -> pure Depth |
1238 | "Stencil" -> pure Stencil | 1270 | "Stencil" -> pure Stencil |
1239 | "Color" -> pure Color | 1271 | "Color" -> pure Color |
1272 | _ -> unsafeCrashWith "decodeJson @ ImageSemantic" | ||
1240 | 1273 | ||
1241 | instance encodeJsonImageRef :: EncodeJson ImageRef where | 1274 | instance encodeJsonImageRef :: EncodeJson ImageRef where |
1242 | encodeJson v = case v of | 1275 | encodeJson v = case v of |
@@ -1250,6 +1283,7 @@ instance decodeJsonImageRef :: DecodeJson ImageRef where | |||
1250 | case tag of | 1283 | case tag of |
1251 | "TextureImage" -> TextureImage <$> obj .? "arg0" <*> obj .? "arg1" <*> obj .? "arg2" | 1284 | "TextureImage" -> TextureImage <$> obj .? "arg0" <*> obj .? "arg1" <*> obj .? "arg2" |
1252 | "Framebuffer" -> Framebuffer <$> obj .? "arg0" | 1285 | "Framebuffer" -> Framebuffer <$> obj .? "arg0" |
1286 | _ -> unsafeCrashWith "decodeJson @ ImageRef" | ||
1253 | 1287 | ||
1254 | instance encodeJsonClearImage :: EncodeJson ClearImage where | 1288 | instance encodeJsonClearImage :: EncodeJson ClearImage where |
1255 | encodeJson v = case v of | 1289 | encodeJson v = case v of |
@@ -1271,6 +1305,7 @@ instance decodeJsonClearImage :: DecodeJson ClearImage where | |||
1271 | { imageSemantic:imageSemantic | 1305 | { imageSemantic:imageSemantic |
1272 | , clearValue:clearValue | 1306 | , clearValue:clearValue |
1273 | } | 1307 | } |
1308 | _ -> unsafeCrashWith "decodeJson @ ClearImage" | ||
1274 | 1309 | ||
1275 | instance encodeJsonCommand :: EncodeJson Command where | 1310 | instance encodeJsonCommand :: EncodeJson Command where |
1276 | encodeJson v = case v of | 1311 | encodeJson v = case v of |
@@ -1306,6 +1341,7 @@ instance decodeJsonCommand :: DecodeJson Command where | |||
1306 | "GenerateMipMap" -> GenerateMipMap <$> obj .? "arg0" | 1341 | "GenerateMipMap" -> GenerateMipMap <$> obj .? "arg0" |
1307 | "SaveImage" -> SaveImage <$> obj .? "arg0" <*> obj .? "arg1" | 1342 | "SaveImage" -> SaveImage <$> obj .? "arg0" <*> obj .? "arg1" |
1308 | "LoadImage" -> LoadImage <$> obj .? "arg0" <*> obj .? "arg1" | 1343 | "LoadImage" -> LoadImage <$> obj .? "arg0" <*> obj .? "arg1" |
1344 | _ -> unsafeCrashWith "decodeJson @ Command" | ||
1309 | 1345 | ||
1310 | instance encodeJsonSamplerDescriptor :: EncodeJson SamplerDescriptor where | 1346 | instance encodeJsonSamplerDescriptor :: EncodeJson SamplerDescriptor where |
1311 | encodeJson v = case v of | 1347 | encodeJson v = case v of |
@@ -1351,6 +1387,7 @@ instance decodeJsonSamplerDescriptor :: DecodeJson SamplerDescriptor where | |||
1351 | , samplerLodBias:samplerLodBias | 1387 | , samplerLodBias:samplerLodBias |
1352 | , samplerCompareFunc:samplerCompareFunc | 1388 | , samplerCompareFunc:samplerCompareFunc |
1353 | } | 1389 | } |
1390 | _ -> unsafeCrashWith "decodeJson @ SamplerDescriptor" | ||
1354 | 1391 | ||
1355 | instance encodeJsonTextureDescriptor :: EncodeJson TextureDescriptor where | 1392 | instance encodeJsonTextureDescriptor :: EncodeJson TextureDescriptor where |
1356 | encodeJson v = case v of | 1393 | encodeJson v = case v of |
@@ -1384,6 +1421,7 @@ instance decodeJsonTextureDescriptor :: DecodeJson TextureDescriptor where | |||
1384 | , textureBaseLevel:textureBaseLevel | 1421 | , textureBaseLevel:textureBaseLevel |
1385 | , textureMaxLevel:textureMaxLevel | 1422 | , textureMaxLevel:textureMaxLevel |
1386 | } | 1423 | } |
1424 | _ -> unsafeCrashWith "decodeJson @ TextureDescriptor" | ||
1387 | 1425 | ||
1388 | instance encodeJsonParameter :: EncodeJson Parameter where | 1426 | instance encodeJsonParameter :: EncodeJson Parameter where |
1389 | encodeJson v = case v of | 1427 | encodeJson v = case v of |
@@ -1405,6 +1443,7 @@ instance decodeJsonParameter :: DecodeJson Parameter where | |||
1405 | { name:name | 1443 | { name:name |
1406 | , ty:ty | 1444 | , ty:ty |
1407 | } | 1445 | } |
1446 | _ -> unsafeCrashWith "decodeJson @ Parameter" | ||
1408 | 1447 | ||
1409 | instance encodeJsonProgram :: EncodeJson Program where | 1448 | instance encodeJsonProgram :: EncodeJson Program where |
1410 | encodeJson v = case v of | 1449 | encodeJson v = case v of |
@@ -1441,6 +1480,7 @@ instance decodeJsonProgram :: DecodeJson Program where | |||
1441 | , geometryShader:geometryShader | 1480 | , geometryShader:geometryShader |
1442 | , fragmentShader:fragmentShader | 1481 | , fragmentShader:fragmentShader |
1443 | } | 1482 | } |
1483 | _ -> unsafeCrashWith "decodeJson @ Program" | ||
1444 | 1484 | ||
1445 | instance encodeJsonSlot :: EncodeJson Slot where | 1485 | instance encodeJsonSlot :: EncodeJson Slot where |
1446 | encodeJson v = case v of | 1486 | encodeJson v = case v of |
@@ -1471,6 +1511,7 @@ instance decodeJsonSlot :: DecodeJson Slot where | |||
1471 | , slotPrimitive:slotPrimitive | 1511 | , slotPrimitive:slotPrimitive |
1472 | , slotPrograms:slotPrograms | 1512 | , slotPrograms:slotPrograms |
1473 | } | 1513 | } |
1514 | _ -> unsafeCrashWith "decodeJson @ Slot" | ||
1474 | 1515 | ||
1475 | instance encodeJsonStreamData :: EncodeJson StreamData where | 1516 | instance encodeJsonStreamData :: EncodeJson StreamData where |
1476 | encodeJson v = case v of | 1517 | encodeJson v = case v of |
@@ -1498,6 +1539,7 @@ instance decodeJsonStreamData :: DecodeJson StreamData where | |||
1498 | , streamPrimitive:streamPrimitive | 1539 | , streamPrimitive:streamPrimitive |
1499 | , streamPrograms:streamPrograms | 1540 | , streamPrograms:streamPrograms |
1500 | } | 1541 | } |
1542 | _ -> unsafeCrashWith "decodeJson @ StreamData" | ||
1501 | 1543 | ||
1502 | instance encodeJsonTargetItem :: EncodeJson TargetItem where | 1544 | instance encodeJsonTargetItem :: EncodeJson TargetItem where |
1503 | encodeJson v = case v of | 1545 | encodeJson v = case v of |
@@ -1519,6 +1561,7 @@ instance decodeJsonTargetItem :: DecodeJson TargetItem where | |||
1519 | { targetSemantic:targetSemantic | 1561 | { targetSemantic:targetSemantic |
1520 | , targetRef:targetRef | 1562 | , targetRef:targetRef |
1521 | } | 1563 | } |
1564 | _ -> unsafeCrashWith "decodeJson @ TargetItem" | ||
1522 | 1565 | ||
1523 | instance encodeJsonRenderTarget :: EncodeJson RenderTarget where | 1566 | instance encodeJsonRenderTarget :: EncodeJson RenderTarget where |
1524 | encodeJson v = case v of | 1567 | encodeJson v = case v of |
@@ -1537,6 +1580,7 @@ instance decodeJsonRenderTarget :: DecodeJson RenderTarget where | |||
1537 | pure $ RenderTarget | 1580 | pure $ RenderTarget |
1538 | { renderTargets:renderTargets | 1581 | { renderTargets:renderTargets |
1539 | } | 1582 | } |
1583 | _ -> unsafeCrashWith "decodeJson @ RenderTarget" | ||
1540 | 1584 | ||
1541 | instance encodeJsonBackend :: EncodeJson Backend where | 1585 | instance encodeJsonBackend :: EncodeJson Backend where |
1542 | encodeJson v = case v of | 1586 | encodeJson v = case v of |
@@ -1552,6 +1596,7 @@ instance decodeJsonBackend :: DecodeJson Backend where | |||
1552 | "WebGL1" -> pure WebGL1 | 1596 | "WebGL1" -> pure WebGL1 |
1553 | "OpenGL33" -> pure OpenGL33 | 1597 | "OpenGL33" -> pure OpenGL33 |
1554 | "DirectX11" -> pure DirectX11 | 1598 | "DirectX11" -> pure DirectX11 |
1599 | _ -> unsafeCrashWith "decodeJson @ Backend" | ||
1555 | 1600 | ||
1556 | instance encodeJsonPipeline :: EncodeJson Pipeline where | 1601 | instance encodeJsonPipeline :: EncodeJson Pipeline where |
1557 | encodeJson v = case v of | 1602 | encodeJson v = case v of |
@@ -1594,4 +1639,5 @@ instance decodeJsonPipeline :: DecodeJson Pipeline where | |||
1594 | , streams:streams | 1639 | , streams:streams |
1595 | , commands:commands | 1640 | , commands:commands |
1596 | } | 1641 | } |
1642 | _ -> unsafeCrashWith "decodeJson @ Pipeline" | ||
1597 | 1643 | ||