| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
ZkFold.Symbolic.Cardano.UPLC.Term
Documentation
data Term name fun a where Source #
Constructors
| Var :: name -> Term name fun a | |
| LamAbs :: name -> Term name fun a -> Term name fun a | |
| Apply :: Term name fun a -> Term name fun a -> Term name fun a | |
| Force :: Term name fun a -> Term name fun a | |
| Delay :: Term name fun a -> Term name fun a | |
| Constant :: (Eq c, Typeable c, SymbolicData a c) => c -> Term name fun a | |
| Builtin :: fun -> Term name fun a | |
| Error :: Term name fun a |
Instances
| (Typeable name, Eq name, Eq BuiltinFunctions, Typeable a, Arithmetic a) => Arithmetizable a (Term name BuiltinFunctions a) Source # | |
Defined in ZkFold.Symbolic.Cardano.UPLC Methods arithmetize :: Term name BuiltinFunctions a -> [ArithmeticCircuit a] -> [ArithmeticCircuit a] Source # outputSize :: Natural Source # | |
| (Eq name, Eq fun) => Eq (Term name fun a) Source # | |