Class Nothing<A>

Type parameters

A

Hierarchy

Maybe<A>
- Nothing

Implements

Monad1<URI, A>
Alternative1<URI, A>

Index

Properties

Methods

Properties

tag

tag: "Nothing" = "Nothing"

value

value: never

Static pure

pure: of = Maybe.of

A common alias of Maybe.of

param

Methods

alt

alt(fa: Maybe<A>): Maybe<A>

Overrides Maybe.alt
- Defined in instance/Maybe.ts:111
Parameters
- fa: Maybe<A>
Returns Maybe<A>

ap

ap<B>(fab: Maybe<function>): Maybe<B>

Overrides Maybe.ap
- Defined in instance/Maybe.ts:103
Type parameters
- B
Parameters
- fab: Maybe<function>
Returns Maybe<B>

chain

chain<B>(_: function): Maybe<B>

Overrides Maybe.chain
- Defined in instance/Maybe.ts:107
Type parameters
- B
Parameters
- _: function
  - - (a: A): Maybe<B>
    - Parameters
      - a: A
      Returns Maybe<B>
Returns Maybe<B>

map

map<B>(f: function): Maybe<B>

Overrides Maybe.map
- Defined in instance/Maybe.ts:99
Type parameters
- B
Parameters
- f: function
  - - (a: A): B
    - Parameters
      - a: A
      Returns B
Returns Maybe<B>

toString

toString(): string

Overrides Maybe.toString
- Defined in instance/Maybe.ts:95
Returns string

zero

zero(): Maybe<A>

Overrides Maybe.zero
- Defined in instance/Maybe.ts:115
Returns Maybe<A>

Static of

of<A>(a: A): Maybe<A>

Inherited from Maybe.of
- Defined in instance/Maybe.ts:56
Wrap a value with Maybe.

If the value is undefined or null, it will return "Nothing". Otherwise, it will return a "Just" containing the value.

Type parameters
- A
Parameters
- a: A
Returns Maybe<A>

Generated using TypeDoc