Safe Haskell	Safe-Inferred
Language	Haskell2010

ZkFold.Symbolic.Cardano.UPLC

Contents

Documentation

data ArgList name a where Source #

Constructors

ArgListEmpty :: ArgList name a
ArgListCons :: (Typeable t, SymbolicData a t) => (name, t) -> ArgList name a -> ArgList name a

class FromUPLC name fun a where Source #

Methods

Instances details

(Eq name, Typeable name, Typeable fun, Eq fun, PlutusBuiltinFunction a fun, Typeable a) => FromUPLC name fun a Source #
Instance details Defined in ZkFold.Symbolic.Cardano.UPLC Methods fromUPLC :: ArgList name a -> Term name fun a -> SomeArithmetizable a Source #

Orphan instances

(Typeable name, Eq name, Eq BuiltinFunctions, Typeable a, Arithmetic a) => Arithmetizable a (Term name BuiltinFunctions a) Source #
Instance details Methods arithmetize :: Term name BuiltinFunctions a -> [ArithmeticCircuit a] -> [ArithmeticCircuit a] Source # inputSize :: Natural Source # outputSize :: Natural Source #