core/higherkindness.droste.data/Attr

Attr

object Attr
class Object
trait Matchable
class Any
Attr.type

Value members

Concrete methods

def algebra[F[_], A]: Algebra[[_] =>> AttrF[F, A, _$6], Attr[F, A]]
def ana[F[_] : Functor, A, C](a: A)(coalgebra: A => F[A], f: A => C): Attr[F, C]

An inlined anamorphism to Attr with a fused map

An inlined anamorphism to Attr with a fused map

def apply[F[_], A](head: A, tail: F[Attr[F, A]]): Attr[F, A]
def apply[F[_], A](f: (A, F[Attr[F, A]])): Attr[F, A]
def coalgebra[F[_], A]: Coalgebra[[_] =>> AttrF[F, A, _$8], Attr[F, A]]
def fromCats[F[_] : Functor, A](cofree: Cofree[F, A]): Attr[F, A]
def un[F[_], A](f: Attr[F, A]): (A, F[Attr[F, A]])
def unapply[F[_], A](f: Attr[F, A]): Some[(A, F[Attr[F, A]])]
def unfold[F[_] : Functor, A](a: A)(coalgebra: A => F[A]): Attr[F, A]