io-ts | Runtime type system for IO

I'm very new to TypeScript and faced the following problem.

I have a ContentGateway interface which looks like this:

Let's take the example:

Currently I am working on a project which has an fp-ts and io-ts stack. I am trying to validate all the responses we get from backend with io-ts. I came to know io-ts doesn't have easy way to make optional type of typescript. And from this issue found a work around to make object with optional fields.

I want to create type which looks something like this.

Please help, I've been defeated by AWS...

I have a lambda with the following permissions.

Neither sqs resource-based policy nor the service role has any Deny statements. The lambda should send a message to another SQS queue but it can't, instead I just get this error

I'm struggling with "massaging" my fetched data into the shapes I want, using fp-ts for functional transformation and io-ts for data validation.

I want getSchools() to return either an Error describing what went wrong, or an array of validated Schools. The code I have somewhat works, but the problem is that if one of the schools in the fetched array of schools fails validation, everything fails. I would like to just filter out the ones that failed, and return the rest.

I have often found myself in a situation where i have an array of objects and I want to transform this into a dictionary of objects. The objects may have a known shape of some sort but they still vary from object to object. What I need is for the resultant object/dictionary to:

1. Be type-aware of the discrete properties set on the dictionary
2. Know the particulars of each database tables columns/properties

A classic use case is a database's tables. In this case, the dictionary would represent an API for each table and therefore it would maybe share some methods like select, update, etc. but the properties which it is operating on are going to vary model by model.

In this case, let's assume an interface of ITableDefinition as the general definition of each table's API but the generic being the specifics brought in by the underlying table. Now let's say I'm wrapping up all the tables with the following Database() function:

I need to parse a string that contains json. I need to ensure that the output is a JsonRecord rather than a json primitive.

I have tried to use fp-ts and io-ts for this. So far I know that t.UnknownRecord.decode will return an Either. This will be left for a primitive and right for a record. I'm not sure how to compose this along with parseJSON. When I try I get type errors. See the comment between the tests below.

I would like to use io-ts in order to validate input. However compared to an interface type the WebStorm/IDEA does not show the name of the object type when hovered over the type but shows the details of the type itself.

Lets assume we have the following code a io-ts User and a Interface User.