Hercules.API.State.StateLockLease
data StateLockLease Source #
Constructors
Fields
When the lease was granted.
Time of expiry. The lease can be terminated or extended by the actor.
In case the lock was acquired by a user.
In case the lock was acquired by an effect.
User-provided text describing the reason to lock. May be empty.
A pre-existing lock lease. This allows a lease to be granted when the actor knows it already has a lock lease.
Whether the lock is exclusive.
Defined in Hercules.API.State.StateLockLease
Methods
parseJSON :: Value -> Parser StateLockLease Source #
parseJSONList :: Value -> Parser [StateLockLease] Source #
toJSON :: StateLockLease -> Value Source #
toEncoding :: StateLockLease -> Encoding Source #
toJSONList :: [StateLockLease] -> Value Source #
toEncodingList :: [StateLockLease] -> Encoding Source #
Associated Types
type Rep StateLockLease :: Type -> Type Source #
from :: StateLockLease -> Rep StateLockLease x Source #
to :: Rep StateLockLease x -> StateLockLease Source #
showsPrec :: Int -> StateLockLease -> ShowS Source #
show :: StateLockLease -> String Source #
showList :: [StateLockLease] -> ShowS Source #
rnf :: StateLockLease -> () Source #
(==) :: StateLockLease -> StateLockLease -> Bool Source #
(/=) :: StateLockLease -> StateLockLease -> Bool Source #
declareNamedSchema :: Proxy StateLockLease -> Declare (Definitions Schema) NamedSchema Source #