| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
Plutarch.Unsafe
Synopsis
- punsafeBuiltin :: DefaultFun -> Term s a
- punsafeCoerce :: Term s a -> Term s b
- punsafeConstant :: Some (ValueOf DefaultUni) -> Term s a
- punsafeDowncast :: Term s (PInner a) -> Term s a
Documentation
punsafeBuiltin :: DefaultFun -> Term s a Source #
punsafeCoerce :: Term s a -> Term s b Source #
Unsafely coerce the type-tag of a Term.
This should mostly be avoided, though it can be safely used to assert known types of Datums, Redeemers or ScriptContext.
punsafeConstant :: Some (ValueOf DefaultUni) -> Term s a Source #
Deprecated: Use pconstant instead.