TypeScript definitions about monet.js HOT 9 CLOSED

+1

from monet.js.

Great idea

On Wed, 20 Jan 2016 at 8:37 PM, Albert Sadowski [email protected]
wrote:

+1

—
Reply to this email directly or view it on GitHub
https://github.com/cwmyers/monet.js/issues/37#issuecomment-173145551.

from monet.js.

+1

from monet.js.

@ulfryk If you were willing to get this kick-started that would be amazing.

from monet.js.

Some work is already done -> https://gist.github.com/ulfryk/0687f6b6d454c84dcff7

from monet.js.

I have quite huge problem with typing List. Part Below is NOT a valid TypeScript…

class List<T> {
    …
    sequence<V, T extends Monad<V>>(m: IMonadStatic): Monad<List<V>>;
    sequenceMaybe<V, T extends Maybe<V>>(): Maybe<List<V>>;
    sequenceEither<E, V, T extends Either<E, V>>(): Either<E, List<V>>;
    sequenceValidation<E, V, T extends Validation<E, V>>(): Validation<List<E>, List<V>>;
    sequenceIO<V, T extends IO<V>>(): IO<List<V>>;
    sequenceReader<V, T extends Reader<V>>(): Reader<List<V>>;
    …
}

I can't find proper way to express possibility that in List<T> the T is Monad<V>…

Maybe.Some ideas ?

from monet.js.

@cwmyers - you can see more progress here -> https://github.com/evojam/monet.js

PR's are coming soon!

from monet.js.

PR is ready: #48

from monet.js.

Ready! Released with patch 0.8.9 👯

from monet.js.