AtomOrComposite

Companion
class
trait Sum
trait Mirror
class Object
trait Matchable
class Any

Type members

Classlikes

final case class Atom[A](atom: A) extends AtomOrComposite[A]
final case class Composite[A](composite: A, toAtom: A => A) extends AtomOrComposite[A]
object string

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Inherited from
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Inherited from
Mirror

Value members

Concrete methods

def cata[F[_], A](alg: F => AtomOrComposite[A])(f: Fix[F])(`evidence$1`: Functor[F]): A
def cataM[M[_], F[_], A](alg: (M, F) => AtomOrComposite[A])(f: Fix[F])(`evidence$2`: Monad[M], `evidence$3`: Traverse[F]): M[A]