Types: Question

src/answer.ts

@@ -2,6 +2,7 @@ import { map2, map3 } from './utils';
 import * as Proof from './proof';
 import * as NonZeroProof from './nonZeroProof';
 import * as Ciphertext from './ciphertext';
+import * as Question from './question';
 
 export namespace AnswerH {
   export type t = {
@@ -96,14 +97,14 @@ export namespace Serialized {
   export type t = AnswerH.Serialized.t | AnswerNH.Serialized.t | AnswerL.Serialized.t;
 
   export function IsAnswerH(answer: any, question: any) : answer is AnswerH.Serialized.t {
-    return (question.type === undefined);
+    return Question.IsQuestionH(question);
   }
 
   export function IsAnswerNH(answer: any, question: any) : answer is AnswerNH.Serialized.t {
-    return (question.type === "NonHomomorphic");
+    return Question.IsQuestionNH(question);
   }
 
   export function IsAnswerL(answer: any, question: any) : answer is AnswerL.Serialized.t {
-    return (question.type === "Lists");
+    return Question.IsQuestionL(question);
   }
 }

src/question.ts

@@ -0,0 +1,45 @@
+export namespace QuestionH {
+  export type t = {
+    answers: Array<string>;
+    blank?: boolean;
+    min: number;
+    max: number;
+    question: string;
+  };
+}
+
+export namespace QuestionNH {
+  export type t = {
+    type: string;
+    value: {
+      answers: Array<string>;
+      question: string;
+    }
+    extra?: any;
+  };
+}
+
+export namespace QuestionL {
+  export type t = {
+    type: string;
+    value: {
+      answers: Array<Array<string>>;
+      question: string;
+    }
+    extra?: any;
+  };
+}
+
+export type t = QuestionH.t | QuestionNH.t | QuestionL.t
+
+export function IsQuestionH(question: any) : question is QuestionH.t {
+  return (question.type === undefined);
+}
+
+export function IsQuestionNH(question: any) : question is QuestionNH.t {
+  return (question.type === "NonHomomorphic");
+}
+
+export function IsQuestionL(question: any) : question is QuestionL.t {
+  return (question.type === "Lists");
+}