libretto-lambda
API
Generated with
libretto-lambda/libretto.lambda/libretto.lambda.util

libretto.lambda.util

package libretto.lambda.util

Members list

Type members

Classlikes

trait Applicative[F[_]]

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait Monad[F]
object monadId
Self type
object Applicative

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
trait BiInjective[F[_, _]]

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object BiInjective

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
sealed trait Exists[F[_]] extends ExistsCo[F]

Attributes

Companion
object
Supertypes
trait ExistsCo[F]
class Object
trait Matchable
class Any
Known subtypes
class Some[F, A]
object Exists

Attributes

Companion
trait
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
Exists.type
sealed trait ExistsCo[+F[_]]

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait Exists[F]
class Some[F, A]
sealed trait ExistsK[F[_[_]]]

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Some[F, A]
object ExistsK

Attributes

Companion
trait
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
ExistsK.type
trait Functional[F[_, _]]

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait SemigroupalObjectMap[|*|, <*>, F]
trait MonoidalObjectMap[F, |*|, One, <*>, Unit]
trait Injective[F[_]]

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object id
object Injective

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
Injective.type
sealed trait Masked[+F[_], A]

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
object Masked

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
Masked.type
trait Monad[F[_]] extends Applicative[F]

Witnesses that F is a monad in the category of Scala functions.

Witnesses that F is a monad in the category of Scala functions.

Attributes

Companion
object
Supertypes
trait Applicative[F]
class Object
trait Matchable
class Any
Known subtypes
object monadId
object Monad

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
Monad.type
final case class SourcePos(path: String, filename: String, line: Int)

Attributes

Companion
object
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object SourcePos

Attributes

Companion
class
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
SourcePos.type
sealed trait TypeEq[A, B]

Type equality that, unlike Scala's =:=, can be pattern matched on.

Type equality that, unlike Scala's =:=, can be pattern matched on.

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Refl[T]
object TypeEq

Attributes

Companion
trait
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
TypeEq.type
sealed trait TypeEqK[F[_], G[_]]

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Refl[F]
object TypeEqK

Attributes

Companion
trait
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
TypeEqK.type
trait UniqueTypeArg[F[_]]

Witnesses that a value a: F[A] cannot also be assigned a type F[B] where B != A.

Witnesses that a value a: F[A] cannot also be assigned a type F[B] where B != A.

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
Generated with