Mitchell Yuwono myuwono
myuwono
/ ContextReceiversPetService.kt
Created
April 16, 2023 13:08
typed-error handling Arrow raise with context receivers
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| context(Raise<UpdatePetDetailsFailure>) | |
| suspend fun updatePetDetails( | |
| petId: PetId, | |
| petOwnerId: PetOwnerId, | |
| petUpdate: PetUpdate | |
| ): Pet { | |
| val pet = petStore.getPet(petId) ?: raise(UpdatePetDetailsFailure.PetNotFound) | |
| val owner = petOwnerStore.getPetOwner(petOwnerId) ?: raise(UpdatePetDetailsFailure.OwnerNotFound) | |
| val microchip = microchipStore.getMicrochip(pet.microchipId) ?: raise(UpdatePetDetailsFailure.MicrochipNotFound) |
myuwono
/ ArrowEitherBuilderPetService.kt
Created
April 16, 2023 12:45
typed-error handling - Arrow either { } builder
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| suspend fun updatePetDetails( | |
| petId: PetId, | |
| petOwnerId: PetOwnerId, | |
| petUpdate: PetUpdate | |
| ): Either<UpdatePetDetailsFailure, Pet> = either { | |
| val pet = petStore.getPet(petId) ?: raise(UpdatePetDetailsFailure.PetNotFound) | |
| val owner = petOwnerStore.getPetOwner(petOwnerId) ?: raise(UpdatePetDetailsFailure.OwnerNotFound) | |
| val microchip = microchipStore.getMicrochip(pet.microchipId) ?: raise(UpdatePetDetailsFailure.MicrochipNotFound) | |
| ensure(microchip.petId == pet.id) { UpdatePetDetailsFailure.InvalidMicrochip } |
myuwono
/ SealedClassEarlyReturnPetService.kt
Last active
April 16, 2023 12:28
typed-error handling sealed class early return
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| suspend fun updatePetDetails( | |
| petId: PetId, | |
| petOwnerId: PetOwnerId, | |
| petUpdate: PetUpdate | |
| ): UpdatePetDetailsResult { | |
| val pet = petStore.getPet(petId) ?: return UpdatePetDetailsResult.PetNotFound | |
| val owner = petOwnerStore.getPetOwner(petOwnerId) ?: return UpdatePetDetailsResult.OwnerNotFound | |
| val microchip = microchipStore.getMicrochip(pet.microchipId) ?: return UpdatePetDetailsResult.MicrochipNotFound | |
| if (microchip.petId != pet.id) { |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| suspend fun updatePetDetails( | |
| petId: PetId, | |
| petOwnerId: PetOwnerId, | |
| petUpdate: PetUpdate | |
| ): Pet = try { | |
| val pet = petStore.getPet(petId) | |
| val owner = petOwnerStore.getPetOwner(petOwnerId) | |
| val microchip = microchipStore.getMicrochip(pet.microchipId) | |
| if (microchip.petId != pet.id) { |
myuwono
/ EitherFlatMapPetService.kt
Created
April 16, 2023 11:16
typed-error handling - vanilla Either FlatMap chaining
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| suspend fun updatePetDetails( | |
| petId: PetId, | |
| petOwnerId: PetOwnerId, | |
| petUpdate: PetUpdate | |
| ): Either<UpdatePetDetailsFailure, Pet> = | |
| petStore.getPet(petId) | |
| .toEither { UpdatePetDetailsFailure.PetNotFound } | |
| .flatMap { pet -> | |
| petOwnerStore.getPetOwner(petOwnerId) | |
| .toEither { UpdatePetDetailsFailure.OwnerNotFound } |
myuwono
/ SealedClassPetService.kt
Last active
April 16, 2023 10:45
typed-error-handling example - vanilla sealed class without early return
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| suspend fun updatePetDetails( | |
| petId: PetId, | |
| petOwnerId: PetOwnerId, | |
| petUpdate: PetUpdate | |
| ): UpdatePetDetailsResult { | |
| val pet = petStore.getPet(petId) | |
| return if (pet == null) { | |
| UpdatePetDetailsResult.PetNotFound | |
| } else { | |
| val owner = petOwnerStore.getPetOwner(petOwnerId) |
myuwono
/ ContextReceiversPetService.kt
Created
April 16, 2023 10:21
Kotlin typed-error handling - Error handling with vanilla sealed class without early returns
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| context(Raise<UpdatePetDetailsFailure>) | |
| suspend fun updatePetDetails( | |
| petId: PetId, | |
| petOwnerId: PetOwnerId, | |
| petUpdate: PetUpdate | |
| ): Pet { | |
| val pet = petStore.getPet(petId) ?: raise(UpdatePetDetailsFailure.PetNotFound) | |
| val owner = petOwnerStore.getPetOwner(petOwnerId) ?: raise(UpdatePetDetailsFailure.OwnerNotFound) | |
| val microchip = microchipStore.getMicrochip(pet.microchipId) ?: raise(UpdatePetDetailsFailure.MicrochipNotFound) |