Commit50448da

authored and

committed

Adding MaybeT::filter

1 parente22363d commit50448daCopy full SHA for 50448da

File tree

+20

-0

lines changed

src
- main/java/com/jnape/palatable/lambda/monad/transformer/builtin
  - MaybeT.java
- test/java/com/jnape/palatable/lambda/monad/transformer/builtin
  - MaybeTTest.java

+20

-0

lines changed

Lines changed: 11 additions & 0 deletions

Original file line number	Diff line number	Diff line change
`@@ -44,6 +44,17 @@ public <MMA extends MonadRec<Maybe<A>, M>> MMA runMaybeT() {`
`44`	`44`	`returnmma.coerce();`
`45`	`45`	`}`
`46`	`46`
	`47`	`+/**`
	`48`	`+ * If the embedded value is present and satisfies <code>predicate</code>`
	`49`	`+ * then return <code>just</code> the embedded value`
	`50`	`+ *`
	`51`	`+ * @param predicate the predicate to apply to the embedded value`
	`52`	`+ * @return maybe the satisfied value embedded under M`
	`53`	`+ */`
	`54`	`+publicMaybeT<M,A>filter(Fn1<?superA, ?extendsBoolean>predicate) {`
	`55`	`+returnmaybeT(mma.fmap(ma ->ma.filter(predicate)));`
	`56`	`+ }`
	`57`	`+`
`47`	`58`	`/**`
`48`	`59`	`* {@inheritDoc}`
`49`	`60`	`*/`

Lines changed: 9 additions & 0 deletions

Original file line number	Diff line number	Diff line change
`@@ -22,6 +22,8 @@`
`22`	`22`	`importstaticcom.jnape.palatable.lambda.adt.Either.right;`
`23`	`23`	`importstaticcom.jnape.palatable.lambda.adt.Maybe.just;`
`24`	`24`	`importstaticcom.jnape.palatable.lambda.adt.Maybe.nothing;`
	`25`	`+importstaticcom.jnape.palatable.lambda.functions.builtin.fn2.GT.gt;`
	`26`	`+importstaticcom.jnape.palatable.lambda.functions.builtin.fn2.LT.lt;`
`25`	`27`	`importstaticcom.jnape.palatable.lambda.functor.builtin.Identity.pureIdentity;`
`26`	`28`	`importstaticcom.jnape.palatable.lambda.functor.builtin.Lazy.lazy;`
`27`	`29`	`importstaticcom.jnape.palatable.lambda.io.IO.io;`
`@@ -70,4 +72,11 @@ public void composedZip() {`
`70`	`72`	`.unsafePerformAsyncIO(Executors.newFixedThreadPool(2))`
`71`	`73`	`.join();`
`72`	`74`	`}`
	`75`	`+`
	`76`	`+@Test`
	`77`	`+publicvoidfilter() {`
	`78`	`+MaybeT<Identity<?>,Integer>maybeT =pureMaybeT(pureIdentity()).apply(1);`
	`79`	`+assertEquals(maybeT(newIdentity<>(just(1))),maybeT.filter(gt(0)));`
	`80`	`+assertEquals(maybeT(newIdentity<>(nothing())),maybeT.filter(lt(0)));`
	`81`	`+ }`
`73`	`82`	`}`

Comments

(0)