Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
Instances
Arithmetic a => SymbolicData a (UTCTime (ArithmeticCircuit a)) Source # | |
Defined in ZkFold.Symbolic.Data.UTCTime pieces :: UTCTime (ArithmeticCircuit a) -> [ArithmeticCircuit a] Source # restore :: [ArithmeticCircuit a] -> UTCTime (ArithmeticCircuit a) Source # | |
Eq a => Eq (UTCTime a) Source # | |