From 49d6379c3d40b684b28f4a957ff1ffb81a2560ee Mon Sep 17 00:00:00 2001 From: Akshay Nair Date: Wed, 11 Jan 2023 16:02:26 +0530 Subject: refactor: minor refactor all around --- examples/greeting.ts | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'examples/greeting.ts') diff --git a/examples/greeting.ts b/examples/greeting.ts index e4c2161..d3d755f 100644 --- a/examples/greeting.ts +++ b/examples/greeting.ts @@ -1,8 +1,8 @@ -import { Bind, Kind1, Seq } from '../stdlib/effect' +import { Bind, Kind1 } from '../stdlib/effect' import { PutString, ReadLine, PutStringLn } from '../stdlib/stdio' interface GreetK extends Kind1 { - return: Seq<[PutString<'Hello, '>, PutString<`${this['input']}\n`>]> + return: PutStringLn<`Hello, ${this['input']}`> } export type main = [ -- cgit v1.3.1