libretto-lambda
API
Generated with
libretto-lambda/libretto.lambda/SinkNAryNamed

SinkNAryNamed

libretto.lambda.SinkNAryNamed$package.SinkNAryNamed
object SinkNAryNamed

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

def single[->[_, _], ||[_, _], ::[_, _], Lbl <: String, A, B](label: SingletonType[Lbl], h: ->[A, B]): SinkNAryNamed[->, ||, ::, Lbl :: A, B]
def single[->[_, _], ||[_, _], ::[_, _], A, B](label: String)(h: ->[A, B]): SinkNAryNamed[->, ||, ::, label.type :: A, B]
def snoc[->[_, _], ||[_, _], ::[_, _], Init, Lbl <: String, Z, R](init: SinkNAryNamed[->, ||, ::, Init, R], lastLabel: SingletonType[Lbl], last: ->[Z, R]): SinkNAryNamed[->, ||, ::, Init || (Lbl :: Z), R]
def snoc[->[_, _], ||[_, _], ::[_, _], Init, Z, R](init: SinkNAryNamed[->, ||, ::, Init, R], lastLabel: String, last: ->[Z, R]): SinkNAryNamed[->, ||, ::, Init || (lastLabel.type :: Z), R]
def snoc[->[_, _], ||[_, _], ::[_, _], Init, Lbl <: String, Z, R](init: SinkNAryNamed[->, ||, ::, Init, R], lastLabel: SingletonType[Lbl], last: SinkNAryNamed[->, ||, ::, ::[Lbl, Z], R])(using BiInjective[::]): SinkNAryNamed[->, ||, ::, Init || (Lbl :: Z), R]

Extensions

Extensions

extension [->[_, _], ||[_, _], ::[_, _], As, B](s: SinkNAryNamed[->, ||, ::, As, B])
def dropNames[∙[_, _], Nil]: Exists[[As0] =>> (DropNames[||, ::, ∙, Nil, As, As0], SinkNAry[->, ∙, Nil, As0, B])]
def foldMap[->>[_, _]](baseCase: [Lbl <: String, A] => (SingletonType[Lbl], ->[A, B]) => ->>[::[Lbl, A], B], snocCase: [Init, Lbl <: String, A] => (x$1: ->>[Init, B], x$2: SingletonType[Lbl], x$3: ->[A, B]) => ->>[||[Init, ::[Lbl, A]], B]): As ->> B
def foldSemigroup[S](f: [x, y] => ->[x, y] => S, g: (S, S) => S): S
def forall(f: [x, y] => ->[x, y] => Boolean): Boolean
def get[LblX, X](m: Member[||, ::, LblX, X, As])(using BiInjective[||], BiInjective[::]): X -> B
def snoc[Lbl <: String, Z](label: SingletonType[Lbl], last: ->[Z, B]): SinkNAryNamed[->, ||, ::, As || (Lbl :: Z), B]
def snoc[Z](label: String)(last: ->[Z, B]): SinkNAryNamed[->, ||, ::, As || (label.type :: Z), B]
def translate[->>[_, _]](h: [x, y] => ->[x, y] => ->>[x, y]): SinkNAryNamed[->>, ||, ::, As, B]
def translateA[G[_], ->>[_, _]](h: [x, y] => ->[x, y] => G[->>[x, y]])(using Applicative[G]): G[SinkNAryNamed[->>, ||, ::, As, B]]
Generated with