def Cedar.Spec.Ext.toInt?' (str : String) : Option Int

Helper function that wraps String.toInt? but returns .none if the string contains ''. This prevents the undocumented behavior where String.toInt? allows '' characters.

Equations

• Cedar.Spec.Ext.toInt?' str = if str.contains '_' = true then none else str.toInt?

def Cedar.Spec.Ext.toNat?' (str : String) : Option Nat

Helper function that wraps String.toNat? but returns .none if the string contains ''. This prevents the undocumented behavior where String.toNat? allows '' characters.

Equations

• Cedar.Spec.Ext.toNat?' str = if str.contains '_' = true then none else str.toNat?