pkg

Documentation

Index

• Variables
• func ReduceMaybe[A, B any](m *Maybe[A], b B, f F2[B, A, B]) B
• type Either
  • func App2[E, A, B, C any](f func(A, B) C, m1 *Either[E, A], m2 *Either[E, B]) *Either[E, C]
  • func Bind[E, A, B any](m *Either[E, A], f func(A) *Either[E, B]) *Either[E, B]
  • func Fmap[E, A, B any](m *Either[E, A], f func(a A) B) *Either[E, B]
  • func MapError[E1, E2, A any](m *Either[E1, A], f func(E1) E2) *Either[E2, A]
  • func NewError[E any, A any](error E) *Either[E, A]
  • func NewSuccess[E any, A any](value A) *Either[E, A]
  • func (e *Either[E, A]) IsValid() bool
  • func (e *Either[E, A]) Plus(other *Either[E, A]) *Either[E, A]
• type Maybe
  • func BindMaybe[A, B any](m *Maybe[A], f F1[A, *Maybe[B]]) *Maybe[B]
  • func FilterMaybe[A any](m *Maybe[A], f F1[A, bool]) *Maybe[A]
  • func Just[A any](a A) *Maybe[A]
  • func MapMaybe[A, B any](f F1[A, B], m *Maybe[A]) *Maybe[B]
  • func Nothing[A any]() *Maybe[A]
  • func (m *Maybe[A]) Default(defaultValue A) A
• type Set
  • func NewSet[A comparable](elems []A) *Set[A, A]
  • func NewSetBy[A any, K comparable](projection func(A) K, elems []A) *Set[A, K]
  • func (s *Set[A, K]) Add(a A)
  • func (s *Set[A, K]) Contains(a A) bool
  • func (s *Set[A, K]) Delete(a A)
  • func (s *Set[A, K]) Len() int
  • func (s *Set[A, K]) ToSlice() []A
• type Unit

Variables

var UnitC = &Unit{}

Functions

func ReduceMaybe

func ReduceMaybe[A, B any](m *Maybe[A], b B, f F2[B, A, B]) B

Types

type Either

type Either[E any, A any] struct {
	Success *A
	Error   *E
}

func App2

func App2[E, A, B, C any](f func(A, B) C, m1 *Either[E, A], m2 *Either[E, B]) *Either[E, C]

func Bind

func Bind[E, A, B any](m *Either[E, A], f func(A) *Either[E, B]) *Either[E, B]

func Fmap

func Fmap[E, A, B any](m *Either[E, A], f func(a A) B) *Either[E, B]

func MapError

func MapError[E1, E2, A any](m *Either[E1, A], f func(E1) E2) *Either[E2, A]

func NewError

func NewError[E any, A any](error E) *Either[E, A]

func NewSuccess

func NewSuccess[E any, A any](value A) *Either[E, A]

func (*Either[E, A]) IsValid

func (e *Either[E, A]) IsValid() bool

IsValid is a debugging check

func (*Either[E, A]) Plus

func (e *Either[E, A]) Plus(other *Either[E, A]) *Either[E, A]

type Maybe

type Maybe[A any] struct {
	Value *A
}

func BindMaybe

func BindMaybe[A, B any](m *Maybe[A], f F1[A, *Maybe[B]]) *Maybe[B]

func FilterMaybe

func FilterMaybe[A any](m *Maybe[A], f F1[A, bool]) *Maybe[A]

func Just

func Just[A any](a A) *Maybe[A]

func MapMaybe

func MapMaybe[A, B any](f F1[A, B], m *Maybe[A]) *Maybe[B]

func Nothing

func Nothing[A any]() *Maybe[A]

func (*Maybe[A]) Default

func (m *Maybe[A]) Default(defaultValue A) A

type Set

type Set[A any, K comparable] struct {
	Elems      map[K]A
	Projection func(A) K
}

func NewSet

func NewSet[A comparable](elems []A) *Set[A, A]

func NewSetBy

func NewSetBy[A any, K comparable](projection func(A) K, elems []A) *Set[A, K]

func (*Set[A, K]) Add

func (s *Set[A, K]) Add(a A)

func (*Set[A, K]) Contains

func (s *Set[A, K]) Contains(a A) bool

func (*Set[A, K]) Delete

func (s *Set[A, K]) Delete(a A)

func (*Set[A, K]) Len

func (s *Set[A, K]) Len() int

func (*Set[A, K]) ToSlice

func (s *Set[A, K]) ToSlice() []A

type Unit

type Unit struct{}

Unit represents the Haskell value `()`