André Martins martinsandredev

λ craftsman

martinsandredev / free-monad.ts

Created June 26, 2021 21:10

	import * as Free from 'fp-ts-contrib/Free';
	import * as I from 'fp-ts/lib/Identity';
	import * as O from 'fp-ts/Option';
	import { Do } from 'fp-ts-contrib/Do';
	import { pipe, flow } from 'fp-ts/function';
	import { sequenceS } from 'fp-ts/lib/Apply';

	declare module 'fp-ts/HKT' {
	interface URItoKind<A> {
	Store: StoreA;

martinsandredev / clean-architecture-effect-ts.ts

Last active June 11, 2024 01:12

Clean Architecture and Functional Programming with ZIO inspired Effect-TS

	import * as E from '@effect-ts/core/Either';
	import * as O from '@effect-ts/core/Option';
	import * as T from '@effect-ts/core/Effect';
	import * as L from '@effect-ts/core/Effect/Layer';
	import * as M from '@effect-ts/core/Effect/Managed';
	import * as HashMap from '@effect-ts/core/Collections/Mutable/HashMap';
	import { pipe, flow } from '@effect-ts/core/Function';
	import { tag } from '@effect-ts/system/Has';
	import express, { Request, Response, Router, Express } from 'express';
	import { v4 as uuidv4 } from 'uuid';

martinsandredev / comparison-between-scala-and-haskell-pt-1.md

Last active May 5, 2022 13:20

Comparison between Scala and Haskell - Pt. 1

Algebraic Data Types

Scala:

enum Status:
  case Ok
  case Error(err: String)

martinsandredev / zio-cats-tagless-final.scala

Last active May 9, 2023 08:59

martinsandredev / typescript-tagless-final.ts

Last active September 13, 2022 20:55

	import * as RTE from "fp-ts/ReaderTaskEither";
	import * as E from "fp-ts/Either";
	import * as O from "fp-ts/Option";
	import { Kind, URIS } from "fp-ts/HKT";
	import { pipe } from "fp-ts/function";
	import { Do } from "fp-ts-contrib/Do";
	import { Monad1 } from "fp-ts/Monad";

	interface MonadError<M extends URIS, E> extends Monad1<M> {
	readonly throwError: <A>(e: E) => Kind<M, A>;