Welcome! Got a question? Do you have -Ypartial-unification turned on? Other FAQs: http://typelevel.org/cats/faq.html
Free
(especially evident in the first version) is as a tree with a Functorful f
of children, and values at the leaves (the Pure
constructor is Leaf a
, and Roll
is the branch, with f
children). If you look at Cofree
, that's also a Tree with values at the branches instead, and again whose structure is determined by f
, and that's a Rose Tree
data Free f a = Leaf a | Node f (Free f a)
data Cofree f a = Node a (f (Cofree f a))
type Rose = Cofree []
-- replace and you get
data Rose a = Node a [Rose a]
F[T]
s later in the list
F[A] => F[Boolean]
instead of A => F[Boolean]
tho
List[A]
and would like to build a T[A]
where there's a Traversable[T]
CanBuildFrom
, semantically, yet I would rather avoid doing it procedurally
Traverse[T]
of course
No implicit view available from (Int, Int) => scala.collection.GenTraversableOnce[B]
. How can I create GenTraversableOnce? The only way is to create a new such instance? for instance new GenTraversableOnce { ... }
mapN
and many other things
dropWhileF(_.attemptT.isLeft)