Module

Webb.Mutex.Data.Mutex.Lease

Package: purescript-webb-mutex
Repository: mitchellandwebb/webb-mutex

#Lease Source

newtype Lease

Constructors

O (Maybe Lease_)

Instances

#Lease_ Source

type Lease_ = { id :: Id, name :: Maybe String }

#none Source

none :: Lease

#newLease Source

newLease :: Id -> Maybe String -> Lease

#newLease' Source

newLease' :: Id -> Lease

#fromItem Source

fromItem :: Item -> Lease

#owner Source

owner :: Lease -> Maybe Lease_

#id Source

id :: Lease -> Maybe Id

#name Source

name :: Lease -> Maybe String

#isNone Source

isNone :: Lease -> Boolean

#isOwned Source

isOwned :: Lease -> Boolean

#isOwnedBy Source

isOwnedBy :: String -> Lease -> Boolean

#hasId Source

hasId :: Id -> Lease -> Boolean

Modules: Webb.Mutex; Webb.Mutex.Data.Mutex.Id; Webb.Mutex.Data.Mutex.Item; Webb.Mutex.Data.Mutex.Lease; Webb.Mutex.Data.Mutex.Queue; Webb.Mutex.Data.Vector; Webb.Mutex.Internal.Mutex; Webb.Mutex.Internal.Mutex.Locker; Webb.Mutex.Internal.Mutex.State; Webb.Mutex.Internal.Mutex.Turn; Webb.Mutex.Internal.Mutex.Unlocker; Webb.Mutex.Internal.Result; Webb.Result