libretto-lambda
API
Generated with
libretto-lambda/libretto.lambda/Partitioning/SubFun

SubFun

libretto.lambda.Partitioning.SubFun
trait SubFun[->[_, _], F[_, _]]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Value members

Abstract methods

def compile[X, Y](f: F[X, Y]): X -> Y
def reverseCompile[X, Y](f: F[X, Y]): Y -> X
infix def sameAs[G[_, _]](that: SubFun[->, G]): Option[[X, Y] => F[X, Y] => G[X, Y]]
def testEqual[X, Y, Z](f: F[X, Y], g: F[X, Z]): Option[Y =:= Z]
Generated with