Agda.Utils.Either

whileLeft

caseEitherM

mapEither

mapLeft

mapRight

traverseEither

isRight

isLeft

fromLeft

fromRight

fromLeftM

fromRightM

maybeLeft

maybeRight

allLeft

allRight

maybeToEither