Skip to content

Instantly share code, notes, and snippets.

@jchapuis

jchapuis/lease.scala

Created August 12, 2024 09:11
Show Gist options
  • Save jchapuis/6de0dfaa3e630cab11df0cbb74353a74 to your computer and use it in GitHub Desktop.
Save jchapuis/6de0dfaa3e630cab11df0cbb74353a74 to your computer and use it in GitHub Desktop.
Download ZIP
Lease abstraction
Raw
lease.scala
trait Lease[F[_]]:
def id: LeaseID
def holder: F[HolderID]
def labels: F[List[Label]]
def annotations: F[List[Annotation]]
def isExpired: F[Boolean]
def expired: fs2.Stream[F, Unit]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment