View on GitHub
File Changes
genTimeout = genSlot

                      
genValueId :: forall m. MonadGen m => MonadRec m => m ValueId
-
genValueId = ValueId <$> genBigInteger
+
genValueId = ValueId <$> genString

                      
genAlphaNum :: forall m. MonadGen m => MonadRec m => m Char
genAlphaNum = oneOf $ genAlpha :| [ genDigitChar ]
    Nothing -> fail "not a valid BigInt"

                      
valueId :: Parser String ValueId
-
valueId = ValueId <$> bigInteger
+
valueId = ValueId <$> text

                      
slot :: Parser String Slot
slot = Slot <$> bigInteger
choiceOwner (ChoiceId _ owner) = owner

                      
newtype ValueId
-
  = ValueId BigInteger
+
  = ValueId String

                      
derive instance genericValueId :: Generic ValueId _