Skip to content

Require `WellTyped` in `sampleTypedValue`

Clarification and motivation

This sounds good because whenever we get a type in typed representation (some Sing (t :: T.T)), we can expect it to have WellTyped t constraint alongside. So

  1. sampleTypedValue should require WellTyped. However, this is quite hard to do because of how our types are distributed across modules, for that you first need to find a way: 1.1. to move WellTyped outside from Michelson.Typed.Haskell.Value, probably to some Michelson.Typed.WellTyped 1.2. to move Comparable from Michelson.Typed.Haskell.Value to Michelson.Typed.Scope
  2. Most cases when we are currently producing Nothing will not be possible anymore, e.g. STSet case will always produce some value. We have to refactor the code to avoid producing Nothing; for GHC it must be clear that key type of STSet is comparable.

Acceptance criteria

  • WellTyped constraint is properly added to sampleTypedValue.