hydra-kernel package
API
Generated with
hydra-kernel/hydra/hydra.dsl/hydra.dsl.lib/hydra.dsl.lib.functions

hydra.dsl.lib.functions

package hydra.dsl.lib.functions

Members list

Value members

Concrete methods

def compose[T2, T3, T1](g: TypedTerm[T2 => T3])(f: TypedTerm[T1 => T2])(x: TypedTerm[T1]): TypedTerm[T3]
def const[T1, T2](x: TypedTerm[T1])(y: TypedTerm[T2]): TypedTerm[T1]
def flip[T1, T2, T3](f: TypedTerm[T1 => T2 => T3])(x: TypedTerm[T2])(y: TypedTerm[T1]): TypedTerm[T3]
def identity[T1](x: TypedTerm[T1]): TypedTerm[T1]
Generated with