Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- class PlutusBuiltinFunction a fun where
- builtinFunctionType :: fun -> SomeType a
- builtinFunctionRep :: fun -> SomeArithmetizable a
- data BuiltinFunctions
Documentation
class PlutusBuiltinFunction a fun where Source #
A class for built-in functions in Plutus.
builtinFunctionType :: fun -> SomeType a Source #
builtinFunctionRep :: fun -> SomeArithmetizable a Source #
Instances
(Arithmetic a, Typeable a) => PlutusBuiltinFunction a BuiltinFunctions Source # | |
data BuiltinFunctions Source #
Instances
(Arithmetic a, Typeable a) => PlutusBuiltinFunction a BuiltinFunctions Source # | |
(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 # |