bounded

Documentation

Overview

Package bounded implements generic bounded types for validation.

Index

• type Type
  • func Failure[T any](err error) Type[T]
  • func Value[T any](t T) Type[T]
  • func (t Type[T]) Bind(f Validator[T]) Type[T]
  • func (t Type[T]) Maybe() (T, error)
• type Validator

Types

type Type

type Type[T any] struct {
	// contains filtered or unexported fields
}

Type is a bounded type. If err == nil, then T is valid.

func Failure

func Failure[T any](err error) Type[T]

func Value

func Value[T any](t T) Type[T]

func (Type[T]) Bind

func (t Type[T]) Bind(f Validator[T]) Type[T]

Bind returns a new instance of the bounded type that has been validated by f.

func (Type[T]) Maybe

func (t Type[T]) Maybe() (T, error)

type Validator

type Validator[T any] func(t T) Type[T]