Safe Haskell	Safe-Inferred
Language	Haskell2010

ZkFold.Symbolic.Data.UTCTime

Documentation

newtype UTCTime c Source #

Constructors

UTCTime (UInt 11 Auto c)

Instances

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 #
(Symbolic c, KnownRegisters c 11 'Auto) => 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 # type Payload (UTCTime c) :: Type -> Type Source # Methods arithmetize :: UTCTime c -> Support (UTCTime c) -> Context (UTCTime c) (Layout (UTCTime c)) Source # payload :: UTCTime c -> Support (UTCTime c) -> Payload (UTCTime c) (WitnessField (Context (UTCTime c))) Source # restore :: Context (UTCTime c) ~ c0 => (Support (UTCTime c) -> (c0 (Layout (UTCTime c)), Payload (UTCTime c) (WitnessField c0))) -> 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 Payload (UTCTime c) Source #
Instance details Defined in ZkFold.Symbolic.Data.UTCTime type Payload (UTCTime c) = Payload (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)