Class SafeT.Body.Done<M extends MonadRec<?,​M>,​A>

    • Field Detail

      • a

        private final A a
    • Constructor Detail

      • Done

        private Done​(A a)
    • Method Detail

      • match

        public <R> R match​(Fn1<? super Either<MonadRec<SafeT.Body<M,​A>,​M>,​A>,​? extends R> aFn,
                           Fn1<? super SafeT.Body.Suspended<M,​?,​A>,​? extends R> bFn)
        Description copied from interface: CoProduct2
        Type-safe convergence requiring a match against all potential types.
        Type Parameters:
        R - result type
        Parameters:
        aFn - morphism A -> R
        bFn - morphism B -> R
        Returns:
        the result of applying the appropriate morphism to this coproduct's unwrapped value