free

Type Members

1. sealed abstract class :+:[F, U] extends Union

   

2. type Arrows[U, A, B] = Vector[(A) ⇒ Free[U, B]]

   

3. sealed abstract class Choice extends AnyRef

   

4. sealed abstract class Error[E] extends AnyRef

   

5. sealed abstract class Free[U, A] extends AnyRef

   

6. trait Handler extends AnyRef

   

7. case class Impure[U, A, B](union: U, arrs: Arrows[U, A, B]) extends Free[U, B] with Product with Serializable

   

8. case class Inl[F, U](head: F) extends :+:[F, U] with Product with Serializable

   

9. case class Inr[F, U](tail: U) extends :+:[F, U] with Product with Serializable

   

10. sealed abstract class Lift[M[_]] extends AnyRef

    

11. type Maybe = Error[Unit]

    

12. trait Member[F, U] extends AnyRef

    

13. case class Pure[U, A](value: A) extends Free[U, A] with Product with Serializable

    

14. sealed abstract class Reader[R] extends AnyRef

    

15. sealed abstract class State[S] extends AnyRef

    

16. sealed abstract class Union extends AnyRef

    

17. sealed abstract class Void extends Union

    

18. sealed abstract class Writer[W] extends AnyRef