There have been previous questions on the forum around smart constructors and the use of newtype ’s to have fine grain control over types without the extra boxing burden. One way to verify that one’s on ledger data complies is wrap the check for validity into the precondition ensure clause of a Temp…

Extending Ensure for non Templates

Leonid_Rozenberg April 19, 2021, 1:56pm 5

@Luciano Thanks, you’re right!

1 Like