Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
Instances
FromConstant Natural (UInt 11 'Auto c) => FromConstant Natural (UTCTime c) Source # | |
Defined in ZkFold.Symbolic.Data.UTCTime fromConstant :: Natural -> UTCTime c Source # | |
Eq (UInt 11 'Auto c) => Eq (UTCTime c) Source # | |
SymbolicData (UTCTime c) Source # | |
type Context (UTCTime c) Source # | |
type Layout (UTCTime c) Source # | |
type Support (UTCTime c) Source # | |