Brand overview

A simple extension to the Effect Brand module

Table of contents

• Models
  • Email (namespace)
    • Type (type alias)
  • Int (namespace)
    • Type (type alias)
  • IntRange (namespace)
    • Type (type alias)
  • PositiveInt (namespace)
    • Type (type alias)
  • Real (namespace)
    • Type (type alias)
  • SemVer (namespace)
    • Type (type alias)
  • moduleTag

Models

Email (namespace)

This namespace implements an Email brand

Type (type alias)

Email type

Signature

export type Type = Brand.Branded<string, _TypeId>

Int (namespace)

This namespace implements a finite integer brand (no Infinity or Nan)

Type (type alias)

Int type

Signature

export type Type = Brand.Branded<Real.Type, _TypeId>

IntRange (namespace)

This namespace implements a integer range brand

Type (type alias)

IntRange type

Signature

export type Type<Name extends symbol> = Brand.Branded<Int.Type, Name>

PositiveInt (namespace)

This namespace implements a positive integer brand

Type (type alias)

Type for positive integers

Signature

export type Type = IntRange.Type<_TypeId>

Real (namespace)

This namespace implements a finite real number brand (no Infinity or Nan)

Type (type alias)

Real type

Signature

export type Type = Brand.Branded<number, _TypeId>

SemVer (namespace)

This namespace implements a SemVer brand

Type (type alias)

SemVer type

Signature

export type Type = Brand.Branded<string, _TypeId>

moduleTag

Module tag

Signature

export declare const moduleTag: "@parischap/effect-lib/Brand/"