Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
newtype Transaction inputs rinputs outputs tokens datum a Source #
Transaction (Vector rinputs (Input tokens datum a), (Vector inputs (Input tokens datum a), (Vector outputs (Output tokens datum a), (UTCTime a, UTCTime a)))) |
Instances
(Arithmetic a, KnownNat inputs, KnownNat rinputs, KnownNat outputs, KnownNat tokens) => SymbolicData a (Transaction inputs rinputs outputs tokens datum (ArithmeticCircuit a)) Source # | |
Defined in ZkFold.Symbolic.Cardano.Types pieces :: Transaction inputs rinputs outputs tokens datum (ArithmeticCircuit a) -> [ArithmeticCircuit a] Source # restore :: [ArithmeticCircuit a] -> Transaction inputs rinputs outputs tokens datum (ArithmeticCircuit a) Source # |
txInputs :: Transaction inputs rinputs outputs tokens datum a -> Vector inputs (Input tokens datum a) Source #
txOutputs :: Transaction inputs rinputs outputs tokens datum a -> Vector outputs (Output tokens datum a) Source #
TxId a |
Instances
Arithmetic a => SymbolicData a (TxId (ArithmeticCircuit a)) Source # | |
Defined in ZkFold.Symbolic.Cardano.Types pieces :: TxId (ArithmeticCircuit a) -> [ArithmeticCircuit a] Source # restore :: [ArithmeticCircuit a] -> TxId (ArithmeticCircuit a) Source # |
Value (Vector n (ByteString 224 a, (ByteString 256 a, UInt 64 a))) |
Instances
(Arithmetic a, KnownNat n) => SymbolicData a (Value n (ArithmeticCircuit a)) Source # | |
Defined in ZkFold.Symbolic.Cardano.Types pieces :: Value n (ArithmeticCircuit a) -> [ArithmeticCircuit a] Source # restore :: [ArithmeticCircuit a] -> Value n (ArithmeticCircuit a) Source # |
newtype Input tokens datum a Source #
Instances
(Arithmetic a, KnownNat tokens) => SymbolicData a (Input tokens datum (ArithmeticCircuit a)) Source # | |
Defined in ZkFold.Symbolic.Cardano.Types pieces :: Input tokens datum (ArithmeticCircuit a) -> [ArithmeticCircuit a] Source # restore :: [ArithmeticCircuit a] -> Input tokens datum (ArithmeticCircuit a) Source # |
txiDatumHash :: Input tokens datum a -> ByteString 256 a Source #
newtype Output tokens datum a Source #
Output (Address a, (Value tokens a, ByteString 256 a)) |
Instances
(Arithmetic a, KnownNat tokens) => SymbolicData a (Output tokens datum (ArithmeticCircuit a)) Source # | |
Defined in ZkFold.Symbolic.Cardano.Types pieces :: Output tokens datum (ArithmeticCircuit a) -> [ArithmeticCircuit a] Source # restore :: [ArithmeticCircuit a] -> Output tokens datum (ArithmeticCircuit a) Source # | |
(Arithmetic a, KnownNat tokens) => Eq (Bool (ArithmeticCircuit a)) (Output tokens datum (ArithmeticCircuit a)) Source # | |
Defined in ZkFold.Symbolic.Cardano.Types (==) :: Output tokens datum (ArithmeticCircuit a) -> Output tokens datum (ArithmeticCircuit a) -> Bool (ArithmeticCircuit a) Source # (/=) :: Output tokens datum (ArithmeticCircuit a) -> Output tokens datum (ArithmeticCircuit a) -> Bool (ArithmeticCircuit a) Source # |
txoAddress :: Output tokens datum a -> Address a Source #
txoDatumHash :: Output tokens datum a -> ByteString 256 a Source #
Instances
Arithmetic a => SymbolicData a (OutputRef (ArithmeticCircuit a)) Source # | |
Defined in ZkFold.Symbolic.Cardano.Types pieces :: OutputRef (ArithmeticCircuit a) -> [ArithmeticCircuit a] Source # restore :: [ArithmeticCircuit a] -> OutputRef (ArithmeticCircuit a) Source # |
Address (ByteString 4 a, (ByteString 224 a, ByteString 224 a)) |
Instances
Arithmetic a => SymbolicData a (Address (ArithmeticCircuit a)) Source # | |
Defined in ZkFold.Symbolic.Cardano.Types pieces :: Address (ArithmeticCircuit a) -> [ArithmeticCircuit a] Source # restore :: [ArithmeticCircuit a] -> Address (ArithmeticCircuit a) Source # |
paymentCredential :: Address a -> ByteString 224 a Source #
newtype DatumHash datum a Source #
Instances
SymbolicData i a => SymbolicData i (DatumHash datum a) Source # | |
Defined in ZkFold.Symbolic.Cardano.Types |
newtype ScriptHash a Source #
Instances
SymbolicData i a => SymbolicData i (ScriptHash a) Source # | |
Defined in ZkFold.Symbolic.Cardano.Types pieces :: ScriptHash a -> [ArithmeticCircuit i] Source # restore :: [ArithmeticCircuit i] -> ScriptHash a Source # |