cat/instances/types

ArrowPro

Phantom type for the function profunctor.

pub type ArrowPro

BiComp

</>

Bifunctor composition type.

newtype BiComp bf fu gu a b = BiComp (bf (fu a ) (gu b))

pub type BiComp(bf, fu, gu, a, b, fua, gub, bifgab) {
  BiComp(bifgab)
}

Constructors

```
BiComp(bifgab)
```

BiCompF

</>

Phantom type for bifunctor composition.

pub type BiCompF(bf, fu, gu)

ConstF

</>

Phantom type for Const Functor.
We bind the first parameter of Const.

pub type ConstF(c)

EitherBF

</>

Phantom type for Either Bifunctor.

pub type EitherBF

EitherF

</>

Phantom type for Either Functor.

pub type EitherF(a)

FunctionF

</>

Phantom type for Function Functor.

pub type FunctionF(r)

IdentityF

</>

pub type IdentityF

ListF

</>

Phantom type for List Functor.

pub type ListF

OpC

</>

Phantom type for Op Contravariant.

pub type OpC(r)

OptionF

</>

Phantom type for Option Functor.

pub type OptionF

PairBF

</>

Phantom type for Pair Bifunctor.

pub type PairBF

PairF

</>

Phantom type for Pair Functor.

pub type PairF(a)

ReaderF

</>

Phantom type for Reader Functor.

pub type ReaderF(r)

ResultF

</>

Phantom type for Result Functor.

pub type ResultF(a)

StateM

</>

Phantom type for the state monad.

pub type StateM(s)

TripleF

</>

Phantom type for Triple Functor.

pub type TripleF(a, b)

TupleBF

</>

Phantom type for Tuple Bifunctor.

pub type TupleBF

TupleF

</>

Phantom type for Tuple Functor.

pub type TupleF(a)

WriterF

</>

Phantom type for Writer Functor.

pub type WriterF

cat - v1.1.0

Types