package typeclass
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- typeclass
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Type Members
-
trait
Cons[Col[_]] extends AnyRef
Typeclass to provide capability of prepending an element into a source of element
Typeclass to provide capability of prepending an element into a source of element
todo: Create laws for it with drop?
- type EffStack[E[_], F[_], A] = E[F[A]]
-
trait
TakeOne[Source[_]] extends AnyRef
Typeclass to provide capability of taking 1 element from a data source
Typeclass to provide capability of taking 1 element from a data source
User needs to implement 2 methods
- take1
- take1Opt
- trait TakeOneSyntax extends AnyRef
- final class TakeOps[Element, Source[_]] extends AnyRef