Schema

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

Type members

Classlikes

final case class Contramap[A, B](underlying: Schema[A], f: B => A) extends Schema[B]
final case class Product[A, B](lhs: Schema[A], rhs: Schema[B]) extends Schema[(A, B)]
final case class Table[A](headers: List[String], cells: A => List[String]) extends Schema[A]

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 drawTable[A](rows: NonEmptyList[A])(schema: Schema[A]): Seq[String]
def instance[A](headers: List[String], cells: A => List[String]): Schema[A]
def single[A](label: String)(value: A)(render: Render[A]): Schema[Unit]
def table[A](mk: Column[A] => Schema[A]): Schema[A]

Implicits

Implicits

implicit val contravariantSemigroupal: ContravariantSemigroupal[[A] =>> Schema[A]]
implicit def semigroup[A]: Semigroup[Schema[A]]
implicit val semigroupK: SemigroupK[[A] =>> Schema[A]]