constant

Documentation

Index

• func Ap[E, A, B any](s S.Semigroup[E]) func(fa Const[E, A]) func(fab Const[E, func(A) B]) Const[E, B]
• func Map[E, A, B any](f func(A) B) func(fa Const[E, A]) Const[E, B]
• func MonadAp[E, A, B any](s S.Semigroup[E]) func(fab Const[E, func(A) B], fa Const[E, A]) Const[E, B]
• func Of[E, A any](m M.Monoid[E]) func(A) Const[E, A]
• func Unwrap[E, A any](c Const[E, A]) E
• type Const
  • func Make[E, A any](e E) Const[E, A]
  • func MonadMap[E, A, B any](fa Const[E, A], f func(A) B) Const[E, B]

Functions

func Ap

func Ap[E, A, B any](s S.Semigroup[E]) func(fa Const[E, A]) func(fab Const[E, func(A) B]) Const[E, B]

func Map

func Map[E, A, B any](f func(A) B) func(fa Const[E, A]) Const[E, B]

func MonadAp

func MonadAp[E, A, B any](s S.Semigroup[E]) func(fab Const[E, func(A) B], fa Const[E, A]) Const[E, B]

func Of

func Of[E, A any](m M.Monoid[E]) func(A) Const[E, A]

func Unwrap

func Unwrap[E, A any](c Const[E, A]) E

Types

type Const

type Const[E, A any] struct {
	// contains filtered or unexported fields
}

func Make

func Make[E, A any](e E) Const[E, A]

func MonadMap

func MonadMap[E, A, B any](fa Const[E, A], f func(A) B) Const[E, B]