droste

Type Members

1. type Algebra[F[_], A] = GAlgebra[F, A, A]

   

2. type AlgebraM[M[_], F[_], A] = GAlgebraM[M, F, A, A]

   

3. type CVAlgebra[F[_], A] = GAlgebra[F, Attr[F, A], A]

   

4. type CVCoalgebra[F[_], A] = GCoalgebra[F, A, Coattr[F, A]]

   

5. type Coalgebra[F[_], A] = GCoalgebra[F, A, A]

   

6. type CoalgebraM[M[_], F[_], A] = GCoalgebraM[M, F, A, A]

   

7. type Delay[F[_], G[_]] = FunctionK[F, [α]F[G[α]]]

   

8. type Gather[F[_], S, A] = (A, F[S]) ⇒ S

   

9. type RAlgebra[R, F[_], A] = GAlgebra[F, (R, A), A]

   

10. type RAlgebraM[R, M[_], F[_], A] = GAlgebraM[M, F, (R, A), A]

    

11. type RCoalgebra[R, F[_], A] = GCoalgebra[F, A, Either[R, A]]

    

12. type RCoalgebraM[R, M[_], F[_], A] = GCoalgebraM[M, F, A, Either[R, A]]

    

13. type Scatter[F[_], A, S] = (S) ⇒ Either[A, F[S]]

    

14. type Trans[F[_], G[_], A] = GTrans[F, G, A, A]

    

15. type TransM[M[_], F[_], G[_], A] = GTransM[M, F, G, A, A]