export interface NonEmptyStringBrand {
  readonly NonEmptyString: unique symbol
}

export interface NonEmptyStringC extends t.Type<NonEmptyString, string, unknown> {}

export type NonEmptyString = t.Branded<string, NonEmptyStringBrand>

export const NonEmptyString: NonEmptyStringC = ...

import { NonEmptyString } from 'io-ts-types/lib/NonEmptyString'
import { right } from 'fp-ts/lib/Either'
import { PathReporter } from 'io-ts/lib/PathReporter'

assert.deepStrictEqual(NonEmptyString.decode('a'), right('a'))
assert.deepStrictEqual(PathReporter.report(NonEmptyString.decode('')), [
  'Invalid value "" supplied to : NonEmptyString'
])