Safe Haskell	Safe-Inferred
Language	Haskell2010

ZkFold.Symbolic.Cardano.Types

Documentation

newtype Transaction inputs rinputs outputs tokens datum a Source #

Constructors

Transaction (Vector rinputs (Input tokens datum a), (Vector inputs (Input tokens datum a), (Vector outputs (Output tokens datum a), (UTCTime a, UTCTime a))))

Instances

Instances details

(Arithmetic a, KnownNat inputs, KnownNat rinputs, KnownNat outputs, KnownNat tokens) => SymbolicData a (Transaction inputs rinputs outputs tokens datum (ArithmeticCircuit a)) Source #
Instance details Defined in ZkFold.Symbolic.Cardano.Types Methods pieces :: Transaction inputs rinputs outputs tokens datum (ArithmeticCircuit a) -> [ArithmeticCircuit a] Source # restore :: [ArithmeticCircuit a] -> Transaction inputs rinputs outputs tokens datum (ArithmeticCircuit a) Source # typeSize :: Natural 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 #

newtype TxId a Source #

Constructors

TxId a

Instances

Instances details

Arithmetic a => SymbolicData a (TxId (ArithmeticCircuit a)) Source #
Instance details Defined in ZkFold.Symbolic.Cardano.Types Methods pieces :: TxId (ArithmeticCircuit a) -> [ArithmeticCircuit a] Source # restore :: [ArithmeticCircuit a] -> TxId (ArithmeticCircuit a) Source # typeSize :: Natural Source #

newtype Value n a Source #

Constructors

Value (Vector n (ByteString 224 a, (ByteString 256 a, UInt 64 a)))

Instances

Instances details

(Arithmetic a, KnownNat n) => SymbolicData a (Value n (ArithmeticCircuit a)) Source #
Instance details Defined in ZkFold.Symbolic.Cardano.Types Methods pieces :: Value n (ArithmeticCircuit a) -> [ArithmeticCircuit a] Source # restore :: [ArithmeticCircuit a] -> Value n (ArithmeticCircuit a) Source # typeSize :: Natural Source #

newtype Input tokens datum a Source #

Constructors

Input (OutputRef a, Output tokens datum a)

Instances

Instances details

(Arithmetic a, KnownNat tokens) => SymbolicData a (Input tokens datum (ArithmeticCircuit a)) Source #
Instance details Defined in ZkFold.Symbolic.Cardano.Types Methods pieces :: Input tokens datum (ArithmeticCircuit a) -> [ArithmeticCircuit a] Source # restore :: [ArithmeticCircuit a] -> Input tokens datum (ArithmeticCircuit a) Source # typeSize :: Natural Source #

txiOutput :: Input tokens datum a -> Output tokens datum a Source #

txiDatumHash :: Input tokens datum a -> ByteString 256 a Source #

newtype Output tokens datum a Source #

Constructors

Output (Address a, (Value tokens a, ByteString 256 a))

Instances

Instances details

(Arithmetic a, KnownNat tokens) => SymbolicData a (Output tokens datum (ArithmeticCircuit a)) Source #
Instance details Defined in ZkFold.Symbolic.Cardano.Types Methods pieces :: Output tokens datum (ArithmeticCircuit a) -> [ArithmeticCircuit a] Source # restore :: [ArithmeticCircuit a] -> Output tokens datum (ArithmeticCircuit a) Source # typeSize :: Natural Source #
(Arithmetic a, KnownNat tokens) => Eq (Bool (ArithmeticCircuit a)) (Output tokens datum (ArithmeticCircuit a)) Source #
Instance details Defined in ZkFold.Symbolic.Cardano.Types Methods (==) :: 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 #

newtype OutputRef a Source #

Constructors

OutputRef (TxId a, UInt 32 a)

Instances

Instances details

Arithmetic a => SymbolicData a (OutputRef (ArithmeticCircuit a)) Source #
Instance details Defined in ZkFold.Symbolic.Cardano.Types Methods pieces :: OutputRef (ArithmeticCircuit a) -> [ArithmeticCircuit a] Source # restore :: [ArithmeticCircuit a] -> OutputRef (ArithmeticCircuit a) Source # typeSize :: Natural Source #

newtype Address a Source #

Constructors

Address (ByteString 4 a, (ByteString 224 a, ByteString 224 a))

Instances

Instances details

Arithmetic a => SymbolicData a (Address (ArithmeticCircuit a)) Source #
Instance details Defined in ZkFold.Symbolic.Cardano.Types Methods pieces :: Address (ArithmeticCircuit a) -> [ArithmeticCircuit a] Source # restore :: [ArithmeticCircuit a] -> Address (ArithmeticCircuit a) Source # typeSize :: Natural Source #

paymentCredential :: Address a -> ByteString 224 a Source #

newtype DatumHash datum a Source #

Constructors

DatumHash a

Instances

Instances details

SymbolicData i a => SymbolicData i (DatumHash datum a) Source #
Instance details Defined in ZkFold.Symbolic.Cardano.Types Methods pieces :: DatumHash datum a -> [ArithmeticCircuit i] Source # restore :: [ArithmeticCircuit i] -> DatumHash datum a Source # typeSize :: Natural Source #

newtype ScriptHash a Source #

Constructors

ScriptHash a

Instances

Instances details

SymbolicData i a => SymbolicData i (ScriptHash a) Source #
Instance details Defined in ZkFold.Symbolic.Cardano.Types Methods pieces :: ScriptHash a -> [ArithmeticCircuit i] Source # restore :: [ArithmeticCircuit i] -> ScriptHash a Source # typeSize :: Natural Source #