View difference between Paste ID: c6Dbt93B and h76rfTdk
SHOW: | | - or go back to the newest paste.
1
final case class EncodedCat(command: Command, token: BinaryData)
2
final case class Cat(command: Command, token: Token)
3
4
final case class Token(issuedAt: Instant, permissions: List[Permission])
5
6
sealed trait Command
7-
final case class ImportNumData(question: String, value: Option[Value]) extends Command
7+
final case class ImportData(question: String, value: Option[Value]) extends Command
8
9
sealed trait Value
10
final case class NumValue(value: Double) extends Value
11
12
sealed trait Permission
13
final case class AddFactsPermission(caseName: Identifier, questions: List[String]) extends Permission