Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Prisms for Either #2877

Merged
merged 8 commits into from
Jan 9, 2023
+118 −0
Merged

Prisms for Either #2877

Changes from 1 commit
Commits
Show all changes
8 commits
Select commit Hold shift + click to select a range
833c855
Prisms for Either
serras Dec 29, 2022
20e97b3
Fix conflicting declarations in JVM
serras Dec 29, 2022
be168fb
Use better names for prisms
serras Jan 7, 2023
d3d3262
Update API files
serras Jan 7, 2023
faf3d5b
Update arrow-libs/optics/arrow-optics/src/commonMain/kotlin/arrow/opt…
serras Jan 8, 2023
90dc268
Add JvmName to left and right
serras Jan 8, 2023
ccf99eb
Update API files
serras Jan 8, 2023
0db7a0e
Merge branch 'main' into as-prism-either
serras Jan 8, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Update API files
@serras @github-actions
serras authored and github-actions[bot] committed Jan 7, 2023
commit d3d326227d8a16e2e92baaa781f2e6518ba412da
8 changes: 4 additions & 4 deletions arrow-libs/optics/arrow-optics/api/arrow-optics.api
View file
Original file line number Diff line number Diff line change
@@ -598,15 +598,15 @@ public final class arrow/optics/POptionalGetter$DefaultImpls {
public abstract interface class arrow/optics/PPrism : arrow/optics/PEvery, arrow/optics/POptional, arrow/optics/POptionalGetter, arrow/optics/PSetter, arrow/optics/PTraversal {
public static final field Companion Larrow/optics/PPrism$Companion;
public abstract fun compose (Larrow/optics/PPrism;)Larrow/optics/PPrism;
public static fun eitherLeft ()Larrow/optics/PPrism;
public static fun eitherRight ()Larrow/optics/PPrism;
public abstract fun first ()Larrow/optics/PPrism;
public abstract fun foldMap (Larrow/typeclasses/Monoid;Ljava/lang/Object;Lkotlin/jvm/functions/Function1;)Ljava/lang/Object;
public abstract fun getOrModify (Ljava/lang/Object;)Larrow/core/Either;
public abstract fun left ()Larrow/optics/PPrism;
public abstract fun liftNullable (Lkotlin/jvm/functions/Function1;)Lkotlin/jvm/functions/Function1;
public abstract fun modify (Ljava/lang/Object;Lkotlin/jvm/functions/Function1;)Ljava/lang/Object;
public static fun none ()Larrow/optics/PPrism;
public static fun pLeft ()Larrow/optics/PPrism;
public static fun pRight ()Larrow/optics/PPrism;
public static fun pSome ()Larrow/optics/PPrism;
public abstract fun plus (Larrow/optics/PPrism;)Larrow/optics/PPrism;
public abstract fun reverseGet (Ljava/lang/Object;)Ljava/lang/Object;
@@ -617,13 +617,13 @@ public abstract interface class arrow/optics/PPrism : arrow/optics/PEvery, arrow
}

public final class arrow/optics/PPrism$Companion {
public final fun eitherLeft ()Larrow/optics/PPrism;
public final fun eitherRight ()Larrow/optics/PPrism;
public final fun id ()Larrow/optics/PIso;
public final fun invoke (Lkotlin/jvm/functions/Function1;Lkotlin/jvm/functions/Function1;)Larrow/optics/PPrism;
public final fun none ()Larrow/optics/PPrism;
public final fun only (Ljava/lang/Object;Lkotlin/jvm/functions/Function2;)Larrow/optics/PPrism;
public static synthetic fun only$default (Larrow/optics/PPrism$Companion;Ljava/lang/Object;Lkotlin/jvm/functions/Function2;ILjava/lang/Object;)Larrow/optics/PPrism;
public final fun pLeft ()Larrow/optics/PPrism;
public final fun pRight ()Larrow/optics/PPrism;
public final fun pSome ()Larrow/optics/PPrism;
public final fun some ()Larrow/optics/PPrism;
}