libretto.util

package libretto.util

Members list

Packages

Type members

Classlikes

sealed trait Async[+A]

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Later[A]
class Now[A]
object Async

Attributes

Companion
trait
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
Async.type
case class Equal[A](a1: A, a2: A)

Used to document laws in a typechecked manner. The purpose of expression Equal(f, g) is just to ensure that f and g compile and are of the same type.

Used to document laws in a typechecked manner. The purpose of expression Equal(f, g) is just to ensure that f and g compile and are of the same type.

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
trait ForAll[+F[_]]

Attributes

Supertypes
class Object
trait Matchable
class Any
trait Semigroup[A]

Attributes

Supertypes
class Object
trait Matchable
class Any
object unapply

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
unapply.type

Types

type [F[_]] = ForAll[F]