imports

module Plutarch.Docs.RaiseErrs (fails) where
import Plutarch.Prelude

Raising errors

In PlutusTx, you'd signal validation failure with the error function. You can do the same in Plutarch using perror.

fails :: Term s (PData :--> PData :--> PData :--> PUnit)
fails = plam $ \_ _ _ -> perror