7h3kk1d

public abstract class Bool extends Number implements CoProduct2<Bool.False, Bool.True, Bool> {
    @Override
    public byte byteValue() {
        return match(constantly((byte) 0),
                     constantly((byte) 1));
    }

    @Override
    public short shortValue() {
        return byteValue();

7h3kk1d

package com.thekkid.ninetyninelambdas.problems;

import com.jnape.palatable.lambda.adt.Unit;
import com.jnape.palatable.lambda.functions.builtin.fn2.ToCollection;
import com.jnape.palatable.lambda.functor.builtin.State;
import com.jnape.palatable.lambda.io.IO;
import com.jnape.palatable.lambda.monad.MonadRec;

import java.util.ArrayList;
import java.util.Collections;

7h3kk1d

public class Person<F extends MonadRec<?, F>> {
    MonadRec<Integer, F> age;
    MonadRec<String, F> name;

    public Person(MonadRec<Integer, F> age, MonadRec<String, F> name) {
        this.age = age;
        this.name = name;
    }

    public static Person<ReaderT<String, Either<String, ?>, ?>> personValidation() {

7h3kk1d

public sealed interface Failable<A> extends CoProduct2<List<String>, A, Failable<A>>, Monad<A, Failable<?>> {
    @Override
    default <B> Failable<B> flatMap(Fn1<? super A, ? extends Monad<B, Failable<?>>> fn1) {
        return match(Failed::new, fn1.fmap(Monad::coerce));
    }

    @Override
    default <B> Failable<B> pure(B b) {
        return new Success<>(b);
    }

7h3kk1d

public class TransactionExample {
    public static void main(String[] args) {
        Transactor<IO<?>, Unit, String> transactor = new Transactor<>() {
            @Override
            public <A> IO<Either<String, A>> runTransactional(Transactional<IO<?>, String, Unit, A> transactional) {
                Unit connection = UNIT;
                return IO.io(() -> System.out.println("Starting Transaction"))
                        .discardL(transactional.run(connection)
                                          .<IO<Either<String, A>>>coerce()
                                          .flatMap(e -> e.match(s -> IO.io(() -> System.err.printf("Rolling back transaction due to %s%n", s)),

7h3kk1d

import java.sql.Date;

public record Dog(String name, Date birthdate) {}