| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
PlutusTx.Test.Util.Apply
Synopsis
- type family CompiledCodeFuncToHaskType t r where ...
- type family FinalType t where ...
- unsafeApplyCodeN :: forall uni fun a. CompiledCodeFuncToHask a (CompiledCode function into a function in Hask. This helps applying
arguments to already built script in a type safe manner. Example:
```hs
foo :: CompiledCode (Integer -> () -> Bool)
bar :: CompiledCode Integer
baz :: CompiledCode ()
applyCodeN foo bar baz :: Either String (CompiledCode Bool) ```