pkg

Documentation

Index

• Variables
• func GroupSlice[A EqOrComparable[A]](xs []A) map[A][]A
• func MapMap[A comparable, B, C any](f F1[B, C], kvs map[A]B) map[A]C
• 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 List
  • func NewList[A any](xs []A) *List[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[T EqOrComparable[T]](elems []T) *Set[T]
  • func (s *Set[T]) Add(a T)
  • func (s *Set[T]) Contains(a T) bool
  • func (s *Set[T]) Delete(a T)
  • func (s *Set[T]) Len() int
  • func (s *Set[T]) ToSlice() []T
• type Unit

Variables

var UnitC = &Unit{}

Functions

func GroupSlice

func GroupSlice[A EqOrComparable[A]](xs []A) map[A][]A

func MapMap

func MapMap[A comparable, B, C any](f F1[B, C], kvs map[A]B) map[A]C

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 List

type List[A any] struct {
	Head A
	Tail *List[A] // TODO use maybe
}

func NewList

func NewList[A any](xs []A) *List[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[T EqOrComparable[T]] struct {
	Elems map[T]bool
}

func NewSet

func NewSet[T EqOrComparable[T]](elems []T) *Set[T]

func (*Set[T]) Add

func (s *Set[T]) Add(a T)

func (*Set[T]) Contains

func (s *Set[T]) Contains(a T) bool

func (*Set[T]) Delete

func (s *Set[T]) Delete(a T)

func (*Set[T]) Len

func (s *Set[T]) Len() int

func (*Set[T]) ToSlice

func (s *Set[T]) ToSlice() []T

type Unit

type Unit struct{}

Unit represents the Haskell value `()`