Interface MonadS1<M>

Type parameters

M: URIs

Hierarchy

ApplicativeS1<M>
ChainS1<M>
- MonadS1

Index

Properties

Properties

ap

ap: function

Type declaration

- <A, B>(fab: Type<M, function>, fa: Type<M, A>): Type<M, B>
- Type parameters
  - A
  - B
  Parameters
  - fab: Type<M, function>
  - fa: Type<M, A>
  Returns Type<M, B>

chain

chain: function

Type declaration

- <A, B>(fa: function, ma: Type<M, A>): Type<M, B>
- Type parameters
  - A
  - B
  Parameters
  - fa: function
    - - (a: A): Type<M, B>
      - Parameters
        
        a: A
        
        Returns Type<M, B>
  - ma: Type<M, A>
  Returns Type<M, B>

map

map: function

Type declaration

- <A, B>(f: function, fa: Type<M, A>): Type<M, B>
- Type parameters
  - A
  - B
  Parameters
  - f: function
    - - (a: A): B
      - Parameters
        
        a: A
        
        Returns B
  - fa: Type<M, A>
  Returns Type<M, B>

of

of: function

Type declaration

- <A>(a: A): Type<M, A>
- Type parameters
  - A
  Parameters
  - a: A
  Returns Type<M, A>

pure

pure: function

Type declaration

- <A>(a: A): Type<M, A>
- Type parameters
  - A
  Parameters
  - a: A
  Returns Type<M, A>

Generated using TypeDoc