libretto.lambda.util
package libretto.lambda.util
Members list
Type members
Classlikes
trait Applicative[F[_]] extends Zippable[Tuple2, F]
Attributes
- Companion
- object
- Supertypes
- Known subtypes
-
trait Monad[F]object given_Applicative_LinCheck.type
- Self type
-
Applicative[F]
object Applicative
Attributes
- Companion
- trait
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
Applicative.type
Attributes
- Companion
- object
- Supertypes
-
class Objecttrait Matchableclass Any
object BiInjective
Attributes
- Companion
- trait
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
BiInjective.type
object Exists
Attributes
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
-
object Injective
Attributes
- Companion
- object
- Supertypes
-
class Objecttrait Matchableclass Any
object Masked
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
object Monad
Attributes
- Companion
- object
- Supertypes
-
trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass AnyShow all
object SourcePos
object TypeEq
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 Objecttrait Matchableclass Any
- Known subtypes
-
object given_UniqueTypeArg_Expr.type
Attributes
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
In this article