Safe Haskell	Safe-Inferred
Language	Haskell2010

ZkFold.Symbolic.Data.UTCTime

Documentation

Constructors

Instances details

FromConstant Natural (UInt 11 'Auto c) => FromConstant Natural (UTCTime c) Source #
Instance details Defined in ZkFold.Symbolic.Data.UTCTime Methods fromConstant :: Natural -> UTCTime c Source #
Eq (UInt 11 'Auto c) => Eq (UTCTime c) Source #
Instance details Defined in ZkFold.Symbolic.Data.UTCTime Methods (==) :: UTCTime c -> UTCTime c -> Bool # (/=) :: UTCTime c -> UTCTime c -> Bool #
SymbolicData (UTCTime c) Source #
Instance details Defined in ZkFold.Symbolic.Data.UTCTime Associated Types type Context (UTCTime c) :: (Type -> Type) -> Type Source # type Support (UTCTime c) Source # type Layout (UTCTime c) :: Type -> Type Source # Methods pieces :: UTCTime c -> Support (UTCTime c) -> Context (UTCTime c) (Layout (UTCTime c)) Source # restore :: (Support (UTCTime c) -> Context (UTCTime c) (Layout (UTCTime c))) -> UTCTime c Source #
type Context (UTCTime c) Source #
Instance details Defined in ZkFold.Symbolic.Data.UTCTime type Context (UTCTime c) = Context (UInt 11 'Auto c)
type Layout (UTCTime c) Source #
Instance details Defined in ZkFold.Symbolic.Data.UTCTime type Layout (UTCTime c) = Layout (UInt 11 'Auto c)
type Support (UTCTime c) Source #
Instance details Defined in ZkFold.Symbolic.Data.UTCTime type Support (UTCTime c) = Support (UInt 11 'Auto c)