Categorygithub.com/IBM/fp-gointernalapplicativetesting
package
1.0.150
Repository: https://github.com/ibm/fp-go.git
Documentation: pkg.go.dev
Overview
Versions
1
Dependencies
9
Dependents
1
Files
230 SLOC

# Functions

Applicative homomorphism law A.ap(A.of(ab), A.of(a)) <-> A.of(ab(a)).
Applicative identity law A.ap(A.of(a => a), fa) <-> fa.
Applicative interchange law A.ap(fab, A.of(a)) <-> A.ap(A.of(ab => ab(a)), fab).
ApplicativeAssertLaws asserts the apply laws `identity`, `composition`, `associative composition`, 'applicative identity', 'homomorphism', 'interchange'.
Applicative homomorphism law A.ap(A.of(ab), A.of(a)) <-> A.of(ab(a)) Deprecated: use [ApplicativeAssertHomomorphism].
Applicative identity law A.ap(A.of(a => a), fa) <-> fa Deprecated: use [ApplicativeAssertIdentity].
Applicative interchange law A.ap(fab, A.of(a)) <-> A.ap(A.of(ab => ab(a)), fab) Deprecated: use [ApplicativeAssertInterchange].
AssertLaws asserts the apply laws `identity`, `composition`, `associative composition`, 'applicative identity', 'homomorphism', 'interchange' Deprecated: use [ApplicativeAssertLaws] instead.