LanguageExt.Core

LanguageExt.Core Type Classes Applicative

Contents

interface ApplicativePure <FA, A> Source #

Applicative type-class

Parameters

type A

Bound value

interface Applicative <FAB, FA, FB, A, B> Source #

Applicative type-class

Parameters

type FAB

Type of the applicative computation: f(a -> b)

type FA

Type of the applicative to apply

type FB

Type of the applicative to return

type A

Bound value

type B

Type of the bound return value

interface Applicative <FABC, FBC, FA, FB, FC, A, B, C> Source #

Applicative type-class

Parameters

type FABC

Type of the applicative computation: f(a -> b -> c)

type FBC

Type of the applicative computation to return: f(b -> c)

type FA

Type of the applicative of the first argument to apply

type FB

Type of the applicative of the second argument to apply

type FC

Type of the applicative to return

type A

Bound value

type B

Type of the bound return value