LanguageExt.Core

LanguageExt.Core ► Class Instances ► Pred

Contents

Sub modules

Char
Lst
String

struct True <A> Source #

Always true predicate

Parameters

type A

Bound value to test

struct False <A> Source #

Always false predicate

Parameters

type A

Bound value to test

struct Equal <EQ, A, CONST> Source #

where EQ : struct, Eq<A>
where CONST : struct, Const<A>

Fields

field Equal<EQ, A, CONST> Is = default(Equal<EQ, A, CONST>) Source #

Methods

method bool True (A value) Source #

struct Exists <A, Term1, Term2> Source #

where Term1 : struct, Pred<A>
where Term2 : struct, Pred<A>

Logical OR of the terms

Parameters

type A

Bound value to test

type Term1

First term

type Term2

Second term

Fields

field Exists<A, Term1, Term2> Is = default(Exists<A, Term1, Term2>) Source #

Methods

method bool True (A value) Source #

struct Exists <A, Term1, Term2, Term3> Source #

where Term1 : struct, Pred<A>
where Term2 : struct, Pred<A>
where Term3 : struct, Pred<A>

Logical OR of the terms

Parameters

type A

Bound value to test

type Term1

First term

type Term2

Second term

Fields

field Exists<A, Term1, Term2, Term3> Is = default(Exists<A, Term1, Term2, Term3>) Source #

Methods

method bool True (A value) Source #

struct Exists <A, Term1, Term2, Term3, Term4> Source #

where Term1 : struct, Pred<A>
where Term2 : struct, Pred<A>
where Term3 : struct, Pred<A>
where Term4 : struct, Pred<A>

Logical OR of the terms

Parameters

type A

Bound value to test

type Term1

First term

type Term2

Second term

Fields

field Exists<A, Term1, Term2, Term3, Term4> Is = default(Exists<A, Term1, Term2, Term3, Term4>) Source #

Methods

method bool True (A value) Source #

struct Exists <A, Term1, Term2, Term3, Term4, Term5> Source #

where Term1 : struct, Pred<A>
where Term2 : struct, Pred<A>
where Term3 : struct, Pred<A>
where Term4 : struct, Pred<A>
where Term5 : struct, Pred<A>

Logical OR of the terms

Parameters

type A

Bound value to test

type Term1

First term

type Term2

Second term

type Term3

Third term

type Term4

Fourth term

type Term5

Fifth term

Fields

field Exists<A, Term1, Term2, Term3, Term4, Term5> Is = default(Exists<A, Term1, Term2, Term3, Term4, Term5>) Source #

Methods

method bool True (A value) Source #

struct ForAll <A, Term1, Term2> Source #

where Term1 : struct, Pred<A>
where Term2 : struct, Pred<A>

Logical AND of the terms

Parameters

type A

Bound value to test

type Term1

First term

type Term2

Second term

Fields

field ForAll<A, Term1, Term2> Is = default(ForAll<A, Term1, Term2>) Source #

Methods

method bool True (A value) Source #

struct ForAll <A, Term1, Term2, Term3> Source #

where Term1 : struct, Pred<A>
where Term2 : struct, Pred<A>
where Term3 : struct, Pred<A>

Logical AND of the terms

Parameters

type A

Bound value to test

type Term1

First term

type Term2

Second term

type Term3

Third term

Fields

field ForAll<A, Term1, Term2, Term3> Is = default(ForAll<A, Term1, Term2, Term3>) Source #

Methods

method bool True (A value) Source #

struct ForAll <A, Term1, Term2, Term3, Term4> Source #

where Term1 : struct, Pred<A>
where Term2 : struct, Pred<A>
where Term3 : struct, Pred<A>
where Term4 : struct, Pred<A>

Logical AND of the terms

Parameters

type A

Bound value to test

type Term1

First term

type Term2

Second term

type Term3

Third term

type Term4

Fourth term

Fields

field ForAll<A, Term1, Term2, Term3, Term4> Is = default(ForAll<A, Term1, Term2, Term3, Term4>) Source #

Methods

method bool True (A value) Source #

struct ForAll <A, Term1, Term2, Term3, Term4, Term5> Source #

where Term1 : struct, Pred<A>
where Term2 : struct, Pred<A>
where Term3 : struct, Pred<A>
where Term4 : struct, Pred<A>
where Term5 : struct, Pred<A>

Logical AND of the terms

Parameters

type A

Bound value to test

type Term1

First term

type Term2

Second term

type Term3

Third term

type Term4

Fourth term

type Term5

Fifth term

Fields

field ForAll<A, Term1, Term2, Term3, Term4, Term5> Is = default(ForAll<A, Term1, Term2, Term3, Term4, Term5>) Source #

Methods

method bool True (A value) Source #

struct GreaterThan <ORD, A, CONST> Source #

where ORD : struct, Ord<A>
where CONST : struct, Const<A>

Fields

field GreaterThan<ORD, A, CONST> Is = default(GreaterThan<ORD, A, CONST>) Source #

Methods

method bool True (A value) Source #

struct LessThan <ORD, A, CONST> Source #

where ORD : struct, Ord<A>
where CONST : struct, Const<A>

Fields

field LessThan<ORD, A, CONST> Is = default(LessThan<ORD, A, CONST>) Source #

Methods

method bool True (A value) Source #

struct GreaterOrEq <ORD, A, CONST> Source #

where ORD : struct, Ord<A>
where CONST : struct, Const<A>

Fields

field GreaterOrEq<ORD, A, CONST> Is = default(GreaterOrEq<ORD, A, CONST>) Source #

Methods

method bool True (A value) Source #

struct LessOrEq <ORD, A, CONST> Source #

where ORD : struct, Ord<A>
where CONST : struct, Const<A>

Fields

field LessOrEq<ORD, A, CONST> Is = default(LessOrEq<ORD, A, CONST>) Source #

Methods

method bool True (A value) Source #

struct Range <ORD, A, MIN, MAX> Source #

where ORD : struct, Ord<A>
where MIN : struct, Const<A>
where MAX : struct, Const<A>

Fields

field Range<ORD, A, MIN, MAX> Is = default(Range<ORD, A, MIN, MAX>) Source #

Methods

method bool True (A value) Source #