Type

skunk.data.Type
See theType companion object
final case class Type(name: String, componentTypes: List[Type])

A type has a name and a list of component types. So it's a rose tree, isomorphic to Cofree[List, String], but we specialize here for simplicity.

Attributes

Companion:
object
Source:
Type.scala
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

Members list

Concise view

Value members

Concrete methods

def fold[B](f: (String, List[B]) => B): B

Catamorphism for Type.

Catamorphism for Type.

Attributes

Source:
Type.scala
def foldM[F[_] : Monad, B](f: (String, List[B]) => F[B]): F[B]

Monadic catamorphism for Type.

Monadic catamorphism for Type.

Attributes

Source:
Type.scala
override def toString: String

Returns a string representation of the object.

Returns a string representation of the object.

The default representation is platform dependent.

Attributes

Returns:

a string representation of the object.

Definition Classes
Any
Source:
Type.scala

Inherited methods

Attributes

Inherited from:
Product

Attributes

Inherited from:
Product