package magma - github.com/IBM/fp-go/magma - godocs.io

fp-go – github.com/IBM/fp-go/magma Index | Files

package magma

import "github.com/IBM/fp-go/magma"

Index ¶

func ConcatAll[A any](m Magma[A]) func(A) func([]A) A
func Endo[A any](f func(A) A) func(Magma[A]) Magma[A]
func FilterFirst[A any](p func(A) bool) func(Magma[A]) Magma[A]
func FilterSecond[A any](p func(A) bool) func(Magma[A]) Magma[A]
func GenericConcatAll[GA ~[]A, A any](m Magma[A]) func(A) func(GA) A
func GenericMonadConcatAll[GA ~[]A, A any](m Magma[A]) func(GA, A) A
func MonadConcatAll[A any](m Magma[A]) func([]A, A) A
type Magma

func First[A any]() Magma[A]
func MakeMagma[A any](c func(A, A) A) Magma[A]
func Reverse[A any](m Magma[A]) Magma[A]
func Second[A any]() Magma[A]

Functions ¶

func ConcatAll ¶

func ConcatAll[A any](m Magma[A]) func(A) func([]A) A

ConcatAll concats all items using the semigroup and a starting value

func Endo ¶

func Endo[A any](f func(A) A) func(Magma[A]) Magma[A]

func FilterFirst ¶

func FilterFirst[A any](p func(A) bool) func(Magma[A]) Magma[A]

func FilterSecond ¶

func FilterSecond[A any](p func(A) bool) func(Magma[A]) Magma[A]

func GenericConcatAll ¶

func GenericConcatAll[GA ~[]A, A any](m Magma[A]) func(A) func(GA) A

GenericConcatAll concats all items using the semigroup and a starting value

func GenericMonadConcatAll ¶

func GenericMonadConcatAll[GA ~[]A, A any](m Magma[A]) func(GA, A) A

func MonadConcatAll ¶

func MonadConcatAll[A any](m Magma[A]) func([]A, A) A

Types ¶

type Magma ¶

type Magma[A any] interface {
	Concat(x A, y A) A
}

func First ¶

func First[A any]() Magma[A]

func MakeMagma ¶

func MakeMagma[A any](c func(A, A) A) Magma[A]

func Reverse ¶

func Reverse[A any](m Magma[A]) Magma[A]

func Second ¶

func Second[A any]() Magma[A]

Source Files ¶

array.go magma.go

Version: v1.0.151 (latest)
Published: Nov 23, 2024
Platform: linux/amd64
Imports: 2 packages
Last checked: 4 months ago –

Tools for package owners.