libretto.util
package libretto.util
Members list
Concise view
Type members
Classlikes
Attributes
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Known subtypes
- trait Monad[F]
object Async
Attributes
- Companion:
- object
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
object BiInjective
Attributes
- Companion:
- trait
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Self type
- BiInjective.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.
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
- Graph
- Supertypes
- trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass Any
Attributes
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
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
- Graph
- Supertypes
object Monad
Attributes
- Companion:
- object
- Graph
- Supertypes
- trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass Any
object SourcePos
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
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Known subtypes