Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- sealed trait DB[T, InnerContext[_], HanderReturnType] {
- type InnerHandler = Handler[HanderReturnType, InnerContext]
- type OuterHandler = Handler[InnerContext[HanderReturnType], Try]
- type Mapped[T] = DB[T, InnerContext, HanderReturnType]
- val value: Try[InnerContext[T]]
- def map[R](f: T => R): Mapped[R]
- def flatMap[R](f: T => Mapped[R]): Mapped[R]
- def purify: DB.Pure[InnerContext[T]] = DbPure(value)
- def reify: Try[InnerContext[T]] = value
- def run[R](f: T => R = _)(implicit innerHandler: InnerHandler, outerHandler: OuterHandler): R
- }
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement