UNPKG

lean4-code-actions

Version:

Refactorings and snippets for Lean 4

12 lines (7 loc) • 427 B
1
2
3
4
5
6
7
8
9
10
11
12
import { SafeParseReturnType } from 'zod/lib/types' import { Mapper, MapperP, MapperTwoSym } from './Mapper' import { Result } from './Result' export type Parser<In, Out, Err> = Mapper<In, Result<Out, Err>> export type ParserP<In, Out, Err> = MapperP<In, Result<Out, Err>> export type ParserTwoSym<In, Out, Err> = MapperTwoSym<In, Result<Out, Err>> export type ZodParser<In, Out> = Mapper<In, SafeParseReturnType<In, Out>>