❧
❧
❦
Contents
- Equal[A]
- Order[A]
- Show[A]
- Enum[A] extends Order[A]
- Semigroup[A]
- Monoid[A] extends Semigroup[A]
- Functor[F[_]]
- Apply[F[_]] extends Functor[F]
- Applicative[F[_]] extends Apply[F]
- Product/Composition
- Bind[F[_]] extends Apply[F]
- Monad[F[_]] extends Applicative[F] with Bind[F]
- Plus[F[_]]
- PlusEmpty[F[_]] extends Plus[F]
- ApplicativePlus[F[_]] extends Applicative[F] with PlusEmpty[F]
- MonadPlus[F[_]] extends Monad[F] with ApplicativePlus[F]
- Foldable[F[_]]
- Traverse[F[_]] extends Functor[F] with Foldable[F]
- Length[F[_]]
- Index[F[_]]
- ArrId[=>:[ , ]]
- Compose[=>:[ , ]]
- Category[=>:[ , ]] extends ArrId[=>:] with Compose[=>:]
- Arrow[=>:[ , ]] extends Category[=>:]
- Unapply[TC[ _ [ _ ]], MA]
- Boolean
- Option
- Id[+A] = A
- Tagged[A]
- Tree[A]/TreeLoc[A]
- Stream[A]/Zipper[A]
- DList[A]
- Lens[A, B] = LensT[Id, A, B]
- Validation[+E, +A]
- Writer[+W, +A] = WriterT[Id, W, A]
- \/[+A, +B]
- Kleisli[M[+_], -A, +B]
- Reader[E, A] = Kleisli[Id, E, A]
- trait Memo[K, V]
- State[S, +A] = StateT[Id, S, A]
- ST[S, A]/STRef[S, A]/STArray[S, A]
- IO[+A]
- IterateeT[E, F[ _ ], A]/EnumeratorT[O, I, F[ _ ]]
- Free[S[+ _ ], +A]
- Trampoline[+A] = Free[Function0, A]
- Imports
- Note
Contents in Depth