#Function: andThrough()

import { 
import ResultResult } from '@praha/byethrow';

const 
const result: Result.Result<5, "Must be > 0">result = 
import ResultResult.
const pipe: <Result.Result<5, never>, Result.Result<5, "Must be > 0">>(a: Result.Result<5, never>, ab: (a: Result.Result<5, never>) => Result.Result<5, "Must be > 0">) => Result.Result<5, "Must be > 0"> (+25 overloads)pipe(
  
import ResultResult.
const succeed: <5>(value: 5) => Result.Result<5, never> (+1 overload)succeed(5),
  
import ResultResult.
const andThrough: <Result.Result<5, never>, Result.Success<null> | Result.Failure<"Must be > 0">>(fn: (a: 5) => Result.Success<null> | Result.Failure<"Must be > 0">) => (result: Result.Result<5, never>) => Result.Result<5, "Must be > 0"> (+1 overload)andThrough((
x: 5x) => {
    return 
x: 5x > 0 ? 
import ResultResult.
const succeed: <null>(value: null) => Result.Result<null, never> (+1 overload)succeed(null) : 
import ResultResult.
const fail: <"Must be > 0">(error: "Must be > 0") => Result.Result<never, "Must be > 0"> (+1 overload)fail('Must be > 0');
  }),
);
// { type: 'Success', value: 5 }

import { 
import ResultResult } from '@praha/byethrow';

const 
const result: Result.Result<never, "error" | "Must be > 0">result = 
import ResultResult.
const pipe: <Result.Result<never, "error">, Result.Result<never, "error" | "Must be > 0">>(a: Result.Result<never, "error">, ab: (a: Result.Result<never, "error">) => Result.Result<never, "error" | "Must be > 0">) => Result.Result<never, "error" | "Must be > 0"> (+25 overloads)pipe(
  
import ResultResult.
const fail: <"error">(error: "error") => Result.Result<never, "error"> (+1 overload)fail('error'),
  
import ResultResult.
const andThrough: <Result.Result<never, "error">, Result.Success<null> | Result.Failure<"Must be > 0">>(fn: (a: never) => Result.Success<null> | Result.Failure<"Must be > 0">) => (result: Result.Result<never, "error">) => Result.Result<never, "error" | "Must be > 0"> (+1 overload)andThrough((
x: neverx) => {
    return 
x: neverx > 0 ? 
import ResultResult.
const succeed: <null>(value: null) => Result.Result<null, never> (+1 overload)succeed(null) : 
import ResultResult.
const fail: <"Must be > 0">(error: "Must be > 0") => Result.Result<never, "Must be > 0"> (+1 overload)fail('Must be > 0');
  }),
);
// { type: 'Failure', error: 'error' }

import { 
import ResultResult } from '@praha/byethrow';

const 
const result: Result.Result<-10, "Must be > 0">result = 
import ResultResult.
const pipe: <Result.Result<-10, never>, Result.Result<-10, "Must be > 0">>(a: Result.Result<-10, never>, ab: (a: Result.Result<-10, never>) => Result.Result<-10, "Must be > 0">) => Result.Result<-10, "Must be > 0"> (+25 overloads)pipe(
  
import ResultResult.
const succeed: <-10>(value: -10) => Result.Result<-10, never> (+1 overload)succeed(-10),
  
import ResultResult.
const andThrough: <Result.Result<-10, never>, Result.Success<null> | Result.Failure<"Must be > 0">>(fn: (a: -10) => Result.Success<null> | Result.Failure<"Must be > 0">) => (result: Result.Result<-10, never>) => Result.Result<-10, "Must be > 0"> (+1 overload)andThrough((
x: -10x) => {
    return 
x: -10x > 0 ? 
import ResultResult.
const succeed: <null>(value: null) => Result.Result<null, never> (+1 overload)succeed(null) : 
import ResultResult.
const fail: <"Must be > 0">(error: "Must be > 0") => Result.Result<never, "Must be > 0"> (+1 overload)fail('Must be > 0');
  }),
);
// { type: 'Failure', error: 'Must be > 0' }