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 #
parseJSONList :: Value -> Parser [StateLockLease] #
toJSON :: StateLockLease -> Value #
toEncoding :: StateLockLease -> Encoding #
toJSONList :: [StateLockLease] -> Value #
toEncodingList :: [StateLockLease] -> Encoding #
Associated Types
type Rep StateLockLease :: Type -> Type #
from :: StateLockLease -> Rep StateLockLease x #
to :: Rep StateLockLease x -> StateLockLease #
showsPrec :: Int -> StateLockLease -> ShowS #
show :: StateLockLease -> String #
showList :: [StateLockLease] -> ShowS #
rnf :: StateLockLease -> () #
(==) :: StateLockLease -> StateLockLease -> Bool #
(/=) :: StateLockLease -> StateLockLease -> Bool #
declareNamedSchema :: Proxy StateLockLease -> Declare (Definitions Schema) NamedSchema #