From fccd7917e62a3fbe3b0637ee630d09a9bdbf0678 Mon Sep 17 00:00:00 2001 From: Akshay Nair Date: Thu, 5 Jan 2023 18:10:44 +0530 Subject: feat: adds get env type func --- src/index.ts | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'src/index.ts') diff --git a/src/index.ts b/src/index.ts index 87eea0b..f7e00b7 100644 --- a/src/index.ts +++ b/src/index.ts @@ -8,6 +8,8 @@ export interface Print<_ extends any> extends EffectAtom { } export interface WriteFile<_Path extends string, _Content extends string> extends EffectAtom { } export interface ReadFile<_Path extends string> extends EffectAtom { } +export interface GetEnv<_Name extends string> extends EffectAtom { } + export interface Program { effects: Effs, exitCode: ExitCode, @@ -23,12 +25,13 @@ export interface ChainIO extends Effec chainTo: Fn } -export interface PrintK extends Kind1 { +export interface PrintK extends Kind1 { return: Print } export type main = Program<[ [1, 2, 3] extends infer Res ? Print : never, Print<`wow: ${string} -> ${'helo'}`>, + ChainIO, PrintK>, ChainIO, PrintK>, ]> -- cgit v1.3.1