Safe Haskell	Safe-Inferred
Language	Haskell2010

ZkFold.Symbolic.Data.UTCTime

Documentation

Constructors

Instances details

Arithmetic a => SymbolicData a (UTCTime (ArithmeticCircuit a)) Source #
Instance details Defined in ZkFold.Symbolic.Data.UTCTime Methods pieces :: UTCTime (ArithmeticCircuit a) -> [ArithmeticCircuit a] Source # restore :: [ArithmeticCircuit a] -> UTCTime (ArithmeticCircuit a) Source # typeSize :: Natural Source #
Eq a => Eq (UTCTime a) Source #
Instance details Defined in ZkFold.Symbolic.Data.UTCTime Methods (==) :: UTCTime a -> UTCTime a -> Bool # (/=) :: UTCTime a -> UTCTime a -> Bool #