Safe Haskell	Safe-Inferred
Language	Haskell2010

Plutarch.Extra.Compile

Synopsis

mustCompile :: forall (a :: S -> Type). ClosedTerm a -> Script
mustCompileTracing :: forall (a :: S -> Type). (forall (s :: S). Term s a) -> Script

Documentation

Compile a ClosedTerm, throwing an error if unsuccessful.

Since: 2.0.0

mustCompileTracing :: forall (a :: S -> Type). (forall (s :: S). Term s a) -> Script Source #