| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Evaluation.Builtins.Common
Synopsis
- unsafeSplitStructuralOperational :: (OperationalError into an
Text]) #Evaluate a term using the CEK machine with logging enabled. *THIS FUNCTION IS PARTIAL if the input term contains free variables*
evaluateCekNoEmit :: forall (uni :: Name uni fun ()) #
Evaluate a term using the CEK machine with logging disabled. *THIS FUNCTION IS PARTIAL if the input term contains free variables*
readKnownCek :: forall (uni :: Name uni fun) a #
Unlift a value using the CEK machine. *THIS FUNCTION IS PARTIAL if the input term contains free variables*
typecheckAnd :: (DefaultFun -> PlcTerm -> PlcTerm -> PlcTerm #
bytestring :: ByteString -> PlcTerm #