Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
data Term name fun a where Source #
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 arithmetize :: Term name BuiltinFunctions a -> [ArithmeticCircuit a] -> [ArithmeticCircuit a] Source # outputSize :: Natural Source # | |
(Eq name, Eq fun) => Eq (Term name fun a) Source # | |