Functional

libretto.lambda.util.Functional
trait Functional[F[_, _]]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait ObjectMap[|*|, <*>, F]

Members list

Value members

Abstract methods

def uniqueOutputType[A, B, C](f: F[A, B], g: F[A, C]): B =:= C