Safe Haskell	None
Language	GHC2021

Plutarch.Internal.Case

Synopsis

punsafeCase :: forall (a :: S -> Type) (b :: S -> Type) (s :: S). Term s a -> [Term s POpaque] -> Term s b

Documentation

punsafeCase :: forall (a :: S -> Type) (b :: S -> Type) (s :: S). Term s a -> [Term s POpaque] -> Term s b Source #

Construct a Case statement in UPLC. The first argument is what will be matched on, while the second argument will be used as handlers.

Important note

No attempt will (or even can) be made to check that the handlers have correct types, or that the number of handlers is appropriate for the type being handled. Crashes or misbehaviour can and will occur if you get this wrong!

Since: 1.13.0